projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7fc965c
)
[project @ 2002-06-18 14:00:07 by simonpj]
author
simonpj
<unknown>
Tue, 18 Jun 2002 14:00:07 +0000
(14:00 +0000)
committer
simonpj
<unknown>
Tue, 18 Jun 2002 14:00:07 +0000
(14:00 +0000)
Comments only
ghc/compiler/typecheck/TcInstDcls.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcInstDcls.lhs
b/ghc/compiler/typecheck/TcInstDcls.lhs
index
79ac540
..
76b87ce
100644
(file)
--- a/
ghc/compiler/typecheck/TcInstDcls.lhs
+++ b/
ghc/compiler/typecheck/TcInstDcls.lhs
@@
-648,6
+648,8
@@
tcInstDecl2 (InstInfo { iDFunId = dfun_id, iBinds = monobinds, iPrags = uprags }
main_bind `AndMonoBinds` prag_binds `AndMonoBinds` sc_binds_outer)
\end{code}
main_bind `AndMonoBinds` prag_binds `AndMonoBinds` sc_binds_outer)
\end{code}
+Superclass loops
+~~~~~~~~~~~~~~~~
We have to be very, very careful when generating superclasses, lest we
accidentally build a loop. Here's an example:
We have to be very, very careful when generating superclasses, lest we
accidentally build a loop. Here's an example:
@@
-699,6
+701,7
@@
tcSuperClasses inst_tyvars' dfun_arg_dicts sc_dicts
-- We must simplify this all the way down
-- lest we build superclass loops
-- We must simplify this all the way down
-- lest we build superclass loops
+ -- See notes about superclass loops above
tcSimplifyTop sc_lie `thenTc` \ sc_binds2 ->
returnTc (zonked_inst_tyvars, sc_binds1, sc_binds2)
tcSimplifyTop sc_lie `thenTc` \ sc_binds2 ->
returnTc (zonked_inst_tyvars, sc_binds1, sc_binds2)