From 3c394ab3627e861da1f4d9660632005274bc5eee Mon Sep 17 00:00:00 2001 From: bringert Date: Wed, 9 May 2007 15:59:18 +0000 Subject: [PATCH] Added mkUtt : Cl -> Utt --- lib/resource-1.0/api/Constructors.gf | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/lib/resource-1.0/api/Constructors.gf b/lib/resource-1.0/api/Constructors.gf index 10bb8c953..542e1dab3 100644 --- a/lib/resource-1.0/api/Constructors.gf +++ b/lib/resource-1.0/api/Constructors.gf @@ -55,7 +55,8 @@ incomplete resource Constructors = open Grammar in { } ; mkUtt : overload { - mkUtt : S -> Utt ; -- John walks + mkUtt : S -> Utt ; -- John walked + mkUtt : Cl -> Utt ; -- John walks mkUtt : QS -> Utt ; -- is it good mkUtt : Pol -> Imp -> Utt ; -- (don't) help yourself mkUtt : Imp -> Utt ; -- help yourself @@ -515,8 +516,10 @@ incomplete resource Constructors = open Grammar in { } ; mkUtt = overload { - mkUtt : S -> Utt -- John walks + mkUtt : S -> Utt -- John walked = UttS ; + mkUtt : Cl -> Utt -- John walks + = \c -> UttS (UseCl TPres ASimul PPos c); mkUtt : QS -> Utt -- is it good = UttQS ; mkUtt : Pol -> Imp -> Utt -- (don't) help yourself