Note [Handling new-form SPECIALISE pragmas]
New-form SPECIALISE pragmas are described by GHC Proposal #493. The pragma takes the form of a function application, possibly with intervening parens and type signatures, with a variable at the head: {-# SPECIALISE f1 @Int 3 #
References 0
This Note does not link to any other.
Referenced by 6
- GHC.Tc.Gen.Sig call site ×2
- Desugaring new-form SPECIALISE pragmas GHC.HsToCore.Binds
- GHC.HsToCore.Binds call site
- TcSMode GHC.Tc.Solver.Monad
- Solving a Wanted forall-constraint GHC.Tc.Solver.Solve