BronzeageAra compiles again, via minimal Syntax

This commit is contained in:
aarne
2009-03-28 20:22:07 +00:00
parent 71bb4eda8a
commit a94143ee92
9 changed files with 99 additions and 31 deletions

View File

@@ -1657,7 +1657,7 @@ incomplete resource Constructors = open Grammar in {
DetPl : Quant -> Num -> Ord -> Det = DetQuantOrd ; --# notminimal
ComplV2 : V2 -> NP -> VP = \v,np -> ComplSlash (SlashV2a v) np ;
ComplV2A : V2A -> NP -> AP -> VP = \v,np,ap -> ComplSlash (SlashV2A v ap) np ;
ComplV2A : V2A -> NP -> AP -> VP = \v,np,ap -> ComplSlash (SlashV2A v ap) np ; --# notminimal
ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash3V3 v o) d ;
that_NP : NP = DetNP (DetQuant that_Quant sgNum) ; --# notminimal