Changes between Version 39 and Version 40 of Status/GHC-7.8


Ignore:
Timestamp:
Sep 4, 2013 2:29:24 PM (8 months ago)
Author:
gmainland
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/GHC-7.8

    v39 v40  
    2727 * Pedro and Richard were working on tidying up the poly-kinded Typable, and propositional equality (`gcast` and friends) story.  See #8132. 
    2828 
    29  * 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. 
     29 * 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. ETA: September 13. 
    3030 
    31  * Geoff Mainland is working generalising the support for SSE-like instructions. 
     31 * Geoff Mainland is working generalising the support for SSE-like instructions. ETA: September 13. 
    3232 
    3333 * Iavor Diatchki is working on type-level nats (#4385, http://ghc.haskell.org/trac/ghc/wiki/TypeNats).  The plan is to support simple type-level arithmetic in GHC 7.8. The branch `type-nats-simple` has the code.