diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2023-05-17 13:44:23 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2023-05-17 16:30:54 -0400 |
| commit | 0190e9fe6f6f5989fbd016881388c20a7fde3bcb (patch) | |
| tree | 34701dd8040defeb0907558c55843f066f0ba45d /testsuite/tests/showIface/HaddockOpts.stdout | |
| parent | 2972fd66f91cb51426a1df86b8166a067015e231 (diff) | |
| download | haskell-0190e9fe6f6f5989fbd016881388c20a7fde3bcb.tar.gz | |
Extension shuffling (#23291)wip/sand-witch/modern-STV-extension-shuffling
Where introduced 4 new extensions:
- PatternSignatures
- ExtendedForAllScope
- MethodTypeVariables
- ImplicitForAll
Tasks of ScopedTypeVariables extension were distributed between
PatternSignatures, ExtendedForAllScope and MethodTypeVariables according
to the proposal. Now ScopedTypeVaribles only implies these three exntesions.
Extension ImplicitForAll saves current behavior. NoImplicitForAll
disables implicit bounding of type variables in many contexts.
Was introduced one new warning option: -Wpattern-signature-binds
It warns when pattern signature binds into scope new type variable. For
example:
f (a :: t) = ...
Diffstat (limited to 'testsuite/tests/showIface/HaddockOpts.stdout')
| -rw-r--r-- | testsuite/tests/showIface/HaddockOpts.stdout | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/showIface/HaddockOpts.stdout b/testsuite/tests/showIface/HaddockOpts.stdout index 8af1142afe..3feab090c5 100644 --- a/testsuite/tests/showIface/HaddockOpts.stdout +++ b/testsuite/tests/showIface/HaddockOpts.stdout @@ -59,5 +59,9 @@ docs: StandaloneKindSignatures FieldSelectors TypeAbstractions + PatternSignatures + ExtendedForAllScope + MethodTypeVariables + ImplicitForAll extensible fields: |