Changes between Version 16 and Version 17 of Status/GHC-7.8


Ignore:
Timestamp:
Jul 19, 2013 11:56:13 AM (9 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/GHC-7.8

    v16 v17  
    2222 * Richard Eisenberg is also working on using "roles" to finally fix #1496. 
    2323  
    24  * Pedro and Richard were working on tidying up the poly-kinded Typable story. I'm not sure what, if anything, remains to be done. 
     24 * Pedro and Richard were working on tidying up the poly-kinded Typable, and propositional equality (`gcast` and friends) story.  
    2525 
    2626 * Geoff Mainland is working on a better Template Haskell implementation (http://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/BlogPostChanges, http://gmainland.blogspot.co.uk/2013/05/type-safe-runtime-code-generation-with.html), in the `th-new` branch of various repos.