From e89fdae2fa1626348d8025824a7469252fa85e42 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 22 Jun 2009 15:39:08 +0000 Subject: next-lib renamed to lib, lib to old-lib --- next-lib/src/parametric/Parametric.gf | 58 ----------------------------------- 1 file changed, 58 deletions(-) delete mode 100644 next-lib/src/parametric/Parametric.gf (limited to 'next-lib/src/parametric') diff --git a/next-lib/src/parametric/Parametric.gf b/next-lib/src/parametric/Parametric.gf deleted file mode 100644 index a786c6a2e..000000000 --- a/next-lib/src/parametric/Parametric.gf +++ /dev/null @@ -1,58 +0,0 @@ -interface Parametric = { - -oper - --- primitive - - S : Type ; - NP : Type ; - CN : Type ; - AP : Type ; - - VPComp : Type ; - - ITense : Type ; - CCase : Type ; - Agr : Type ; - - V : Type ; - N : Type ; - A : Type ; - - agrNP : NP -> Agr ; - - PredVP : NP -> VP -> Cl ; - - mkVPComp : (Agr => Str) -> Str -> Str -> VPComp ; - - insertVPComp : VPComp -> VP -> VP ; - - insertNP : CCase -> NP -> VP -> VP ; - - iTense : Tense -> ITense ; - --- derived - - Cl : Type = {s : ITense => Polarity => S} ; - - VP : Type = { - verb : V ; - comp : VPComp - } ; - - VPSlash : Type = VP ** {c : CComp} ; - - UseV : V -> VP = \v -> { - verb = v ; - comp = mkVPComp (\\_ => []) [] [] - } ; - - SlashV : V -> (Agr => Str) -> Str -> Str -> CCase -> VPSlash = - \v,comp,adv,ext,c -> - insertVPComp (mkVPComp comp adv ext) (UseV v) ** {c = c} ; - - ComplSlash : VPSlash -> NP -> VP = \vp,np -> insertNP vp.c np vp ; - - UseCl : Tense -> Polarity -> Cl -> S = \t,p,cl -> cl.s ! iTense t ! p ; - -} -- cgit v1.2.3