From 0d3f0d835ee795efc4d45acad6f106e00d9a3144 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 4 Feb 2009 17:16:48 +0000 Subject: [PATCH] some new resource API functions --- next-lib/src/api/Constructors.gf | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf index 2c93f6769..0c74ffe12 100644 --- a/next-lib/src/api/Constructors.gf +++ b/next-lib/src/api/Constructors.gf @@ -139,7 +139,8 @@ incomplete resource Constructors = open Grammar in { mkUtt : S -> Utt ; -- 1. John walked mkUtt : Cl -> Utt ; -- 2. John walks mkUtt : QS -> Utt ; -- 3. did John walk - mkUtt : Imp -> Utt ; -- 4. love yourself + mkUtt : QCl -> Utt ; -- 4. does John walk + mkUtt : Imp -> Utt ; -- 5. love yourself -- Imperatives can also vary in $ImpForm$ (number/politeness) and -- polarity. @@ -1320,6 +1321,8 @@ incomplete resource Constructors = open Grammar in { = \c -> UttS (TUseCl TPres ASimul PPos c); mkUtt : QS -> Utt -- is it good = UttQS ; + mkUtt : QCl -> Utt -- does John walk + = \c -> UttQS (TUseQCl TPres ASimul PPos c); mkUtt : ImpForm -> Pol -> Imp -> Utt -- don't help yourselves = mkUttImp ; mkUtt : ImpForm -> Imp -> Utt -- help yourselves @@ -1388,6 +1391,10 @@ incomplete resource Constructors = open Grammar in { whichSg_IDet : IDet = IdetQuant which_IQuant NumSg ; whichPl_IDet : IDet = IdetQuant which_IQuant NumPl ; + what_IP : IP = whatSg_IP ; + who_IP : IP = whoSg_IP ; + which_IDet : IDet = whichSg_IDet ; + mkIAdv : Prep -> IP -> IAdv = PrepIP ; mkRCl = overload {