Commit 21eea25f authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Add an extra print to -ddump-tc-trace

parent bc53629a
......@@ -1095,7 +1095,8 @@ checkValidDataCon :: TyCon -> DataCon -> TcM ()
checkValidDataCon tc con
= setSrcSpan (srcLocSpan (getSrcLoc con)) $
addErrCtxt (dataConCtxt con) $
do { let tc_tvs = tyConTyVars tc
do { traceTc (ptext (sLit "Validity of data con") <+> ppr con)
; let tc_tvs = tyConTyVars tc
res_ty_tmpl = mkFamilyTyConApp tc (mkTyVarTys tc_tvs)
actual_res_ty = dataConOrigResTy con
; checkTc (isJust (tcMatchTy (mkVarSet tc_tvs)
......
Supports Markdown
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