diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-08 08:28:43 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-08 08:28:43 +0000 |
| commit | c1d8e8af55ecad48ff5e5bc4adf1739bd9411dc6 (patch) | |
| tree | e5d018f2a5ddba2bee8964ea2d240ad8fc71d0ba /next-lib/src/slavic | |
| parent | f7dfc6f1d7298ca5fd5aa63dddcdcb196ead251f (diff) | |
revert all changes related to the common Slavic grammar
Diffstat (limited to 'next-lib/src/slavic')
| -rw-r--r-- | next-lib/src/slavic/CatSlavic.gf | 12 | ||||
| -rw-r--r-- | next-lib/src/slavic/CommonSlavic.gf | 22 | ||||
| -rw-r--r-- | next-lib/src/slavic/DiffSlavic.gf | 5 | ||||
| -rw-r--r-- | next-lib/src/slavic/ResSlavic.gf | 6 |
4 files changed, 0 insertions, 45 deletions
diff --git a/next-lib/src/slavic/CatSlavic.gf b/next-lib/src/slavic/CatSlavic.gf deleted file mode 100644 index 1a0883702..000000000 --- a/next-lib/src/slavic/CatSlavic.gf +++ /dev/null @@ -1,12 +0,0 @@ -incomplete concrete CatSlavic of Cat = open Prelude, CommonSlavic, ResSlavic in {
-
-lincat
- CN = {s : NForm => Str; g : Gender; anim : Animacy} ;
-
- Subj = {s : Str} ;
- Prep = {s : Str; c: Case} ;
-
- 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 deleted file mode 100644 index fc38ca990..000000000 --- a/next-lib/src/slavic/CommonSlavic.gf +++ /dev/null @@ -1,22 +0,0 @@ -resource CommonSlavic = ParamX ** open Prelude in {
-
-param
- Gender = Masc | Fem | Neut ;
- Animacy = Animate | Inanimate ;
-
- GenNum = GSg Gender | GPl ;
-
-oper
- gennum : Gender -> Number -> GenNum = \g,n ->
- case n of {
- Sg => GSg g ;
- Pl => GPl
- } ;
-
- numGenNum : GenNum -> Number = \gn ->
- case gn of {
- GSg _ => Sg ;
- GPl => Pl
- } ;
-
-}
diff --git a/next-lib/src/slavic/DiffSlavic.gf b/next-lib/src/slavic/DiffSlavic.gf deleted file mode 100644 index 77728ad1b..000000000 --- a/next-lib/src/slavic/DiffSlavic.gf +++ /dev/null @@ -1,5 +0,0 @@ -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 deleted file mode 100644 index 1f86fbde5..000000000 --- a/next-lib/src/slavic/ResSlavic.gf +++ /dev/null @@ -1,6 +0,0 @@ -interface ResSlavic = DiffSlavic ** open CommonSlavic, Prelude in {
-
-oper
- Preposition : Type = {s : Str; c : Case};
-
-}
|
