From 80bbd117abbadbd8e181547a3e1501b2baf9cb76 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 6 Dec 2010 11:03:00 +0000 Subject: [PATCH] changed animals so that it compiles, after manual removal of duplicated api functions (to be fixed in ToAPI) --- src/api/Constructors.gf | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/api/Constructors.gf b/src/api/Constructors.gf index 9e3c074e4..5a53cb362 100644 --- a/src/api/Constructors.gf +++ b/src/api/Constructors.gf @@ -1462,6 +1462,8 @@ incomplete resource Constructors = open Grammar in { ; --# notminimal mkClSlash = overload { --# notminimal + mkClSlash : NP -> VPSlash -> ClSlash -- (whom) he sees --# notminimal + = \np,vps -> SlashVP np vps ; --# notminimal mkClSlash : NP -> V2 -> ClSlash -- (whom) he sees --# notminimal = \np,v2 -> SlashVP np (SlashV2a v2) ; --# notminimal mkClSlash : NP -> VV -> V2 -> ClSlash -- (whom) he wants to see --# notminimal