Changes between Version 19 and Version 20 of Status/GHC-7.8


Ignore:
Timestamp:
Aug 20, 2013 3:57:54 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/GHC-7.8

    v19 v20  
    2121
    2222 * Richard Eisenberg is also working on using "roles" to finally fix #1496.
     23
     24 * Nicolas Frisby had a bunch of Core-to-Core optimisations he worked on as an intern.  Not sure of the exact list, or status.
    2325 
    2426 * Pedro and Richard were working on tidying up the poly-kinded Typable, and propositional equality (`gcast` and friends) story.