second round of completing ParseFin with missing constructs: hundreds more translations

This commit is contained in:
aarne
2013-03-29 08:03:20 +00:00
parent 0e45b8513f
commit 27a1811446
5 changed files with 94 additions and 46 deletions

View File

@@ -18,6 +18,11 @@ concrete ExtraFin of ExtraFinAbs = CatFin **
GenCN n1 n2 = {s = \\nf => n1.s ! NPCase Gen ++ n2.s ! nf ;
h = n2.h } ;
GenRP num cn = {
s = \\n,c => let k = (npform2case num.n c) in "jonka" ++ num.s ! Sg ! k ++ cn.s ! NCase num.n k ;
a = RAg (agrP3 num.n) ;
} ;
lincat
VPI = {s : Str} ;
[VPI] = {s1,s2 : Str} ;