`SPECIALIZABLE` GHC pragma
- Mentors
- CarterSchonwald, Andreas Klebinger, chessai
- Organization
- Haskell.org
The main task of this project is the addition of a SPECIALIZABLE pragma to GHC, that will have the effect of exposing an unfolding of the marked function for the explicit purpose of specialization of the call sites. A recursive/transitive variant may also be implemented. Any remaining time will be dedicated to other improvements to GHC