diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-03-10 17:31:18 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-03-10 17:31:18 +0000 |
| commit | 84a1d54e827531993b3e91d571456be54378cb44 (patch) | |
| tree | 3c8f05ad85db322accb2aef835509eef35b445fc /next-lib/src/api | |
| parent | 85d9c76b5c8b52563316023864e7397b89548eeb (diff) | |
preliminary Italian in Attempto
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 |