diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-03-09 16:53:40 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-03-09 16:53:40 +0000 |
| commit | 50f8db750a073e0db7fa6b70c1c2c623030d7ae4 (patch) | |
| tree | 6f6ff6a4b19cbf43e2c8d904d72b36193a2dfe59 /next-lib/src/api/Constructors.gf | |
| parent | 136290184557ea9375b860bc8ec5e567677fd517 (diff) | |
tested "minimal" resource to compile Foods and Bronzeage
Diffstat (limited to 'next-lib/src/api/Constructors.gf')
| -rw-r--r-- | next-lib/src/api/Constructors.gf | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf index fd49895c5..a407c3440 100644 --- a/next-lib/src/api/Constructors.gf +++ b/next-lib/src/api/Constructors.gf @@ -962,8 +962,8 @@ incomplete resource Constructors = open Grammar in { = \y -> ExistNP (DetArtSg IndefArt y) ; --# notminimal mkCl : NP -> Cl -- there is a house --# notminimal = ExistNP ; --# notminimal - mkCl : NP -> AP -> Cl -- John is nice and warm --# notminimal - = \x,y -> PredVP x (UseComp (CompAP y)) ; --# notminimal + mkCl : NP -> AP -> Cl -- John is nice and warm + = \x,y -> PredVP x (UseComp (CompAP y)) ; mkCl : NP -> A -> Cl -- John is warm = \x,y -> PredVP x (UseComp (CompAP (PositA y))) ; mkCl : NP -> A -> NP -> Cl -- John is warmer than Mary @@ -1124,8 +1124,8 @@ incomplete resource Constructors = open Grammar in { mkCard = overload { mkCard : Numeral -> Card = NumNumeral ; - mkCard : Digits -> Card -- 51 - = NumDigits ; + mkCard : Digits -> Card -- 51 --# notminimal + = NumDigits ; --# notminimal mkCard : AdN -> Card -> Card --# notminimal = AdNum --# notminimal } ; @@ -1539,11 +1539,11 @@ incomplete resource Constructors = open Grammar in { = \t,u -> {s = t.s ++ u.s ; lock_Text = <>} ; --# notminimal } ; - mkVP = overload { --# notminimal - mkVP : V -> VP -- sleep --# notminimal - = UseV ; --# notminimal - mkVP : V2 -> NP -> VP -- use it --# notminimal - = ComplV2 ; --# notminimal + mkVP = overload { + mkVP : V -> VP -- sleep + = UseV ; + mkVP : V2 -> NP -> VP -- use it + = ComplV2 ; mkVP : V3 -> NP -> NP -> VP -- send a message to her --# notminimal = ComplV3 ; --# notminimal mkVP : VV -> VP -> VP -- want to run --# notminimal @@ -1580,15 +1580,15 @@ incomplete resource Constructors = open Grammar in { = \y -> (UseComp (CompNP (DetArtSg IndefArt (UseN y)))) ; --# notminimal mkVP : Adv -> VP -- be here --# notminimal = \a -> UseComp (CompAdv a) ; --# notminimal - mkVP : VP -> Adv -> VP -- sleep here --# notminimal - = AdvVP ; --# notminimal + mkVP : VP -> Adv -> VP -- sleep here + = AdvVP ; mkVP : AdV -> VP -> VP -- always sleep --# notminimal = AdVVP ; --# notminimal mkVP : VPSlash -> NP -> VP -- always sleep --# notminimal = ComplSlash ; --# notminimal mkVP : VPSlash -> VP --# notminimal = ReflVP --# notminimal - } ; --# notminimal + } ; reflexiveVP : V2 -> VP = \v -> ReflVP (SlashV2a v) ; --# notminimal |