diff options
| author | aarne <aarne@chalmers.se> | 2009-06-22 14:30:55 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-06-22 14:30:55 +0000 |
| commit | f8fdaa7accef4c6935e5ecdf9ef292b1f7b2901b (patch) | |
| tree | abef31c1b21ad7bbfa891083130496d72f80dab4 /next-lib/src/german | |
| parent | b7f6393e9f9abaf8202f4adb8db12888202f969d (diff) | |
fixed warnings in present compilation of resource, esp. unreached patterns
Diffstat (limited to 'next-lib/src/german')
| -rw-r--r-- | next-lib/src/german/CatGer.gf | 1 | ||||
| -rw-r--r-- | next-lib/src/german/ResGer.gf | 7 |
2 files changed, 3 insertions, 5 deletions
diff --git a/next-lib/src/german/CatGer.gf b/next-lib/src/german/CatGer.gf index 737b1d0c1..e1dae718b 100644 --- a/next-lib/src/german/CatGer.gf +++ b/next-lib/src/german/CatGer.gf @@ -56,7 +56,6 @@ concrete CatGer of Cat = sp : Number => Gender => Case => Str ; a : Adjf } ; - Art = {s : Bool => Number => Gender => Case => Str ; a : Adjf} ; Predet = {s : Number => Gender => Case => Str ; c : PredetCase} ; Num = {s : Gender => Case => Str ; n : Number ; isNum : Bool} ; Card = {s : Gender => Case => Str ; n : Number} ; diff --git a/next-lib/src/german/ResGer.gf b/next-lib/src/german/ResGer.gf index 10c72082c..5677ab106 100644 --- a/next-lib/src/german/ResGer.gf +++ b/next-lib/src/german/ResGer.gf @@ -143,11 +143,10 @@ resource ResGer = ParamX ** open Prelude in { vFin : Bool -> Mood -> Tense -> Agr -> VForm = \b,m,t,a -> case <t,m> of { - <Pres,MIndic> => VFin b (VPresInd a.n a.p) ; - <Pres,MConjunct> => VFin b (VPresSubj a.n a.p) ; <Past,MIndic> => VFin b (VImpfInd a.n a.p) ; --# notpresent - <Past,MConjunct> => VFin b (VImpfSubj a.n a.p) ; --# notpresent - _ => VInf False --- never used + <Past,MConjunct> => VFin b (VImpfSubj a.n a.p) ; --# notpresent + <Pres,MIndic> => VFin b (VPresInd a.n a.p) ; + <Pres,MConjunct> => VFin b (VPresSubj a.n a.p) } ; conjAgr : Agr -> Agr -> Agr = \a,b -> { |