summaryrefslogtreecommitdiff
path: root/examples/regulus/Toy0Fre.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/regulus/Toy0Fre.gf')
-rw-r--r--examples/regulus/Toy0Fre.gf30
1 files changed, 0 insertions, 30 deletions
diff --git a/examples/regulus/Toy0Fre.gf b/examples/regulus/Toy0Fre.gf
deleted file mode 100644
index 425c85af0..000000000
--- a/examples/regulus/Toy0Fre.gf
+++ /dev/null
@@ -1,30 +0,0 @@
-concrete Toy0Fre of Toy0 = {
-
-param
- Number = Sg | Pl ;
- Gender = Masc | Fem ;
-
-lincat
- Spec = {s : Gender => Str ; n : Number} ;
- Noun = {s : Number => Str ; g : Gender} ;
- MAIN,NP = {s : Str} ;
-
-lin
- Main np = np ;
- SpecNoun spec noun = {s = spec.s ! noun.g ++ noun.s ! spec.n} ;
-
- One = {s = table {Fem => "une" ; _ => "un"} ; n = Sg} ;
- Two = {s = \\_ => "deux" ; n = Pl} ;
-
- Felis = mkNoun "chat" Masc ;
- Canis = mkNoun "chien" Masc ;
-
-oper
- mkNoun : Str -> Gender -> {s : Number => Str ; g : Gender} = \s,g -> {
- s = table {
- Sg => s ;
- Pl => s + "s"
- } ;
- g = g
- } ;
-}