From 54d53251718dce4fcfda941eb9c21abe8eb939ed Mon Sep 17 00:00:00 2001 From: bringert Date: Wed, 27 Jun 2007 12:38:24 +0000 Subject: Moved the different versions of the toy0 concrete modules to different subdirectories. --- examples/regulus/toy0/Toy0Eng.gf | 27 ----------------- examples/regulus/toy0/Toy0Fin0.gf | 16 ---------- examples/regulus/toy0/Toy0Fre.gf | 29 ------------------ examples/regulus/toy0/Toy0Ger.gf | 30 ------------------- examples/regulus/toy0/Toy0GerE.gf | 6 ---- examples/regulus/toy0/Toy0IE.gfe | 23 --------------- examples/regulus/toy0/Toy0_eng.gf | 39 ------------------------- examples/regulus/toy0/example-based/Toy0GerE.gf | 6 ++++ examples/regulus/toy0/example-based/Toy0IE.gfe | 23 +++++++++++++++ examples/regulus/toy0/no-functor/Toy0Fin0.gf | 16 ++++++++++ examples/regulus/toy0/no-resource/Toy0Eng.gf | 28 ++++++++++++++++++ examples/regulus/toy0/no-resource/Toy0Fre.gf | 30 +++++++++++++++++++ examples/regulus/toy0/no-resource/Toy0Ger.gf | 31 ++++++++++++++++++++ examples/regulus/toy0/no-resource/Toy0_eng.gf | 39 +++++++++++++++++++++++++ 14 files changed, 173 insertions(+), 170 deletions(-) delete mode 100644 examples/regulus/toy0/Toy0Eng.gf delete mode 100644 examples/regulus/toy0/Toy0Fin0.gf delete mode 100644 examples/regulus/toy0/Toy0Fre.gf delete mode 100644 examples/regulus/toy0/Toy0Ger.gf delete mode 100644 examples/regulus/toy0/Toy0GerE.gf delete mode 100644 examples/regulus/toy0/Toy0IE.gfe delete mode 100644 examples/regulus/toy0/Toy0_eng.gf create mode 100644 examples/regulus/toy0/example-based/Toy0GerE.gf create mode 100644 examples/regulus/toy0/example-based/Toy0IE.gfe create mode 100644 examples/regulus/toy0/no-functor/Toy0Fin0.gf create mode 100644 examples/regulus/toy0/no-resource/Toy0Eng.gf create mode 100644 examples/regulus/toy0/no-resource/Toy0Fre.gf create mode 100644 examples/regulus/toy0/no-resource/Toy0Ger.gf create mode 100644 examples/regulus/toy0/no-resource/Toy0_eng.gf (limited to 'examples') diff --git a/examples/regulus/toy0/Toy0Eng.gf b/examples/regulus/toy0/Toy0Eng.gf deleted file mode 100644 index 977fb09c5..000000000 --- a/examples/regulus/toy0/Toy0Eng.gf +++ /dev/null @@ -1,27 +0,0 @@ -concrete Toy0Eng of Toy0 = { - -param - Number = Sg | Pl ; - -lincat - Spec = {s : Str ; n : Number} ; - Noun = {s : Number => Str} ; - NP = {s : Str} ; - -lin - 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" - } - } ; -} diff --git a/examples/regulus/toy0/Toy0Fin0.gf b/examples/regulus/toy0/Toy0Fin0.gf deleted file mode 100644 index 23203934d..000000000 --- a/examples/regulus/toy0/Toy0Fin0.gf +++ /dev/null @@ -1,16 +0,0 @@ ---# -path=present:prelude - -concrete Toy0Fin0 of Toy0 = open SyntaxFin, ParadigmsFin in { - -lincat - Spec = Det ; - Noun = N ; - NP = Utt ; -lin - SpecNoun spec noun = mkUtt (SyntaxFin.mkNP spec noun) ; - - One = mkDet one_Quant ; - Two = mkDet (mkNum n2_Numeral) ; - Felis = mkN "kissa" ; - Canis = mkN "koira" ; -} diff --git a/examples/regulus/toy0/Toy0Fre.gf b/examples/regulus/toy0/Toy0Fre.gf deleted file mode 100644 index c5267ae18..000000000 --- a/examples/regulus/toy0/Toy0Fre.gf +++ /dev/null @@ -1,29 +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} ; - NP = {s : Str} ; - -lin - 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 - } ; -} diff --git a/examples/regulus/toy0/Toy0Ger.gf b/examples/regulus/toy0/Toy0Ger.gf deleted file mode 100644 index 68b3b7969..000000000 --- a/examples/regulus/toy0/Toy0Ger.gf +++ /dev/null @@ -1,30 +0,0 @@ -concrete Toy0Ger of Toy0 = { - -param - Number = Sg | Pl ; - Gender = Masc | Fem | Neutr ; - -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 => "eine" ; _ => "ein"} ; n = Sg} ; - Two = {s = \\_ => "zwei" ; n = Pl} ; - - Felis = mkNoun "Katze" "Katzen" Fem ; - Canis = mkNoun "Hund" "Hünde" Masc ; - -oper - mkNoun : Str -> Str -> Gender -> {s : Number => Str ; g : Gender} = \s,p,g -> { - s = table { - Sg => s ; - Pl => p - } ; - g = g - } ; -} diff --git a/examples/regulus/toy0/Toy0GerE.gf b/examples/regulus/toy0/Toy0GerE.gf deleted file mode 100644 index 00b4b79a7..000000000 --- a/examples/regulus/toy0/Toy0GerE.gf +++ /dev/null @@ -1,6 +0,0 @@ ---# -path=.:present:prelude - -concrete Toy0GerE of Toy0 = Toy0IE with - (Grammar = GrammarGer), - (Lexicon = LexiconGer) ; - diff --git a/examples/regulus/toy0/Toy0IE.gfe b/examples/regulus/toy0/Toy0IE.gfe deleted file mode 100644 index 992708554..000000000 --- a/examples/regulus/toy0/Toy0IE.gfe +++ /dev/null @@ -1,23 +0,0 @@ ---# -resource=/home/aarne/GF/lib/present/LangEng.gfc ---# -path=.:present:prelude - --- to compile: gf -examples Toy0IE.gfe - -incomplete concrete Toy0IE of Toy0 = open Grammar, Lexicon in { - -lincat - Spec = Det ; - Noun = N ; - NP = Utt ; - -lin - SpecNoun every_Det house_N = in Utt "every house" ; - - One = in Det "one" ; - Two = in Det "two" ; - - Felis = in N "cat" ; - Canis = in N "dog" ; - -} - diff --git a/examples/regulus/toy0/Toy0_eng.gf b/examples/regulus/toy0/Toy0_eng.gf deleted file mode 100644 index ed8fe8063..000000000 --- a/examples/regulus/toy0/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" - } - } ; diff --git a/examples/regulus/toy0/example-based/Toy0GerE.gf b/examples/regulus/toy0/example-based/Toy0GerE.gf new file mode 100644 index 000000000..f87eceb31 --- /dev/null +++ b/examples/regulus/toy0/example-based/Toy0GerE.gf @@ -0,0 +1,6 @@ +--# -path=..:present:prelude + +concrete Toy0GerE of Toy0 = Toy0IE with + (Grammar = GrammarGer), + (Lexicon = LexiconGer) ; + diff --git a/examples/regulus/toy0/example-based/Toy0IE.gfe b/examples/regulus/toy0/example-based/Toy0IE.gfe new file mode 100644 index 000000000..03313efd5 --- /dev/null +++ b/examples/regulus/toy0/example-based/Toy0IE.gfe @@ -0,0 +1,23 @@ +--# -resource=present/LangEng.gfc +--# -path=..:present:prelude + +-- to compile: gf -examples Toy0IE.gfe + +incomplete concrete Toy0IE of Toy0 = open Grammar, Lexicon in { + +lincat + Spec = Det ; + Noun = N ; + NP = Utt ; + +lin + SpecNoun every_Det house_N = in Utt "every house" ; + + One = in Det "one" ; + Two = in Det "two" ; + + Felis = in N "cat" ; + Canis = in N "dog" ; + +} + diff --git a/examples/regulus/toy0/no-functor/Toy0Fin0.gf b/examples/regulus/toy0/no-functor/Toy0Fin0.gf new file mode 100644 index 000000000..9a1875124 --- /dev/null +++ b/examples/regulus/toy0/no-functor/Toy0Fin0.gf @@ -0,0 +1,16 @@ +--# -path=..:present:prelude + +concrete Toy0Fin0 of Toy0 = open SyntaxFin, ParadigmsFin in { + +lincat + Spec = Det ; + Noun = N ; + NP = Utt ; +lin + SpecNoun spec noun = mkUtt (SyntaxFin.mkNP spec noun) ; + + One = mkDet one_Quant ; + Two = mkDet (mkNum n2_Numeral) ; + Felis = mkN "kissa" ; + Canis = mkN "koira" ; +} diff --git a/examples/regulus/toy0/no-resource/Toy0Eng.gf b/examples/regulus/toy0/no-resource/Toy0Eng.gf new file mode 100644 index 000000000..e6fa01b8d --- /dev/null +++ b/examples/regulus/toy0/no-resource/Toy0Eng.gf @@ -0,0 +1,28 @@ +--# -path=.. +concrete Toy0Eng of Toy0 = { + +param + Number = Sg | Pl ; + +lincat + Spec = {s : Str ; n : Number} ; + Noun = {s : Number => Str} ; + NP = {s : Str} ; + +lin + 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" + } + } ; +} diff --git a/examples/regulus/toy0/no-resource/Toy0Fre.gf b/examples/regulus/toy0/no-resource/Toy0Fre.gf new file mode 100644 index 000000000..1077058e0 --- /dev/null +++ b/examples/regulus/toy0/no-resource/Toy0Fre.gf @@ -0,0 +1,30 @@ +--# -path=.. +concrete Toy0Fre of Toy0 = { + +param + Number = Sg | Pl ; + Gender = Masc | Fem ; + +lincat + Spec = {s : Gender => Str ; n : Number} ; + Noun = {s : Number => Str ; g : Gender} ; + NP = {s : Str} ; + +lin + 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 + } ; +} diff --git a/examples/regulus/toy0/no-resource/Toy0Ger.gf b/examples/regulus/toy0/no-resource/Toy0Ger.gf new file mode 100644 index 000000000..eee5df823 --- /dev/null +++ b/examples/regulus/toy0/no-resource/Toy0Ger.gf @@ -0,0 +1,31 @@ +--# -path=.. +concrete Toy0Ger of Toy0 = { + +param + Number = Sg | Pl ; + Gender = Masc | Fem | Neutr ; + +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 => "eine" ; _ => "ein"} ; n = Sg} ; + Two = {s = \\_ => "zwei" ; n = Pl} ; + + Felis = mkNoun "Katze" "Katzen" Fem ; + Canis = mkNoun "Hund" "Hünde" Masc ; + +oper + mkNoun : Str -> Str -> Gender -> {s : Number => Str ; g : Gender} = \s,p,g -> { + s = table { + Sg => s ; + Pl => p + } ; + g = g + } ; +} diff --git a/examples/regulus/toy0/no-resource/Toy0_eng.gf b/examples/regulus/toy0/no-resource/Toy0_eng.gf new file mode 100644 index 000000000..ed8fe8063 --- /dev/null +++ b/examples/regulus/toy0/no-resource/Toy0_eng.gf @@ -0,0 +1,39 @@ +-- 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" + } + } ; -- cgit v1.2.3