Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Bring tcTyConScopedTyVars into scope in tcClassDecl2

!5638 · created Apr 29, 2021 by Ryan Scott
ScopedTypeVariables StandaloneKindSignatures
- Closed
- 4
- Approved
updated May 01, 2021
Document the interaction between ScopedTypeVariables and StandaloneKindSignatures

!5240 · created Mar 12, 2021 by Ryan Scott
ScopedTypeVariables StandaloneKindSignatures documentation
- Closed
- 5
updated Mar 15, 2021
Make the forall-or-nothing rule only apply to invisible foralls (#18660)

!3995 · created Sep 07, 2020 by Ryan Scott 9.2.1
StandaloneKindSignatures visible dependent quantification
- Closed
- 7
- Approved
updated Sep 08, 2020
Add regression tests for #16244, #16245, #16758

!3200 · created May 02, 2020 by Ryan Scott
StandaloneKindSignatures
- Closed
- 4
updated May 05, 2020
Print name prefixly in the Outputable instance for StandaloneKindSig

!2130 · created Nov 10, 2019 by Ryan Scott 8.10.1
StandaloneKindSignatures TemplateHaskell
- Closed
- 7
- Approved
updated Jan 07, 2020
Do not rely on CUSKs in 'base'

!1838 · created Sep 28, 2019 by Vladislav Zavialov 8.10.1
CUSKs StandaloneKindSignatures
- Closed
- 8
- Approved
updated Oct 01, 2019