summaryrefslogtreecommitdiff
path: root/examples/regulus/toy0/no-resource/Toy0_eng.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/regulus/toy0/no-resource/Toy0_eng.gf')
-rw-r--r--examples/regulus/toy0/no-resource/Toy0_eng.gf39
1 files changed, 0 insertions, 39 deletions
diff --git a/examples/regulus/toy0/no-resource/Toy0_eng.gf b/examples/regulus/toy0/no-resource/Toy0_eng.gf
deleted file mode 100644
index ed8fe8063..000000000
--- a/examples/regulus/toy0/no-resource/Toy0_eng.gf
+++ /dev/null
@@ -1,39 +0,0 @@
--- grammar from Chapter 2 of the Regulus book
-
-flags startcat=MAIN ;
-
-cat
- MAIN ; NP ; Noun ; Spec ;
-
-fun
- Main : NP -> MAIN ;
- SpecNoun : Spec -> Noun -> NP ;
-
- One, Two : Spec ;
- Felis, Canis : Noun ;
-
-param
- Number = Sg | Pl ;
-
-lincat
- Spec = {s : Str ; n : Number} ;
- Noun = {s : Number => Str} ;
- MAIN,NP = {s : Str} ;
-
-lin
- Main np = np ;
- SpecNoun spec noun = {s = spec.s ++ noun.s ! spec.n} ;
-
- One = {s = "one" ; n = Sg} ;
- Two = {s = "two" ; n = Pl} ;
-
- Felis = regNoun "cat" ;
- Canis = regNoun "dog" ;
-
-oper
- regNoun : Str -> {s : Number => Str} = \s -> {
- s = table {
- Sg => s ;
- Pl => s + "s"
- }
- } ;