X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FCoreLint.lhs;fp=ghc%2Fcompiler%2FcoreSyn%2FCoreLint.lhs;h=dda8290bf4c62702f009a1511ba40290edc46a22;hb=f5ca07d670fd2fcd196aa670890257117a015728;hp=be323be8faa25721e970c006189a926930488792;hpb=c5b03909e7c630a874f6f1abf76d28baf4b19d55;p=ghc-hetmet.git

diff --git a/ghc/compiler/coreSyn/CoreLint.lhs b/ghc/compiler/coreSyn/CoreLint.lhs
index be323be..dda8290 100644
--- a/ghc/compiler/coreSyn/CoreLint.lhs
+++ b/ghc/compiler/coreSyn/CoreLint.lhs
@@ -472,7 +472,7 @@ lintCoreAlt scrut_ty alt_ty alt@(DataAlt con, args, rhs)
         ; subst <- getTvSubst 
 	; let in_scope  = getTvInScope subst
 	      subst_env = getTvSubstEnv subst
-        ; case coreRefineTys in_scope con tvs scrut_ty of {
+        ; case coreRefineTys con tvs scrut_ty of {
              Nothing          -> return () ;	-- Alternative is dead code
              Just (refine, _) -> updateTvSubstEnv (composeTvSubst in_scope refine subst_env) $
     do 	{ addLoc (CasePat alt) $ do