forked from GitHub/gf-rgl
don't use record extension with PTypes
the current (non-majestic) runtime doesn't support it
This commit is contained in:
@@ -513,7 +513,7 @@ param
|
|||||||
-- IL2018-02: a whole lot of times we only need number and person, not gender
|
-- IL2018-02: a whole lot of times we only need number and person, not gender
|
||||||
-- maybe switch to PersAgr at some point and halve the number of fields
|
-- maybe switch to PersAgr at some point and halve the number of fields
|
||||||
oper PersAgr : PType = {n : Number ; p : Person} ;
|
oper PersAgr : PType = {n : Number ; p : Person} ;
|
||||||
oper Agr : PType = PersAgr ** {g : Gender} ;
|
oper Agr : PType = {n : Number ; p : Person ; g : Gender} ;
|
||||||
|
|
||||||
oper
|
oper
|
||||||
pagr : Agr -> PersAgr = \agr -> { p = agr.p ; n = agr.n } ;
|
pagr : Agr -> PersAgr = \agr -> { p = agr.p ; n = agr.n } ;
|
||||||
|
|||||||
@@ -508,7 +508,7 @@ oper
|
|||||||
|
|
||||||
-- for agreement between subject and predicate
|
-- for agreement between subject and predicate
|
||||||
|
|
||||||
Agr : PType = AAgr ** {p : Person} ;
|
Agr : PType = {g : Gender ; n : Number ; p : Person} ;
|
||||||
|
|
||||||
|
|
||||||
-- clause building function :
|
-- clause building function :
|
||||||
|
|||||||
Reference in New Issue
Block a user