Injective type families
[ghc.git] / testsuite / tests / overloadedlists / should_fail / overloadedlistsfail01.stderr
1
2 overloadedlistsfail01.hs:5:8: error:
3     No instance for (Show a0) arising from a use of ‘print’
4     The type variable ‘a0’ is ambiguous
5     Potential instances:
6       instance [safe] Show Version -- Defined in ‘Data.Version’
7       instance Show Ordering -- Defined in ‘GHC.Show’
8       instance Show Integer -- Defined in ‘GHC.Show’
9       ...plus 23 others
10       (use -fprint-potential-instances to see them all)
11     In the expression: print [1]
12     In an equation for ‘main’: main = print [1]
13
14 overloadedlistsfail01.hs:5:14: error:
15     No instance for (IsList a0) arising from an overloaded list
16     The type variable ‘a0’ is ambiguous
17     Potential instances:
18       instance IsList Version -- Defined in ‘GHC.Exts’
19       instance IsList [a] -- Defined in ‘GHC.Exts’
20     In the first argument of ‘print’, namely ‘[1]’
21     In the expression: print [1]
22     In an equation for ‘main’: main = print [1]
23
24 overloadedlistsfail01.hs:5:15: error:
25     No instance for (Num (Item a0)) arising from the literal ‘1’
26     The type variable ‘a0’ is ambiguous
27     Potential instances:
28       instance Num Integer -- Defined in ‘GHC.Num’
29       instance Num Double -- Defined in ‘GHC.Float’
30       instance Num Float -- Defined in ‘GHC.Float’
31       ...plus two others
32       (use -fprint-potential-instances to see them all)
33     In the expression: 1
34     In the first argument of ‘print’, namely ‘[1]’
35     In the expression: print [1]