summaryrefslogtreecommitdiff
path: root/old-lib/resource/mathematical/SymbolRomance.gf
diff options
context:
space:
mode:
Diffstat (limited to 'old-lib/resource/mathematical/SymbolRomance.gf')
-rw-r--r--old-lib/resource/mathematical/SymbolRomance.gf41
1 files changed, 0 insertions, 41 deletions
diff --git a/old-lib/resource/mathematical/SymbolRomance.gf b/old-lib/resource/mathematical/SymbolRomance.gf
deleted file mode 100644
index 64b4e1a34..000000000
--- a/old-lib/resource/mathematical/SymbolRomance.gf
+++ /dev/null
@@ -1,41 +0,0 @@
-incomplete concrete SymbolRomance of Symbol =
- CatRomance ** open Prelude, CommonRomance, ResRomance in {
-
-lin
- SymbPN i = {s = i.s ; g = Masc} ;
- IntPN i = {s = i.s ; g = Masc} ;
- FloatPN i = {s = i.s ; g = Masc} ;
- NumPN i = {s = i.s!Masc ; g = Masc} ;
-
- CNIntNP cn i = {
- s = \\c => cn.s ! Sg ++ i.s ;
- a = agrP3 cn.g Sg ;
- hasClit = False
- } ;
- CNSymbNP det cn xs = let g = cn.g in {
- s = \\c => det.s ! g ! npform2case c ++ cn.s ! det.n ++ xs.s ;
- a = agrP3 g det.n ;
- hasClit = False
- } ;
- CNNumNP cn i = {
- s = \\c => artDef cn.g Sg (npform2case c) ++ cn.s ! Sg ++ i.s ! Masc ;
- a = agrP3 cn.g Sg ;
- hasClit = False
- } ;
- SymbS sy = {s = \\_ => sy.s} ;
-
- SymbNum n = {s = \\_ => n.s ; isNum = True ; n = Pl} ;
- SymbOrd n = {s = \\_ => n.s ++ "."} ; ---
-
-lincat
-
- Symb, [Symb] = SS ;
-
-lin
-
- MkSymb s = s ;
-
- BaseSymb = infixSS "et" ; ----
- ConsSymb = infixSS "," ;
-
-}