diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
| commit | f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 (patch) | |
| tree | 91f1e3b2a3044ee3531dcf4a799db427681c81b4 /next-lib/src/api | |
| parent | 373b4d6828e0eba56e11cd5851591d303f369b43 (diff) | |
Attempto complete up to spec
Diffstat (limited to 'next-lib/src/api')
| -rw-r--r-- | next-lib/src/api/Constructors.gf | 7 |
1 files changed, 7 insertions, 0 deletions
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 ; |