From f8fdaa7accef4c6935e5ecdf9ef292b1f7b2901b Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 22 Jun 2009 14:30:55 +0000 Subject: fixed warnings in present compilation of resource, esp. unreached patterns --- next-lib/src/german/CatGer.gf | 1 - next-lib/src/german/ResGer.gf | 7 +++---- 2 files changed, 3 insertions(+), 5 deletions(-) (limited to 'next-lib/src/german') 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 of { - => VFin b (VPresInd a.n a.p) ; - => VFin b (VPresSubj a.n a.p) ; => VFin b (VImpfInd a.n a.p) ; --# notpresent - => VFin b (VImpfSubj a.n a.p) ; --# notpresent - _ => VInf False --- never used + => VFin b (VImpfSubj a.n a.p) ; --# notpresent + => VFin b (VPresInd a.n a.p) ; + => VFin b (VPresSubj a.n a.p) } ; conjAgr : Agr -> Agr -> Agr = \a,b -> { -- cgit v1.2.3