Do type refinement in TcIface

[ghc-hetmet.git] / ghc / compiler / simplCore / Simplify.lhs

diff --git a/ghc/compiler/simplCore/Simplify.lhs b/ghc/compiler/simplCore/Simplify.lhs
index 17a7969..223d61a 100644 (file)
--- a/ghc/compiler/simplCore/Simplify.lhs
+++ b/ghc/compiler/simplCore/Simplify.lhs
@@ -1523,7 +1523,7 @@ simplAlt env handled_cons case_bndr' (DataAlt con, vs, rhs) cont'
        (tvs,ids) = span isTyVar vs
     in
     simplBinders env tvs                       `thenSmpl` \ (env1, tvs') ->
-    case coreRefineTys (getInScope env1) con tvs' (idType case_bndr') of {
+    case coreRefineTys con tvs' (idType case_bndr') of {
        Nothing         -- Inaccessible
            | opt_PprStyle_Debug        -- Hack: if debugging is on, generate an error case 
                                        --       so we can see it