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