Skip to content

Specialising expressions

Simon Peyton Jones requested to merge wip/T24359 into master

This MR addresses #24359, which implements the GHC proposal 493 on SPECIALISE pragmas.

Current status:

  • The old code path (using SpecSig and SpecPrag) still exists.
  • The new code path (using SpecSigE and SpecPragE) runs alongside it.
  • All SPECIALISE pragmas are routed through the new code path, except if you give multiple type sigs, when the old code path is still used.
  • Main documentation: Note [Handling new-form SPECIALISE pragmas] in GHC.Tc.Gen.Sig`
Edited by Simon Peyton Jones

Merge request reports