X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSplice.lhs;h=73d9b5a5559f5fe791c31e72dc87f879efaba6f5;hb=202ac08f3e2afde0620e889cc81a95b2fd0ad9e1;hp=d59b0f885296c1b7bf666dcda4456c7ef7c6b2d4;hpb=3e83dfb21b2f2220dce97427fff5c19459ae68d1;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcSplice.lhs b/compiler/typecheck/TcSplice.lhs index d59b0f8..73d9b5a 100644 --- a/compiler/typecheck/TcSplice.lhs +++ b/compiler/typecheck/TcSplice.lhs @@ -567,7 +567,7 @@ reifyThing (AGlobal (ADataCon dc)) ; fix <- reifyFixity name ; return (TH.DataConI (reifyName name) ty (reifyName (dataConTyCon dc)) fix) } -reifyThing (ATcId {tct_id = id, tct_ty = ty}) +reifyThing (ATcId {tct_id = id, tct_type = ty}) = do { ty1 <- zonkTcType ty -- Make use of all the info we have, even -- though it may be incomplete ; ty2 <- reifyType ty1