Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / typecheck / should_compile / holes2.stderr
1
2 holes2.hs:3:5: warning:
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 Module -- Defined in ‘GHC.Show’
8       instance Show Ordering -- Defined in ‘GHC.Show’
9       instance Show TrName -- Defined in ‘GHC.Show’
10       ...plus 25 others
11       (use -fprint-potential-instances to see them all)
12     In the expression: show _
13     In an equation for ‘f’: f = show _
14
15 holes2.hs:3:10: warning:
16     Found hole: _ :: a0
17     Where: ‘a0’ is an ambiguous type variable
18     Relevant bindings include f :: String (bound at holes2.hs:3:1)
19     In the first argument of ‘show’, namely ‘_’
20     In the expression: show _
21     In an equation for ‘f’: f = show _