fix the handling of wildcards

src/GF/Compile/AbsCompute.hs

@@ -109,7 +109,7 @@ tryMatch (p,t) = do
 
   trym p t' = err (\s -> tracd s (Bad s)) (\t -> tracd (prtm p t) (return t)) $ ---- 
               case (p,t') of
-    (PV IW, _) | notMeta t -> return [] -- optimization with wildcard
+    (PW,    _) | notMeta t -> return [] -- optimization with wildcard
     (PV x,  _) | notMeta t -> return [(x,t)]
     (PString s, ([],K i,[])) | s==i -> return []
     (PInt s, ([],EInt i,[])) | s==i -> return []

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

src/GF/Compile/Compute.hs

@@ -300,8 +300,8 @@ computeTermOpt rec gr = comput True where
        _ -> case t' of
          FV ccs -> mapM (\c -> comp g (S c v')) ccs >>= returnC . variants
 
-         T _ [(PV IW,c)] -> comp g c           --- an optimization
-         T _ [(PT _ (PV IW),c)] -> comp g c
+         T _ [(PW,c)] -> comp g c           --- an optimization
+         T _ [(PT _ PW,c)] -> comp g c
 
          T _ [(PV z,c)] -> comp (ext z v' g) c --- another optimization
          T _ [(PT _ (PV z),c)] -> comp (ext z v' g) c