Changes between Version 2 and Version 3 of SpecConstr


Ignore:
Timestamp:
Jun 27, 2017 11:35:59 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SpecConstr

    v2 v3  
    33`SpecConstr` is a GHC optimisation that specialises functions for particular values of their arguments.
    44
    5 * [https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions-2/ Here is the paper about `SpecConstr`]
     5* [https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions-2/ Here is the paper about SpecConstr]
    66
    77== Tickets ==