Merge requests · Glasgow Haskell Compiler / GHC

Fix a scoping bug in the Specialiser

!8599 · created Jul 07, 2022 by Simon Peyton Jones
HQ shepherd specialisation
- Closed
- 3
- Approved
updated Aug 21, 2023
Improve floated dicts

!8029 · created Apr 22, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 10
- Approved
updated Aug 21, 2023
Fix substitution in bindAuxiliaryDict

!8011 · created Apr 18, 2022 by Simon Peyton Jones
HQ shepherd specialisation
- Closed
- 14
updated Aug 21, 2023
Better eta expansion and reduction

!7861 · created Mar 25, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 85
updated Apr 11, 2023
Refactor SpecConstr to use treat bindings uniformly

!8135 · created May 03, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 51
updated Feb 08, 2023
Redundant constraints improvement, incl. redundant quantified constraints

!6905 · created Nov 04, 2021 by Richard Eisenberg
HQ shepherd
- Closed
- 26
- Approved
updated Sep 19, 2022
Add deep subsumption

!8210 · created May 11, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 78
- Approved
updated Jul 25, 2022
Instantiate top level foralls in partial type signatures

!8390 · created Jun 01, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 6
updated Jun 20, 2022
Add arity to the INLINE pragmas for pattern synonyms

!8193 · created May 09, 2022 by Simon Peyton Jones 9.2.3
HQ shepherd
- Closed
- 6
updated Jun 15, 2022
Check for uninferrable variables in tcInferPatSynDecl

!8165 · created May 06, 2022 by Simon Peyton Jones 9.2.3
HQ shepherd
- Closed
- 9
updated Jun 15, 2022
Make inert_cycle_breakers into a stack (#20231)

!7612 · created Feb 21, 2022 by Richard Eisenberg
HQ shepherd
- Closed
- 18
- Approved
updated May 20, 2022
Add INLINE pragmas for Enum helper methods

!7985 · created Apr 12, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 14
updated Apr 28, 2022
Persist CorePrepProv into IfaceUnivCoProv

!5659 · created May 04, 2021 by Simon Peyton Jones
HQ shepherd
- Closed
- 5
- Approved
updated Apr 27, 2022
Take more care with floating binding in tryCastWorkerWrapper

!7777 · created Mar 14, 2022 by Simon Peyton Jones
HQ shepherd simplifier
- Closed
- 32
updated Apr 25, 2022
Tiny documentation wibble

!7963 · created Apr 07, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 3
updated Apr 08, 2022
Improve boxity in deferAfterPreciseException

!7077 · created Nov 26, 2021 by Simon Peyton Jones
HQ shepherd
- Closed
- 24
- Approved
updated Mar 16, 2022
Always generalise top-level bindings

!7470 · created Feb 02, 2022 by Simon Peyton Jones
HQ shepherd
- Closed
- 11
- Approved
updated Mar 08, 2022
Make Constraint not *apart* from Type.

!7624 · created Feb 22, 2022 by Richard Eisenberg
HQ shepherd
- Closed
- 6
- Approved
updated Mar 02, 2022
Prefer LiftedRep over (BoxedRep Lifted)

!6806 · created Oct 22, 2021 by Simon Peyton Jones
HQ shepherd
- Closed
- 56
- Approved
updated Nov 17, 2021
Ensure top-level binders in scope in SetLevels

!6592 · created Sep 24, 2021 by Simon Peyton Jones
HQ shepherd
- Closed
- 19
updated Oct 05, 2021