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/dependent | |
| 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/dependent')
| -rw-r--r-- | testsuite/tests/dependent/ghci/T11549.stdout | 10 | ||||
| -rw-r--r-- | testsuite/tests/dependent/ghci/T11786.stdout | 9 |
2 files changed, 14 insertions, 5 deletions
diff --git a/testsuite/tests/dependent/ghci/T11549.stdout b/testsuite/tests/dependent/ghci/T11549.stdout index b1edea905d..8b74c72e63 100644 --- a/testsuite/tests/dependent/ghci/T11549.stdout +++ b/testsuite/tests/dependent/ghci/T11549.stdout @@ -8,8 +8,14 @@ error :: GHC.Stack.Types.HasCallStack => [Char] -> a -- Defined in ‘GHC.Err’ -fprint-explicit-runtime-reps -($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b -($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b +($) + :: forall (repa :: RuntimeRep) (repb :: RuntimeRep) + (a :: TYPE repa) (b :: TYPE repb). + (a -> b) -> a -> b +($) :: + forall (repa :: RuntimeRep) (repb :: RuntimeRep) (a :: TYPE repa) + (b :: TYPE repb). + (a -> b) -> a -> b -- Defined in ‘GHC.Base’ infixr 0 $ TYPE :: RuntimeRep -> * diff --git a/testsuite/tests/dependent/ghci/T11786.stdout b/testsuite/tests/dependent/ghci/T11786.stdout index b43290bd2a..c8281393e5 100644 --- a/testsuite/tests/dependent/ghci/T11786.stdout +++ b/testsuite/tests/dependent/ghci/T11786.stdout @@ -3,13 +3,16 @@ ($) :: (a -> b) -> a -> b -- Defined in ‘GHC.Base’ infixr 0 $ ($) - :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). + :: forall (repa :: GHC.Types.RuntimeRep) + (repb :: GHC.Types.RuntimeRep) (a :: TYPE repa) (b :: TYPE repb). (a -> b) -> a -> b (($)) - :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). + :: forall (repa :: GHC.Types.RuntimeRep) + (repb :: GHC.Types.RuntimeRep) (a :: TYPE repa) (b :: TYPE repb). (a -> b) -> a -> b ($) :: - forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). + forall (repa :: GHC.Types.RuntimeRep) + (repb :: GHC.Types.RuntimeRep) (a :: TYPE repa) (b :: TYPE repb). (a -> b) -> a -> b -- Defined in ‘GHC.Base’ infixr 0 $ |