From a7900bfbc8e95053b161c6c1d50ada9c7859029a Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 22 May 2009 21:47:32 +0000
Subject: fix the handling of wildcards

---
 src/GF/Compile/CheckGrammar.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/Compile/CheckGrammar.hs')

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index 59961e0cd..bad6bcbcf 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -897,7 +897,7 @@ checkLType env trm typ0 = do
 
 pattContext :: LTEnv -> Type -> Patt -> Check Context
 pattContext env typ p = case p of
-  PV x | not (isWildIdent x) -> return [(x,typ)]
+  PV x -> return [(x,typ)]
   PP q c ps | q /= cPredef -> do ---- why this /=? AR 6/1/2006
     t <- checkErr $ lookupResType cnc q c
     (cont,v) <- checkErr $ typeFormCnc t
-- 
cgit v1.2.3