diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-05-25 16:11:10 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-06-13 07:17:43 -0400 |
| commit | a948040ba1048e2f204677b70725bab3f07f054a (patch) | |
| tree | f7da8f7883c0452d193f58beed20ed200b0a7676 /testsuite/tests/parser/should_compile/T15323.stderr | |
| parent | 8bba1c26193e704d2d6bb2be9a2fac668b0ea54c (diff) | |
| download | haskell-wip/T18235.tar.gz | |
Use HsForAllTelescope to avoid inferred, visible forallswip/T18235
Currently, `HsForAllTy` permits the combination of `ForallVis` and
`Inferred`, but you can't actually typecheck code that uses it
(e.g., `forall {a} ->`). This patch refactors `HsForAllTy` to use a
new `HsForAllTelescope` data type that makes a type-level distinction
between visible and invisible `forall`s such that visible `forall`s
do not track `Specificity`. That part of the patch is actually quite
small; the rest is simply changing consumers of `HsType` to
accommodate this new type.
Fixes #18235. Bumps the `haddock` submodule.
Diffstat (limited to 'testsuite/tests/parser/should_compile/T15323.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_compile/T15323.stderr | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/testsuite/tests/parser/should_compile/T15323.stderr b/testsuite/tests/parser/should_compile/T15323.stderr index c07f2d6a43..fd48dbf203 100644 --- a/testsuite/tests/parser/should_compile/T15323.stderr +++ b/testsuite/tests/parser/should_compile/T15323.stderr @@ -44,14 +44,15 @@ ({ T15323.hs:6:20-54 } (HsForAllTy (NoExtField) - (ForallInvis) - [({ T15323.hs:6:27 } - (UserTyVar - (NoExtField) - (SpecifiedSpec) - ({ T15323.hs:6:27 } - (Unqual - {OccName: v}))))] + (HsForAllInvis + (NoExtField) + [({ T15323.hs:6:27 } + (UserTyVar + (NoExtField) + (SpecifiedSpec) + ({ T15323.hs:6:27 } + (Unqual + {OccName: v}))))]) ({ T15323.hs:6:31-54 } (HsQualTy (NoExtField) |