Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T7857.stderr
1
2 T7857.hs:8:11: error:
3     • Could not deduce (PrintfType a0) 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 ‘a0’ is ambiguous
8       These potential instances exist:
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