projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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') ->
(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
Nothing -- Inaccessible
| opt_PprStyle_Debug -- Hack: if debugging is on, generate an error case
-- so we can see it