hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / refinement_hole_fits.hs
1 module RefinementSubstitutions where
2
3 f :: [Integer] -> Integer
4 f = _
5
6 g :: [Integer] -> Integer
7 g = _ 0