testsuite/compiler/params/paramsCnc.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

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}} ;

}