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:
91ab690
)
Remove pprTrace
author
simonpj@microsoft.com
<unknown>
Wed, 15 Sep 2010 22:59:35 +0000
(22:59 +0000)
committer
simonpj@microsoft.com
<unknown>
Wed, 15 Sep 2010 22:59:35 +0000
(22:59 +0000)
compiler/typecheck/TcInteract.lhs
patch
|
blob
|
history
diff --git
a/compiler/typecheck/TcInteract.lhs
b/compiler/typecheck/TcInteract.lhs
index
6f48a4f
..
9f89f64
100644
(file)
--- a/
compiler/typecheck/TcInteract.lhs
+++ b/
compiler/typecheck/TcInteract.lhs
@@
-1618,10
+1618,9
@@
NB: The desugarer needs be more clever to deal with equalities
newSCWorkFromFlavored :: EvVar -> CtFlavor -> Class -> [Xi]
-> TcS WorkList
newSCWorkFromFlavored ev flavor cls xis
newSCWorkFromFlavored :: EvVar -> CtFlavor -> Class -> [Xi]
-> TcS WorkList
newSCWorkFromFlavored ev flavor cls xis
- | Given loc <- flavor -- The NoScSkol says "don't add superclasses"
- , NoScSkol <- ctLocOrigin loc
- = pprTrace "Oh dear! Superclasses of self" (pprEvVarWithType ev) $
- return emptyWorkList
+ | Given loc <- flavor -- The NoScSkol says "don't add superclasses"
+ , NoScSkol <- ctLocOrigin loc -- Very important!
+ = return emptyWorkList
| otherwise
= do { let (tyvars, sc_theta, _, _) = classBigSig cls
| otherwise
= do { let (tyvars, sc_theta, _, _) = classBigSig cls