Files
gf-core/testsuite/compiler/params/paramsCnc.gf
2009-05-20 16:38:19 +00:00

20 lines
292 B
Plaintext

concrete paramsCnc of params = {
param
Number = Sg | Pl ;
Person = P1 | P2 | P3 ;
oper
Agr = {n : Number; p : Person} ;
param
Case = Nom | Acc | Abess Agr ;
lincat
S = {s : Str} ;
NP = {s : Case => Str} ;
lin
test np = {s = np.s ! Abess {n=Sg;p=P3}} ;
}