Commit cc6f35b1 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Improve error message (push to 6.6 branch)

parent a7ba22ff
......@@ -1111,7 +1111,8 @@ checkValidInstance tyvars theta clas inst_tys
(instTypeErr (pprClassPred clas inst_tys) msg)
}
where
msg = parens (ptext SLIT("the Coverage Condition fails for one of the functional dependencies"))
msg = parens (vcat [ptext SLIT("the Coverage Condition fails for one of the functional dependencies;"),
undecidableMsg])
\end{code}
Termination test: each assertion in the context satisfies
......
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