GHC Handbook

Note [Desugaring new-form SPECIALISE pragmas]

GHC/HsToCore/Binds.hs:793 compiler 

"New-form" SPECIALISE pragmas generate a SpecPragE record in the typechecker,
which is desugared in this module by `dsSpec`.  For the context see
Note [Handling new-form SPECIALISE pragmas] in GHC.Tc.Gen.Sig

Suppose we have
  f :: forall a b c d. (Ord a, Ord b, Eq c, Ix d) => ...
  f = rhs
  {-# SPECIALISE f @p @[p] @[Int] @(q,r) #

References 1

Referenced by 7