diff options
Diffstat (limited to 'doc/tutorial/resource/LexIta.gf')
| -rw-r--r-- | doc/tutorial/resource/LexIta.gf | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/doc/tutorial/resource/LexIta.gf b/doc/tutorial/resource/LexIta.gf deleted file mode 100644 index 0b8940e1e..000000000 --- a/doc/tutorial/resource/LexIta.gf +++ /dev/null @@ -1,46 +0,0 @@ ---# -path=.:prelude - -resource LexIta = open SyntaxIta, MorphoIta, Prelude in { - - oper - - -- constructors for genders - - Gender : Type ; - masculine, feminine : Gender ; - - -- constructors for open lexicon - - mkN : Gender -> (vino,vini : Str) -> CN ; - regN : (vino : Str) -> CN ; - femN : CN -> CN ; - - mkA : (nero,nera,neri,nere : Str) -> AP ; - regA : (nero : Str) -> AP ; - - mkV : (ama,amano : Str) -> V ; - regV : (amare : Str) -> V ; - - mkV2 : (aspettare : V) -> (a : Str) -> V2 ; - dirV2 : (mangiare : V) -> V2 ; - - -------------------------------------------- - -- definitions, hidden from users - - Gender = MorphoIta.Gender ; - masculine = Masc ; - feminine = Fem ; - - mkN g x y = mkNoun g x y ** {lock_CN = <>} ; - regN x = regNoun x ** {lock_CN = <>} ; - - mkA x y z u = mkAdjective x y z u ** {lock_AP = <>} ; - regA x = regAdjective x ** {lock_AP = <>} ; - - mkV x y = mkVerb x y ** {lock_V = <>} ; - regV x = regVerb x ** {lock_V = <>} ; - - mkV2 x p = x ** {c = p ; lock_V2 = <>} ; - dirV2 x = mkV2 x [] ; - -} |
