projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Performance bug fixes
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcSMonad.lhs
diff --git
a/compiler/typecheck/TcSMonad.lhs
b/compiler/typecheck/TcSMonad.lhs
index
73a7229
..
4965a93
100644
(file)
--- a/
compiler/typecheck/TcSMonad.lhs
+++ b/
compiler/typecheck/TcSMonad.lhs
@@
-31,7
+31,7
@@
module TcSMonad (
getInstEnvs, getFamInstEnvs, -- Getting the environments
getTopEnv, getGblEnv, getTcEvBinds, getUntouchablesTcS,
getInstEnvs, getFamInstEnvs, -- Getting the environments
getTopEnv, getGblEnv, getTcEvBinds, getUntouchablesTcS,
- getTcEvBindsBag, getTcSContext,
+ getTcEvBindsBag, getTcSContext, getTcSTyBinds,
newFlattenSkolemTy, -- Flatten skolems
newFlattenSkolemTy, -- Flatten skolems
@@
-64,7
+64,6
@@
module TcSMonad (
import HscTypes
import BasicTypes
import Type
import HscTypes
import BasicTypes
import Type
-import TcRnTypes
import Inst
import InstEnv
import Inst
import InstEnv
@@
-96,6
+95,8
@@
import HsBinds -- for TcEvBinds stuff
import Id
import FunDeps
import Id
import FunDeps
+import TcRnTypes
+
import Control.Monad
import Data.IORef
\end{code}
import Control.Monad
import Data.IORef
\end{code}
@@
-282,7
+283,8
@@
isGiven (Given {}) = True
isGiven _ = False
isDerived :: CtFlavor -> Bool
isGiven _ = False
isDerived :: CtFlavor -> Bool
-isDerived ctid = not $ isGiven ctid || isWanted ctid
+isDerived (Derived {}) = True
+isDerived _ = False
canRewrite :: CtFlavor -> CtFlavor -> Bool
-- canRewrite ctid1 ctid2
canRewrite :: CtFlavor -> CtFlavor -> Bool
-- canRewrite ctid1 ctid2