Merge requests · Glasgow Haskell Compiler / GHC

Reapply changes to GadtC & RecGadtC

!11200 · created Sep 05, 2023 by Bodigrim
TemplateHaskell user-facing
- Closed
- 16
- Approved
updated Nov 04, 2023
Draft: Move runQ into Quasi class

!11136 · created Aug 24, 2023 by Teo Camarasu
user-facing
updated Aug 24, 2023
Remove extension implication ScopedTypeVariables => TypeAbstractions

!11112 · created Aug 21, 2023 by sheaf
user-facing
- Merged
- 7
- Approved
updated Sep 18, 2023
Don't bundle children for non-parent Avails

!11107 · created Aug 17, 2023 by sheaf
user-facing
- Closed
- 15
updated Aug 30, 2023
Make forall a keyword (#23719)

!10997 · created Jul 29, 2023 by Vladislav Zavialov
user-facing
- Closed
- 28
- Approved
updated Dec 11, 2023
Desugar non-recursive lets to non-recursive lets (take 2) 1 of 1 checklist item completed

!10966 · created Jul 25, 2023 by Arnaud Spiwack
user-facing
- Closed
- 23
- Approved
updated Aug 07, 2023
Linear let and where bindings 5 of 5 checklist items completed

!10952 · created Jul 24, 2023 by Arnaud Spiwack
LinearTypes user-facing
- Merged
- 69
- 2
- Approved
updated Aug 02, 2024
Draft: deriving: Typecheck associated family instances before instance bindings

!10871 · created Jul 14, 2023 by Ryan Scott
deriving typechecker user-facing
- 36
updated Apr 12, 2024
Draft: instances in dependency analysis (#12088, #12239, #14668, #22257)

!10763 · created Jun 29, 2023 by Vladislav Zavialov
user-facing
- 12
- 1
updated Jul 04, 2023
Draft: Type/data instances: require that the instantiation is determined by the LHS alone (#23515)

!10672 · created Jun 15, 2023 by Andrei Borzenkov
TypeFamilies typechecker user-facing
- Closed
- 20
updated Jun 01, 2024
Type/data instances: require that variables on the RHS are mentioned on the LHS (#23512)

!10644 · created Jun 12, 2023 by Andrei Borzenkov 9.8.1
user-facing
- Closed
- 22
- Approved
updated Jun 17, 2023
Capture scoped kind variables at type-checking phase (#16635)

!10560 · created May 31, 2023 by Andrei Borzenkov
user-facing
- Merged
- 31
- Approved
updated Jun 15, 2023
Add Data.List.unsnoc

!10442 · created May 13, 2023 by Bodigrim
core libraries user-facing
- Closed
- 9
- Approved
updated May 29, 2023
Kill the constraint solver pipeline

!10415 · created May 10, 2023 by Simon Peyton Jones
user-facing
- Closed
- 31
updated May 23, 2023
Extension shuffling (#23291)

!10385 · created May 05, 2023 by Andrei Borzenkov
user-facing
- 91
- Approved
updated Mar 24, 2024
Extension shuffling (#23291)

!10287 · created Apr 15, 2023 by Andrei Borzenkov
user-facing
- Closed
- 34
- Approved
updated May 05, 2023
Narrow the dont-decompose-newtype test

!9936 · created Feb 07, 2023 by Simon Peyton Jones
constraint solver user-facing
- Closed
- 33
- Approved
updated Mar 07, 2023
Introduce warning for loopy superclass solve

!9921 · created Feb 06, 2023 by sheaf
user-facing
- Closed
- 38
updated May 27, 2024
Draft: checkEqForallVis

!9912 · created Feb 04, 2023 by Vladislav Zavialov
user-facing
- Closed
- 70
- Approved
updated Jun 05, 2023
Draft: TH: handle explicit quantification in instances

!9840 · created Jan 27, 2023 by sheaf
user-facing
- 12
updated Jun 21, 2023