projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use pprSourceTyCon; delete unused tyConOrigHead
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcRules.lhs
diff --git
a/compiler/typecheck/TcRules.lhs
b/compiler/typecheck/TcRules.lhs
index
0a2babe
..
25abd58
100644
(file)
--- a/
compiler/typecheck/TcRules.lhs
+++ b/
compiler/typecheck/TcRules.lhs
@@
-82,11
+82,9
@@
tcRule (HsRule name act vars lhs fv_lhs rhs fv_rhs)
tcSimplifyInferCheck loc
forall_tvs
lhs_dicts rhs_lie `thenM` \ (forall_tvs1, rhs_binds) ->
tcSimplifyInferCheck loc
forall_tvs
lhs_dicts rhs_lie `thenM` \ (forall_tvs1, rhs_binds) ->
- mappM zonkQuantifiedTyVar forall_tvs1 `thenM` \ forall_tvs2 ->
- -- This zonk is exactly the same as the one in TcBinds.tcBindWithSigs
returnM (HsRule name act
returnM (HsRule name act
- (map (RuleBndr . noLoc) (forall_tvs2 ++ tpl_ids)) -- yuk
+ (map (RuleBndr . noLoc) (forall_tvs1 ++ tpl_ids)) -- yuk
(mkHsDictLet lhs_binds lhs') fv_lhs
(mkHsDictLet rhs_binds rhs') fv_rhs)
(mkHsDictLet lhs_binds lhs') fv_lhs
(mkHsDictLet rhs_binds rhs') fv_rhs)