Commit 8c9d0ce4 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Wibble to implicit-parameter error message

parent 20632d37
......@@ -1734,7 +1734,7 @@ pprSkolInfo (SigSkol (FunSigCtxt f) ty)
2 (pprPrefixOcc f <+> dcolon <+> ppr ty)
pprSkolInfo (SigSkol cx ty) = hang (pprUserTypeCtxt cx <> colon)
2 (ppr ty)
pprSkolInfo (IPSkol ips) = ptext (sLit "the implicit-parameter bindings for")
pprSkolInfo (IPSkol ips) = ptext (sLit "the implicit-parameter binding") <> plural ips <+> ptext (sLit "for")
<+> pprWithCommas ppr ips
pprSkolInfo (ClsSkol cls) = ptext (sLit "the class declaration for") <+> quotes (ppr cls)
pprSkolInfo InstSkol = ptext (sLit "the instance declaration")
......
T5246.hs:11:10:
Could not deduce (?x::Int) arising from a use of ‘foo’
from the context (?x::[Char])
bound by the implicit-parameter bindings for ?x
at T5246.hs:(10,7)-(11,12)
In the expression: foo
In the expression: let ?x = "hello" in foo
In an equation for ‘bar’: bar = let ?x = "hello" in foo
T5246.hs:11:10:
Couldn't match type ‘[Char]’ with ‘Int’
arising from a functional dependency between constraints:
‘?x::Int’ arising from a use of ‘foo’ at T5246.hs:11:10-12
‘?x::[Char]’
arising from the implicit-parameter binding for ?x
at T5246.hs:(10,7)-(11,12)
In the expression: foo
In the expression: let ?x = "hello" in foo
In an equation for ‘bar’: bar = let ?x = "hello" in foo
......@@ -3,7 +3,7 @@ T7525.hs:5:30:
Could not deduce (?b::Bool)
arising from a use of implicit parameter ‘?b’
from the context (?a::Bool)
bound by the implicit-parameter bindings for ?a at T7525.hs:5:7-31
bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31
In the second argument of ‘(&&)’, namely ‘?b’
In the expression: ?a && ?b
In the expression: let ?a = True in ?a && ?b
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