Commit 72eec6d6 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-08-24 12:47:04 by simonpj]

Improve error message for mis-matched contexts
parent b55b1f59
......@@ -780,9 +780,10 @@ valSpecSigCtxt v ty
sigContextsErr = ptext SLIT("Mismatched contexts")
sigContextsCtxt s1 s2
= hang (hsep [ptext SLIT("When matching the contexts of the signatures for"),
quotes (ppr s1), ptext SLIT("and"), quotes (ppr s2)])
4 (ptext SLIT("(the signature contexts in a mutually recursive group should all be identical)"))
= vcat [ptext SLIT("When matching the contexts of the signatures for"),
nest 2 (vcat [ppr s1 <+> dcolon <+> ppr (idType s1),
ppr s2 <+> dcolon <+> ppr (idType s2)]),
ptext SLIT("The signature contexts in a mutually recursive group should all be identical")]
-----------------------------------------------
unliftedBindErr flavour mbind
......
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