Acutally, wild-card variables *can* have occurrences

[ghc-hetmet.git] / compiler / coreSyn / CoreLint.lhs

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index 428cda8..5cc82a2 100644 (file)
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -227,10 +227,6 @@ lintCoreExpr (Var var)
   = do { checkL (not (var == oneTupleDataConId))
                 (ptext (sLit "Illegal one-tuple"))
 
-        ; checkL (not (var `hasKey` wildCardKey))
-                 (ptext (sLit "Occurence of a wild-card binder") <+> ppr var)
-                 -- See Note [WildCard binders] in SimplEnv
-
         ; checkDeadIdOcc var
        ; var' <- lookupIdInScope var
         ; return (idType var') }