Commit 829a5415 authored by's avatar
Browse files

Add a trace message

parent b1ce3689
......@@ -65,7 +65,8 @@ tcMatchesFun fun_name inf matches exp_ty
-- sensible location. Note: we have to do this odd
-- ann-grabbing, because we don't always have annotations in
-- hand when we call tcMatchesFun...
checkArgs fun_name matches
traceTc (text "tcMatchesFun" <+> (ppr fun_name $$ ppr exp_ty))
; checkArgs fun_name matches
-- ToDo: Don't use "expected" stuff if there ain't a type signature
-- because inconsistency between branches
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