hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / local_hole_fits.stderr
1
2 local_hole_fits.hs:4:15: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole: _ :: a
4       Where: ‘a’ is a rigid type variable bound by
5                the type signature for:
6                  head :: forall a. [a] -> a
7                at local_hole_fits.hs:3:1-16
8     • In the expression: _
9       In an equation for ‘head’: head (x : xs) = _
10     • Relevant bindings include
11         xs :: [a] (bound at local_hole_fits.hs:4:9)
12         x :: a (bound at local_hole_fits.hs:4:7)
13         head :: [a] -> a (bound at local_hole_fits.hs:4:1)
14       Valid hole fits include x :: a (bound at local_hole_fits.hs:4:7)
15
16 local_hole_fits.hs:8:11: warning: [-Wtyped-holes (in -Wdefault)]
17     • Found hole: _ :: a
18       Where: ‘a’ is a rigid type variable bound by
19                the type signature for:
20                  mshow :: forall a. Show a => a -> a
21                at local_hole_fits.hs:7:1-25
22     • In the expression: _
23       In an equation for ‘mshow’: mshow a = _
24     • Relevant bindings include
25         a :: a (bound at local_hole_fits.hs:8:7)
26         mshow :: a -> a (bound at local_hole_fits.hs:8:1)
27       Constraints include Show a (from local_hole_fits.hs:7:1-25)
28       Valid hole fits include a :: a (bound at local_hole_fits.hs:8:7)