Built-in Natural literals in Core
[ghc.git] / testsuite / tests / typecheck / should_compile / T14273.stderr
1
2 T14273.hs:7:27: warning: [-Wdeferred-type-errors (in -Wdefault)]
3     • Could not deduce (Show a1) arising from a use of ‘show’
4       from the context: Show a
5         bound by the type signature for:
6                    pleaseShow :: forall a. Show a => Bool -> a -> Maybe String
7         at T14273.hs:5:1-49
8       The type variable ‘a1’ is ambiguous
9       These potential instances exist:
10         instance (Show a, Show b) => Show (Either a b)
11           -- Defined in ‘Data.Either’
12         instance Show Ordering -- Defined in ‘GHC.Show’
13         instance Show Integer -- Defined in ‘GHC.Show’
14         ...plus 23 others
15         ...plus 69 instances involving out-of-scope types
16         (use -fprint-potential-instances to see them all)
17     • In the first argument of ‘Just’, namely ‘(show _a)’
18       In the expression: Just (show _a)
19       In an equation for ‘pleaseShow’: pleaseShow True a = Just (show _a)
20
21 T14273.hs:7:32: warning: [-Wtyped-holes (in -Wdefault)]
22     • Found hole: _a :: a1
23       Where: ‘a1’ is an ambiguous type variable
24       Or perhaps ‘_a’ is mis-spelled, or not in scope
25     • In the first argument of ‘show’, namely ‘_a’
26       In the first argument of ‘Just’, namely ‘(show _a)’
27       In the expression: Just (show _a)
28     • Relevant bindings include
29         a :: a (bound at T14273.hs:7:17)
30         pleaseShow :: Bool -> a -> Maybe String (bound at T14273.hs:6:1)
31       Constraints include Show a (from T14273.hs:5:1-49)
32       Valid hole fits include
33         a :: a (bound at T14273.hs:7:17)
34         k :: String (bound at T14273.hs:10:1)
35         otherwise :: Bool
36           (imported from ‘Prelude’ at T14273.hs:1:8-40
37            (and originally defined in ‘GHC.Base’))
38         False :: Bool
39           (imported from ‘Prelude’ at T14273.hs:1:8-40
40            (and originally defined in ‘GHC.Types’))
41         True :: Bool
42           (imported from ‘Prelude’ at T14273.hs:1:8-40
43            (and originally defined in ‘GHC.Types’))
44         EQ :: Ordering
45           (imported from ‘Prelude’ at T14273.hs:1:8-40
46            (and originally defined in ‘GHC.Types’))
47         LT :: Ordering
48           (imported from ‘Prelude’ at T14273.hs:1:8-40
49            (and originally defined in ‘GHC.Types’))
50         GT :: Ordering
51           (imported from ‘Prelude’ at T14273.hs:1:8-40
52            (and originally defined in ‘GHC.Types’))
53         pi :: forall a. Floating a => a
54           with pi @Double
55           (imported from ‘Prelude’ at T14273.hs:1:8-40
56            (and originally defined in ‘GHC.Float’))
57
58 T14273.hs:13:10: warning: [-Wdeferred-type-errors (in -Wdefault)]
59     • Ambiguous type variable ‘a0’ arising from a use of ‘show’
60       prevents the constraint ‘(Show a0)’ from being solved.
61       Probable fix: use a type annotation to specify what ‘a0’ should be.
62       These potential instances exist:
63         instance (Show a, Show b) => Show (Either a b)
64           -- Defined in ‘Data.Either’
65         instance Show Ordering -- Defined in ‘GHC.Show’
66         instance Show Integer -- Defined in ‘GHC.Show’
67         ...plus 23 others
68         ...plus 69 instances involving out-of-scope types
69         (use -fprint-potential-instances to see them all)
70     • In the expression: show (_h ++ [])
71       In an equation for ‘foo’: foo xs = show (_h ++ [])
72
73 T14273.hs:13:16: warning: [-Wtyped-holes (in -Wdefault)]
74     • Found hole: _h :: [a0]
75       Where: ‘a0’ is an ambiguous type variable
76       Or perhaps ‘_h’ is mis-spelled, or not in scope
77     • In the first argument of ‘(++)’, namely ‘_h’
78       In the first argument of ‘show’, namely ‘(_h ++ [])’
79       In the expression: show (_h ++ [])
80     • Relevant bindings include
81         xs :: [a] (bound at T14273.hs:13:5)
82         foo :: [a] -> String (bound at T14273.hs:13:1)
83       Valid hole fits include k :: String (defined at T14273.hs:10:1)