Add GHCi help message for :def! and :: commands
[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 a, Show b) => Show (Either a b)
8           -- Defined in ‘Data.Either’
9         instance Show Ordering -- Defined in ‘GHC.Show’
10         instance Show Integer -- Defined in ‘GHC.Show’
11         ...plus 23 others
12         ...plus 70 instances involving out-of-scope types
13         (use -fprint-potential-instances to see them all)
14     • In the expression: show _
15       In an equation for ‘f’: f = show _
16
17 holes2.hs:3:10: warning: [-Wtyped-holes (in -Wdefault)]
18     • Found hole: _ :: a0
19       Where: ‘a0’ is an ambiguous type variable
20     • In the first argument of ‘show’, namely ‘_’
21       In the expression: show _
22       In an equation for ‘f’: f = show _
23     • Relevant bindings include f :: String (bound at holes2.hs:3:1)
24       Valid hole fits include
25         f :: String
26         otherwise :: Bool
27         False :: Bool
28         True :: Bool
29         LT :: Ordering
30         EQ :: Ordering
31         GT :: Ordering
32         () :: ()
33         pi :: forall a. Floating a => a