From b07c56434da03d08f65d17255c8b32e8e87b1b28 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 6 Sep 2007 11:34:53 +0000 Subject: [PATCH] ExtFoods for book --- resource-1.0/api/Constructors.gf | 2 ++ 1 file changed, 2 insertions(+) diff --git a/resource-1.0/api/Constructors.gf b/resource-1.0/api/Constructors.gf index ebb326f65..2abf3c104 100644 --- a/resource-1.0/api/Constructors.gf +++ b/resource-1.0/api/Constructors.gf @@ -1249,6 +1249,8 @@ incomplete resource Constructors = open Grammar in { = \i -> IDetCN i NoNum ; mkIP : IDet -> Num -> CN -> IP -- which five best songs = \i,n -> IDetCN i n NoOrd ; + mkIP : IDet -> CN -> IP -- which best songs + = \i -> IDetCN i NoNum NoOrd ; mkIP : IDet -> N -> IP -- which song = \i,n -> IDetCN i NoNum NoOrd (UseN n) ; mkIP : IP -> Adv -> IP -- who in Europe