Changes between Version 176 and Version 177 of Commentary


Ignore:
Timestamp:
Apr 25, 2012 3:27:51 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v176 v177  
    5151 
    5252 * Notes on implemented GHC features: 
     53   * [wiki:KindFact A kind for facts (e.g. class constraints). Implemented as ConstraintKinds] 
     54   * [wiki:GhcKinds Kind polymorphism and data type promotion]: Notes on `-XPolyKinds` 
    5355   * [wiki:Commentary/Compiler/Backends/LLVM LLVM back end] 
    5456   * [wiki:Commentary/Compiler/GenericDeriving Support for generic programming] 
     
    6870   * [wiki:SafeHaskell Safe Haskell]: The design of the GHC Safe Haskell extension 
    6971   * [wiki:SQLLikeComprehensions SQL-Like Comprehensions]: Notes on SPJs "Comprehensive Comprehensions" (TransformComprehensions) 
    70    * [wiki:KindFact A kind for facts (e.g. class constraints). Implemented as ConstraintKinds] 
    71    * [wiki:GhcKinds Kind level]: Notes on `-XPolyKinds` 
     72 
    7273 
    7374 * Notes on proposed or in progress (but out of tree) GHC compiler features: