summaryrefslogtreecommitdiff
path: root/next-lib/src/romance/SymbolRomance.gf
diff options
context:
space:
mode:
Diffstat (limited to 'next-lib/src/romance/SymbolRomance.gf')
-rw-r--r--next-lib/src/romance/SymbolRomance.gf41
1 files changed, 0 insertions, 41 deletions
diff --git a/next-lib/src/romance/SymbolRomance.gf b/next-lib/src/romance/SymbolRomance.gf
deleted file mode 100644
index 7319b1010..000000000
--- a/next-lib/src/romance/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 = heavyNP {
- s = \\c => prepCase c ++ cn.s ! Sg ++ i.s ;
- a = agrP3 cn.g Sg ;
- hasClit = False
- } ;
- CNSymbNP det cn xs = let g = cn.g in heavyNP {
- s = \\c => det.s ! g ! c ++ cn.s ! det.n ++ xs.s ;
- a = agrP3 g det.n ;
- hasClit = False
- } ;
- CNNumNP cn i = heavyNP {
- s = \\c => artDef cn.g Sg 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 "," ;
-
-}