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 | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr index 6dc4f2ba0a..7ded5f9b8a 100644 --- a/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr @@ -67,7 +67,10 @@ refinement_hole_fits.hs:4:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] (and originally defined in ‘GHC.Base’)) ($) (_ :: [Integer] -> Integer) where ($) :: forall a b. (a -> b) -> a -> b - with ($) @GHC.Types.LiftedRep @[Integer] @Integer + with ($) @GHC.Types.LiftedRep + @GHC.Types.LiftedRep + @[Integer] + @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 (and originally defined in ‘GHC.Base’)) ($!) (_ :: [Integer] -> Integer) @@ -168,7 +171,10 @@ refinement_hole_fits.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] (and originally defined in ‘GHC.Base’)) ($) (_ :: Integer -> [Integer] -> Integer) where ($) :: forall a b. (a -> b) -> a -> b - with ($) @GHC.Types.LiftedRep @Integer @([Integer] -> Integer) + with ($) @GHC.Types.LiftedRep + @GHC.Types.LiftedRep + @Integer + @([Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 (and originally defined in ‘GHC.Base’)) ($!) (_ :: Integer -> [Integer] -> Integer) |