From f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 15 Nov 2008 20:08:09 +0000 Subject: Attempto complete up to spec --- next-lib/src/api/Constructors.gf | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'next-lib/src/api') diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf index 305c30c6d..2c93f6769 100644 --- a/next-lib/src/api/Constructors.gf +++ b/next-lib/src/api/Constructors.gf @@ -1378,6 +1378,13 @@ incomplete resource Constructors = open Grammar in { = AdvIP } ; + mkIDet = overload { + mkIDet : IQuant -> Num -> IDet -- which (songs) + = \i,nu -> IdetQuant i nu ; + mkIDet : IQuant -> IDet -- which (song) + = \i -> IdetQuant i NumSg ; + } ; + whichSg_IDet : IDet = IdetQuant which_IQuant NumSg ; whichPl_IDet : IDet = IdetQuant which_IQuant NumPl ; -- cgit v1.2.3