missing ParseFin syntax constructs

This commit is contained in:
aarne
2013-04-04 13:14:02 +00:00
parent 205a14cfa4
commit 16c0fb00f7
7 changed files with 39 additions and 47 deletions

View File

@@ -24,16 +24,16 @@ concrete ExtraFin of ExtraFinAbs = CatFin **
} ;
lincat
VPI = {s : Str} ;
[VPI] = {s1,s2 : Str} ;
VPI = {s : InfForm => Str} ;
[VPI] = {s1,s2 : InfForm => Str} ;
lin
BaseVPI = twoSS ;
ConsVPI = consrSS comma ;
BaseVPI = twoTable InfForm ;
ConsVPI = consrTable InfForm comma ;
MkVPI vp = {s = infVP (NPCase Nom) Pos (agrP3 Sg) vp Inf1} ;
ConjVPI = conjunctDistrSS ;
MkVPI vp = {s = \\i => infVP (NPCase Nom) Pos (agrP3 Sg) vp i} ;
ConjVPI = conjunctDistrTable InfForm ;
ComplVPIVV vv vpi =
insertObj (\\_,_,_ => vpi.s) (predSV vv) ;
insertObj (\\_,_,_ => vpi.s ! vv.vi) (predSV vv) ;
lincat
VPS = {