Fix compiler crash caused by implicit RHS quantification in type synonyms (#24470) (7ea971d3) · Commits · Reinier Maas / GHC · GitLab

Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

GHC
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Requirements
- Terraform modules

Snippets Groups Projects

7ea971d3

Commit 7ea971d3 authored 1 year ago by Andrei Borzenkov Committed by Marge Bot 1 year ago

Downloads
- Patches
- Plain Diff

Fix compiler crash caused by implicit RHS quantification in type synonyms (#24470)

parent 1a5f53c6

No related branches found

No related tags found

Loading

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

compiler/GHC/Tc/Errors/Ppr.hs 16 additions, 0 deletions

compiler/GHC/Tc/Errors/Ppr.hs
compiler/GHC/Tc/Errors/Types.hs 20 additions, 0 deletions

compiler/GHC/Tc/Errors/Types.hs
compiler/GHC/Tc/Gen/HsType.hs 71 additions, 7 deletions

compiler/GHC/Tc/Gen/HsType.hs
compiler/GHC/Types/Error/Codes.hs 1 addition, 0 deletions

compiler/GHC/Types/Error/Codes.hs
testsuite/tests/typecheck/should_compile/T24470b.hs 10 additions, 0 deletions

testsuite/tests/typecheck/should_compile/T24470b.hs
testsuite/tests/typecheck/should_compile/all.T 1 addition, 0 deletions

testsuite/tests/typecheck/should_compile/all.T
testsuite/tests/typecheck/should_fail/T24470a.hs 7 additions, 0 deletions

testsuite/tests/typecheck/should_fail/T24470a.hs
testsuite/tests/typecheck/should_fail/T24470a.stderr 6 additions, 0 deletions

testsuite/tests/typecheck/should_fail/T24470a.stderr
testsuite/tests/typecheck/should_fail/all.T 2 additions, 0 deletions

testsuite/tests/typecheck/should_fail/all.T

with 134 additions and 7 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment