testcase for parameters with nested records

This commit is contained in:
krasimir
2009-05-20 16:38:19 +00:00
parent c6dcec2e9c
commit 4e2e2b2535
3 changed files with 28 additions and 0 deletions

View File

@@ -0,0 +1,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}} ;
}