From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 9 Dec 2009 09:47:16 +0000 Subject: moving a few things to deprecated --- old-lib/resource/mathematical/SymbolFin.gf | 42 ------------------------------ 1 file changed, 42 deletions(-) delete mode 100644 old-lib/resource/mathematical/SymbolFin.gf (limited to 'old-lib/resource/mathematical/SymbolFin.gf') diff --git a/old-lib/resource/mathematical/SymbolFin.gf b/old-lib/resource/mathematical/SymbolFin.gf deleted file mode 100644 index 922b19dcb..000000000 --- a/old-lib/resource/mathematical/SymbolFin.gf +++ /dev/null @@ -1,42 +0,0 @@ -concrete SymbolFin of Symbol = CatFin ** open Prelude, NounFin, ResFin in { - -lin - SymbPN i = {s = \\c => i.s} ; --- c - IntPN i = {s = \\c => i.s} ; --- c - FloatPN i = {s = \\c => i.s} ; --- c - NumPN i = {s = \\c => i.s!Sg!Nom } ; --- c - - CNIntNP cn i = { - s = \\c => cn.s ! NCase Sg (npform2case Sg c) ++ i.s ; - a = agrP3 Sg ; - isPron = False - } ; - CNSymbNP det cn xs = let detcn = NounFin.DetCN det cn in { - s = \\c => detcn.s ! c ++ xs.s ; - a = detcn.a ; - isPron = False - } ; - CNNumNP cn i = { - s = \\c => cn.s ! NCase Sg (npform2case Sg c) ++ i.s ! Sg ! Nom ; - a = agrP3 Sg ; - isPron = False - } ; - - SymbS sy = sy ; - - SymbNum n = {s = \\_,_ => n.s ; isNum = True ; n = Pl} ; - SymbOrd n = {s = \\_,_ => n.s ++ "."} ; - -lincat - - Symb, [Symb] = SS ; - -lin - - MkSymb s = s ; - - BaseSymb = infixSS "ja" ; - ConsSymb = infixSS "," ; - -} - -- cgit v1.2.3