Add custom exception for fixIO
[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 b, Show a) => 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 62 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 substitutions include
25         pi :: forall a. Floating a => a
26           (imported from ‘Prelude’ at holes2.hs:1:8-13
27            (and originally defined in ‘GHC.Float’))
28         undefined :: forall (a :: TYPE r).
29                      GHC.Stack.Types.HasCallStack =>
30                      a
31           (imported from ‘Prelude’ at holes2.hs:1:8-13
32            (and originally defined in ‘GHC.Err’))