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


Ignore:
Timestamp:
Aug 20, 2013 3:57:54 PM (8 months 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.