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/ResGer.gf | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'next-lib/src/german/ResGer.gf') 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