775111376171800f5c0211ce9be6ade5633000dd
[ghc.git] / testsuite / tests / typecheck / should_compile / subsumption_sort_hole_fits.stderr
1
2 subsumption_sort_hole_fits.hs:2:5: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole: _ :: [Char] -> [String]
4     • In the expression: _
5       In the expression: _ "hello, world"
6       In an equation for ‘f’: f = _ "hello, world"
7     • Relevant bindings include
8         f :: [String] (bound at subsumption_sort_hole_fits.hs:2:1)
9       Valid hole fits include
10         lines :: String -> [String]
11           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
12            (and originally defined in ‘base-4.12.0.0:Data.OldList’))
13         words :: String -> [String]
14           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
15            (and originally defined in ‘base-4.12.0.0:Data.OldList’))
16         read :: forall a. Read a => String -> a
17           with read @[String]
18           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
19            (and originally defined in ‘Text.Read’))
20         repeat :: forall a. a -> [a]
21           with repeat @String
22           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
23            (and originally defined in ‘GHC.List’))
24         mempty :: forall a. Monoid a => a
25           with mempty @([Char] -> [String])
26           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
27            (and originally defined in ‘GHC.Base’))
28         return :: forall (m :: * -> *) a. Monad m => a -> m a
29           with return @[] @String
30           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
31            (and originally defined in ‘GHC.Base’))
32         pure :: forall (f :: * -> *) a. Applicative f => a -> f a
33           with pure @[] @String
34           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
35            (and originally defined in ‘GHC.Base’))
36         fail :: forall (m :: * -> *) a. Monad m => String -> m a
37           with fail @[] @String
38           (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
39            (and originally defined in ‘GHC.Base’))