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:
9670d66
)
wibble
author
Pepe Iborra
<mnislaih@gmail.com>
Thu, 24 May 2007 11:46:21 +0000
(11:46 +0000)
committer
Pepe Iborra
<mnislaih@gmail.com>
Thu, 24 May 2007 11:46:21 +0000
(11:46 +0000)
compiler/ghci/RtClosureInspect.hs
patch
|
blob
|
history
diff --git
a/compiler/ghci/RtClosureInspect.hs
b/compiler/ghci/RtClosureInspect.hs
index
bc6cc47
..
cb13d45
100644
(file)
--- a/
compiler/ghci/RtClosureInspect.hs
+++ b/
compiler/ghci/RtClosureInspect.hs
@@
-569,8
+569,8
@@
cvReconstructType hsc_env force mb_ty hval = runTR hsc_env $ do
(dataConRepArgTys dc)
-- It is vital for newtype reconstruction that the unification step
-- is done right here, _before_ the subterms are RTTI reconstructed
- let myType = mkFunTys subTtypes tv
- signatureType <- instScheme(dataConRepType dc)
+ let myType = mkFunTys subTtypes tv
+ (signatureType,_) <- instScheme(dataConRepType dc)
addConstraint myType signatureType
return $ map (\(I# i#,t) -> case ptrs clos of
(Array _ _ ptrs#) -> case indexArray# ptrs# i# of