diff options
| author | mangoiv <mail@mangoiv.com> | 2023-03-30 13:08:43 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-04-01 04:20:01 -0400 |
| commit | 62d25071791b68fa63a2bb007fd1ac565795a9c5 (patch) | |
| tree | 5a38d4684b5b6c807e42df2119600c5731aeda2c /testsuite/tests/typecheck/should_fail | |
| parent | 0077cb225bde18ee6c7ff49d6486eb20fc6c011a (diff) | |
| download | haskell-62d25071791b68fa63a2bb007fd1ac565795a9c5.tar.gz | |
[feat] make ($) representation polymorphic
- this change was approved by the CLC in [1] following a CLC proposal [2]
- make ($) representation polymorphic (adjust the type signature)
- change ($) implementation to allow additional polymorphism
- adjust the haddock of ($) to reflect these changes
- add additional documentation to document these changes
- add changelog entry
- adjust tests (move now succeeding tests and adjust stdout of some
tests)
[1] https://github.com/haskell/core-libraries-committee/issues/132#issuecomment-1487456854
[2] https://github.com/haskell/core-libraries-committee/issues/132
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
4 files changed, 1 insertions, 15 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T14884.stderr b/testsuite/tests/typecheck/should_fail/T14884.stderr index 5ce38cdecb..1451df6d79 100644 --- a/testsuite/tests/typecheck/should_fail/T14884.stderr +++ b/testsuite/tests/typecheck/should_fail/T14884.stderr @@ -23,7 +23,7 @@ T14884.hs:4:5: error: [GHC-88464] (imported from ‘Prelude’ at T14884.hs:1:8-13 (and originally defined in ‘GHC.Base’)) ($) :: forall a b. (a -> b) -> a -> b - with ($) @GHC.Types.LiftedRep @String @(IO ()) + with ($) @GHC.Types.LiftedRep @GHC.Types.LiftedRep @String @(IO ()) (imported from ‘Prelude’ at T14884.hs:1:8-13 (and originally defined in ‘GHC.Base’)) ($!) :: forall a b. (a -> b) -> a -> b diff --git a/testsuite/tests/typecheck/should_fail/T5570.hs b/testsuite/tests/typecheck/should_fail/T5570.hs deleted file mode 100644 index 3dcc4d8be4..0000000000 --- a/testsuite/tests/typecheck/should_fail/T5570.hs +++ /dev/null @@ -1,7 +0,0 @@ -{-# LANGUAGE MagicHash #-} -module T5570 where - -import GHC.Exts - -main :: IO () -main = print $ D# $ 3.0## diff --git a/testsuite/tests/typecheck/should_fail/T5570.stderr b/testsuite/tests/typecheck/should_fail/T5570.stderr deleted file mode 100644 index bce53fe394..0000000000 --- a/testsuite/tests/typecheck/should_fail/T5570.stderr +++ /dev/null @@ -1,6 +0,0 @@ - -T5570.hs:7:16: error: [GHC-83865] - • Expected a lifted type, but ‘Double#’ is a DoubleRep type - • In the first argument of ‘($)’, namely ‘D#’ - In the second argument of ‘($)’, namely ‘D# $ 3.0##’ - In the expression: print $ D# $ 3.0## diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 2afc480451..07bfcd8436 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -265,7 +265,6 @@ test('AssocTyDef07', normal, compile_fail, ['']) test('AssocTyDef08', normal, compile_fail, ['']) test('AssocTyDef09', normal, compile_fail, ['']) test('T3592', normal, compile_fail, ['']) -test('T5570', normal, compile_fail, ['']) test('T5691', normal, compile_fail, ['']) test('T5689', normal, compile_fail, ['']) test('T5684', normal, compile_fail, ['']) |