Skip to content
Snippets Groups Projects
Commit 51c51fcc authored by Ryan Scott's avatar Ryan Scott
Browse files

Use HsForAllTelescope to avoid inferred, visible foralls 

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.
parent cf772f19
No related branches found
No related tags found
No related merge requests found
Pipeline #19911 failed
Stage: lint
    Stage: quick-build
      Stage: build
        Stage: full-build
          Stage: cleanup
            Stage: packaging
              Stage: testing
                Hide whitespace changes
                Inline Side-by-side
                Showing
                with 318 additions and 206 deletions
                0% or .
                You are about to add 0 people to the discussion. Proceed with caution.
                Finish editing this message first!
                Please register or to comment