8adae1826235cb003fb515171acd3c97d94aa7b2
[ghc.git] / testsuite / tests / typecheck / should_fail / T14884.stderr
1
2 T14884.hs:4:5: error:
3     • Found hole: _ :: (a0 -> IO ()) -> [Char] -> IO ()
4       Where: ‘a0’ is an ambiguous type variable
5     • In the expression: _
6       In the expression: _ print "abc"
7       In an equation for ‘x’: x = _ print "abc"
8     • Relevant bindings include x :: IO () (bound at T14884.hs:4:1)
9       Valid hole fits include
10         mapM_ :: forall (t :: * -> *) (m :: * -> *) a b.
11                  (Foldable t, Monad m) =>
12                  (a -> m b) -> t a -> m ()
13           with mapM_ @[] @IO @Char @()
14           (imported from ‘Prelude’ at T14884.hs:1:8-13
15            (and originally defined in ‘Data.Foldable’))
16         foldMap :: forall (t :: * -> *) m a.
17                    (Foldable t, Monoid m) =>
18                    (a -> m) -> t a -> m
19           with foldMap @[] @(IO ()) @Char
20           (imported from ‘Prelude’ at T14884.hs:1:8-13
21            (and originally defined in ‘Data.Foldable’))
22         ($) :: forall a b. (a -> b) -> a -> b
23           with ($) @'GHC.Types.LiftedRep @[Char] @(IO ())
24           (imported from ‘Prelude’ at T14884.hs:1:8-13
25            (and originally defined in ‘GHC.Base’))
26         ($!) :: forall a b. (a -> b) -> a -> b
27           with ($!) @'GHC.Types.LiftedRep @[Char] @(IO ())
28           (imported from ‘Prelude’ at T14884.hs:1:8-13
29            (and originally defined in ‘GHC.Base’))
30         id :: forall a. a -> a
31           with id @([Char] -> IO ())
32           (imported from ‘Prelude’ at T14884.hs:1:8-13
33            (and originally defined in ‘GHC.Base’))
34
35 T14884.hs:4:7: error:
36     • Ambiguous type variable ‘a0’ arising from a use of ‘print’
37       prevents the constraint ‘(Show a0)’ from being solved.
38       Probable fix: use a type annotation to specify what ‘a0’ should be.
39       These potential instances exist:
40         instance (Show a, Show b) => Show (Either a b)
41           -- Defined in ‘Data.Either’
42         instance Show Ordering -- Defined in ‘GHC.Show’
43         instance Show Integer -- Defined in ‘GHC.Show’
44         ...plus 23 others
45         ...plus 65 instances involving out-of-scope types
46         (use -fprint-potential-instances to see them all)
47     • In the first argument of ‘_’, namely ‘print’
48       In the expression: _ print "abc"
49       In an equation for ‘x’: x = _ print "abc"