X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreLint.lhs;fp=compiler%2FcoreSyn%2FCoreLint.lhs;h=428cda8dec8197ca1b2d815ecd46e27a57589dd5;hp=0ca5c4365af635f59d99ec09d6ea4339ebaf5c25;hb=491b818a4a9bd2160107178499e160d62933f58c;hpb=30c17e7096919c55218083c8fcb98e6287552058

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index 0ca5c43..428cda8 100644
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -227,7 +227,11 @@ lintCoreExpr (Var var)
   = do	{ checkL (not (var == oneTupleDataConId))
 		 (ptext (sLit "Illegal one-tuple"))
 
-	; checkDeadIdOcc var
+        ; 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') }