summaryrefslogtreecommitdiff
path: root/old-lib/resource/mathematical/SymbolScand.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
committeraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
commitc8ceed08efcc0bdc1fcbd89bce643d9f52f0991b (patch)
tree5f0b314341c129eba1bc67b8b887fb8a4486fad8 /old-lib/resource/mathematical/SymbolScand.gf
parent101df06f6c8380328d4266adadac3ab6d1bac0b3 (diff)
moving a few things to deprecated
Diffstat (limited to 'old-lib/resource/mathematical/SymbolScand.gf')
-rw-r--r--old-lib/resource/mathematical/SymbolScand.gf38
1 files changed, 0 insertions, 38 deletions
diff --git a/old-lib/resource/mathematical/SymbolScand.gf b/old-lib/resource/mathematical/SymbolScand.gf
deleted file mode 100644
index 8bde4e1a4..000000000
--- a/old-lib/resource/mathematical/SymbolScand.gf
+++ /dev/null
@@ -1,38 +0,0 @@
-incomplete concrete SymbolScand of Symbol =
- CatScand ** open Prelude, ResScand, CommonScand in {
-
-lin
- SymbPN i = {s = \\c => i.s ; g = Neutr} ; --- c
- IntPN i = {s = \\c => i.s ; g = Neutr} ; --- c
- FloatPN i = {s = \\c => i.s ; g = Neutr} ; --- c
- NumPN i = {s = \\c => i.s!neutrum ; g = Neutr} ; --- c
- CNIntNP cn i = {
- s = \\c => (cn.s ! Sg ! DIndef ! Nom ++ i.s) ;
- a = agrP3 cn.g Sg
- } ;
- CNSymbNP det cn xs = let g = cn.g in {
- s = \\c => det.s ! cn.isMod ! g ++ cn.s ! det.n ! det.det ! caseNP c ++ xs.s ;
- a = agrP3 g det.n
- } ;
- CNNumNP cn i = {
- s = \\c => (cn.s ! Sg ! DIndef ! Nom ++ i.s ! neutrum) ;
- a = agrP3 cn.g Sg
- } ;
-
- SymbS sy = {s = \\_ => sy.s} ;
-
- SymbNum n = {s = \\_ => n.s ; isDet = True ; n = Pl} ;
- SymbOrd n = {s = n.s ++ ":te" ; isDet = True} ; ---
-
-lincat
-
- Symb, [Symb] = SS ;
-
-lin
-
- MkSymb s = s ;
-
- BaseSymb = infixSS conjAnd ;
- ConsSymb = infixSS "," ;
-
-}