diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2023-01-09 21:45:15 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-11 00:58:03 -0500 |
| commit | bc1257750f507218059ac6bad05d9c96a8b88d67 (patch) | |
| tree | 25890b5ab5dc528f0907816d1d0e1a4895011378 /testsuite/tests/typecheck/should_fail | |
| parent | 5f17e21af6368ec0e615af7de714a3194181f46a (diff) | |
| download | haskell-bc1257750f507218059ac6bad05d9c96a8b88d67.tar.gz | |
Introduce the TypeAbstractions language flag
GHC Proposals #448 "Modern scoped type variables"
and #425 "Invisible binders in type declarations"
introduce a new language extension flag: TypeAbstractions.
Part of the functionality guarded by this flag has already been
implemented, namely type abstractions in constructor patterns, but it
was guarded by a combination of TypeApplications and ScopedTypeVariables
instead of a dedicated language extension flag.
This patch does the following:
* introduces a new language extension flag TypeAbstractions
* requires TypeAbstractions for @a-syntax in constructor patterns
instead of TypeApplications and ScopedTypeVariables
* creates a User's Guide page for TypeAbstractions and
moves the "Type Applications in Patterns" section there
To avoid a breaking change, the new flag is implied by
ScopedTypeVariables and is retroactively added to GHC2021.
Metric Decrease:
MultiLayerModulesTH_OneShot
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T19109.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T19109.stderr b/testsuite/tests/typecheck/should_fail/T19109.stderr index 83f60680da..de40685f67 100644 --- a/testsuite/tests/typecheck/should_fail/T19109.stderr +++ b/testsuite/tests/typecheck/should_fail/T19109.stderr @@ -1,4 +1,4 @@ T19109.hs:6:4: error: Illegal visible type application in a pattern: ‘@Int’ - Both ScopedTypeVariables and TypeApplications are required to use this feature + Perhaps you intended to use TypeAbstractions |