Commit 4c359f5a authored by Simon Peyton Jones's avatar Simon Peyton Jones

Small improvement to unsaturated-type-function error message

parent 3034dd40
......@@ -332,8 +332,10 @@ check_syn_tc_app ctxt rank ty tc tys
= mapM_ check_arg tys
| otherwise
= failWithTc (arityErr "Type synonym" (tyConName tc) tc_arity n_args)
= failWithTc (arityErr flavour (tyConName tc) tc_arity n_args)
where
flavour | isSynFamilyTyCon tc = "Type family"
| otherwise = "Type synonym"
n_args = length tys
tc_arity = tyConArity tc
check_arg | isSynFamilyTyCon tc = check_arg_type ctxt rank
......
T9433.hs:14:6:
Type synonym ‘Id’ should have 1 argument, but has been given none
Type family ‘Id’ should have 1 argument, but has been given none
In the type signature for ‘x’: x :: Map Id [Bool]
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