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: