Commit bf641043 authored by mnislaih's avatar mnislaih
Browse files

wibble

parent 9670d664
...@@ -569,8 +569,8 @@ cvReconstructType hsc_env force mb_ty hval = runTR hsc_env $ do ...@@ -569,8 +569,8 @@ cvReconstructType hsc_env force mb_ty hval = runTR hsc_env $ do
(dataConRepArgTys dc) (dataConRepArgTys dc)
-- It is vital for newtype reconstruction that the unification step -- It is vital for newtype reconstruction that the unification step
-- is done right here, _before_ the subterms are RTTI reconstructed -- is done right here, _before_ the subterms are RTTI reconstructed
let myType = mkFunTys subTtypes tv let myType = mkFunTys subTtypes tv
signatureType <- instScheme(dataConRepType dc) (signatureType,_) <- instScheme(dataConRepType dc)
addConstraint myType signatureType addConstraint myType signatureType
return $ map (\(I# i#,t) -> case ptrs clos of return $ map (\(I# i#,t) -> case ptrs clos of
(Array _ _ ptrs#) -> case indexArray# ptrs# i# of (Array _ _ ptrs#) -> case indexArray# ptrs# i# of
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment