diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr index 9e97fb51ff..9ed1615215 100644 --- a/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr @@ -1,8 +1,7 @@ refinement_hole_fits.hs:4:5: warning: [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: [Integer] -> Integer - • In the expression: _ - In an equation for ‘f’: f = _ + • In an equation for ‘f’: f = _ • Relevant bindings include f :: [Integer] -> Integer (bound at refinement_hole_fits.hs:4:1) Valid hole fits include @@ -114,8 +113,7 @@ refinement_hole_fits.hs:4:5: warning: [-Wtyped-holes (in -Wdefault)] refinement_hole_fits.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Integer -> [Integer] -> Integer - • In the expression: _ - In the expression: _ 0 + • In the expression: _ 0 In an equation for ‘g’: g = _ 0 • Relevant bindings include g :: [Integer] -> Integer (bound at refinement_hole_fits.hs:7:1) |