diff options
Diffstat (limited to 'next-lib/src/api')
| -rw-r--r-- | next-lib/src/api/Constructors.gf | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf index a407c3440..c9e227ccf 100644 --- a/next-lib/src/api/Constructors.gf +++ b/next-lib/src/api/Constructors.gf @@ -1369,12 +1369,12 @@ incomplete resource Constructors = open Grammar in { = AdvIP --# notminimal } ; - mkIDet = overload { --# notminimal + mkIDet = overload { mkIDet : IQuant -> Num -> IDet -- which (songs) --# notminimal = \i,nu -> IdetQuant i nu ; --# notminimal - mkIDet : IQuant -> IDet -- which (song) --# notminimal - = \i -> IdetQuant i NumSg ; --# notminimal - } ; --# notminimal + mkIDet : IQuant -> IDet + = \i -> IdetQuant i NumSg ; + } ; whichSg_IDet : IDet = IdetQuant which_IQuant NumSg ; --# notminimal whichPl_IDet : IDet = IdetQuant which_IQuant NumPl ; --# notminimal |