Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
[ghc.git] / testsuite / tests / typecheck / should_compile / holes2.stderr
1
2 holes2.hs:3:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
3     • Ambiguous type variable ‘a0’ arising from a use of ‘show’
4       prevents the constraint ‘(Show a0)’ from being solved.
5       Probable fix: use a type annotation to specify what ‘a0’ should be.
6       These potential instances exist:
7         instance Show Ordering -- Defined in ‘GHC.Show’
8         instance Show Integer -- Defined in ‘GHC.Show’
9         instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
10         ...plus 22 others
11         ...plus five instances involving out-of-scope types
12         (use -fprint-potential-instances to see them all)
13     • In the expression: show _
14       In an equation for ‘f’: f = show _
15
16 holes2.hs:3:10: warning: [-Wtyped-holes (in -Wdefault)]
17     • Found hole: _ :: a0
18       Where: ‘a0’ is an ambiguous type variable
19     • In the first argument of ‘show’, namely ‘_’
20       In the expression: show _
21       In an equation for ‘f’: f = show _
22     • Relevant bindings include f :: String (bound at holes2.hs:3:1)