Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / indexed-types / should_fail / T12522a.stderr
1
2 T12522a.hs:22:26: error:
3     • Ambiguous type variable ‘a0’ arising from a use of ‘show’
4       prevents the constraint ‘(Show a0)’ from being solved.
5       Relevant bindings include
6         n :: a0 (bound at T12522a.hs:22:15)
7         test :: Uncurried '[a0, [Char]] [Char] (bound at T12522a.hs:22:1)
8       Probable fix: use a type annotation to specify what ‘a0’ should be.
9       These potential instances exist:
10         instance Show Ordering -- Defined in ‘GHC.Show’
11         instance Show Integer -- Defined in ‘GHC.Show’
12         instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
13         ...plus 22 others
14         ...plus 11 instances involving out-of-scope types
15         (use -fprint-potential-instances to see them all)
16     • In the first argument of ‘(++)’, namely ‘show n’
17       In the second argument of ‘($)’, namely ‘show n ++ s’
18       In the expression: I $ show n ++ s