X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fghci%2FRtClosureInspect.hs;h=cb13d454e604fd6f148b05a435c46672b331569c;hb=bf64104355b284aa7513ba0ff160a2f0df942ea9;hp=bc6cc4724bab6e654b73133f6fd923689fb43e4c;hpb=ece94e430901c3480e842dcdbbcbef2f1bc070f7;p=ghc-hetmet.git

diff --git a/compiler/ghci/RtClosureInspect.hs b/compiler/ghci/RtClosureInspect.hs
index bc6cc47..cb13d45 100644
--- 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