diff options
Diffstat (limited to 'next-lib/src/slavic')
| -rw-r--r-- | next-lib/src/slavic/CatSlavic.gf | 9 | ||||
| -rw-r--r-- | next-lib/src/slavic/CommonSlavic.gf | 6 | ||||
| -rw-r--r-- | next-lib/src/slavic/DiffSlavic.gf | 5 | ||||
| -rw-r--r-- | next-lib/src/slavic/ResSlavic.gf | 6 |
4 files changed, 26 insertions, 0 deletions
diff --git a/next-lib/src/slavic/CatSlavic.gf b/next-lib/src/slavic/CatSlavic.gf new file mode 100644 index 000000000..f757a6044 --- /dev/null +++ b/next-lib/src/slavic/CatSlavic.gf @@ -0,0 +1,9 @@ +incomplete concrete CatSlavic of Cat = open Prelude, CommonSlavic, ResSlavic in {
+
+lincat
+ CN = {s : NForm => Str; g : Gender; anim : Animacy} ;
+
+ N = {s : NForm => Str; g : Gender; anim : Animacy} ;
+ N2 = {s : NForm => Str; g : Gender; anim : Animacy} ** {c2 : Preposition} ;
+ N3 = {s : NForm => Str; g : Gender; anim : Animacy} ** {c2,c3 : Preposition} ;
+}
\ No newline at end of file diff --git a/next-lib/src/slavic/CommonSlavic.gf b/next-lib/src/slavic/CommonSlavic.gf new file mode 100644 index 000000000..d65c3d090 --- /dev/null +++ b/next-lib/src/slavic/CommonSlavic.gf @@ -0,0 +1,6 @@ +resource CommonSlavic = ParamX ** open Prelude in {
+
+param
+ Gender = Masc | Fem | Neut ;
+ Animacy = Animate | Inanimate ;
+}
diff --git a/next-lib/src/slavic/DiffSlavic.gf b/next-lib/src/slavic/DiffSlavic.gf new file mode 100644 index 000000000..77728ad1b --- /dev/null +++ b/next-lib/src/slavic/DiffSlavic.gf @@ -0,0 +1,5 @@ +interface DiffSlavic = open Prelude in {
+
+ param NForm ;
+
+}
\ No newline at end of file diff --git a/next-lib/src/slavic/ResSlavic.gf b/next-lib/src/slavic/ResSlavic.gf new file mode 100644 index 000000000..1f86fbde5 --- /dev/null +++ b/next-lib/src/slavic/ResSlavic.gf @@ -0,0 +1,6 @@ +interface ResSlavic = DiffSlavic ** open CommonSlavic, Prelude in {
+
+oper
+ Preposition : Type = {s : Str; c : Case};
+
+}
|
