1
0
forked from GitHub/gf-rgl

restored contructor CommonRomance.AF as oper since it is used in various applications

This commit is contained in:
Aarne Ranta
2019-09-11 09:14:53 +02:00
parent 0986fb2968
commit 516270148f

View File

@@ -42,6 +42,10 @@ param
CardOrd = NCard Gender | NOrd Gender Number ;
--- a workaround for a lost constructor used e.g. in Attempto: AR 2019-09-11
oper
AF : Gender -> Number -> AForm = \g,n -> case n of {Sg => ASg g AAttr ; Pl => APl g} ;
-- The following coercions are useful:
oper