Print singleton consraints without parens
[ghc.git] / testsuite / tests / typecheck / should_fail / T7857.stderr
1
2 T7857.hs:8:11:
3     Could not deduce (PrintfType r0) arising from a use of ‘printf’
4     from the context: PrintfArg t
5       bound by the inferred type of g :: PrintfArg t => t -> b
6       at T7857.hs:8:1-21
7     The type variable ‘r0’ is ambiguous
8     Note: there are several potential instances:
9       instance [safe] (a ~ ()) => PrintfType (IO a)
10         -- Defined in ‘Text.Printf’
11       instance [safe] (PrintfArg a, PrintfType r) => PrintfType (a -> r)
12         -- Defined in ‘Text.Printf’
13       instance [safe] IsChar c => PrintfType [c]
14         -- Defined in ‘Text.Printf’
15     In the second argument of ‘($)’, namely ‘printf "" i’
16     In the expression: f $ printf "" i
17     In an equation for ‘g’: g i = f $ printf "" i