Commit 39068cf4 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-04-30 10:48:57 by simonpj]

Improve error message
parent c481ebb0
......@@ -473,8 +473,7 @@ generalise binder_names mbind tau_tvs lie_req sigs
tysig_names = [name | (TySigInfo name _ _ _ _ _ _ _) <- sigs]
doc | null sigs = ptext SLIT("banding(s) for") <+> pprBinders binder_names
| otherwise = ptext SLIT("type signature(s) for") <+> pprBinders binder_names
doc = ptext SLIT("type signature(s) for") <+> pprBinders binder_names
-----------------------
-- CHECK THAT ALL THE SIGNATURE CONTEXTS ARE UNIFIABLE
......@@ -827,5 +826,5 @@ restrictedBindCtxtErr binder_names
ptext SLIT("that falls under the monomorphism restriction")])
-- Used in error messages
pprBinders bndrs = braces (pprWithCommas ppr bndrs)
pprBinders bndrs = pprWithCommas ppr bndrs
\end{code}
......@@ -729,7 +729,8 @@ check_tyvars dflags clas inst_taus
| otherwise = [the_err]
where
the_err = instTypeErr clas inst_taus msg
msg = ptext SLIT("There must be at least one non-type-variable in the instance head")
msg = ptext SLIT("There must be at least one non-type-variable in the instance head")
$$ ptext SLIT("Use -fallow-undecidable-instances to lift this restriction")
check_fundeps dflags theta clas inst_taus
| checkInstFDs theta clas inst_taus = []
......
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