Changes between Version 170 and Version 171 of Commentary


Ignore:
Timestamp:
Dec 21, 2011 8:50:33 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v170 v171  
    6969   * [wiki:SQLLikeComprehensions SQL-Like Comprehensions]: Notes on SPJs "Comprehensive Comprehensions" (TransformComprehensions) 
    7070   * [wiki:KindFact A kind for facts (e.g. class constraints). Implemented as ConstraintKinds] 
     71   * [wiki:GhcKinds Kind level]: Notes on `-XPolyKinds` 
    7172 
    7273 * Notes on proposed or in progress (but out of tree) GHC compiler features: 
     
    7677   * [wiki:PatternSynonyms Pattern synonyms] 
    7778   * [wiki:TypeNats Type level naturals] 
    78    * [wiki:GhcKinds Kind level]: Notes on the theory, design and implementation of a kind level by promotion of data types. 
    7979   * [wiki:PolymorphicDynamic Polymorphic Dynamic]: Notes on adding ad-hoc polymorphic dynamic types 
    8080   * [wiki:DefaultSuperclassInstances Proposal to allow classes to give default implementations for their superclasses] 
     
    8686   * [wiki:BlockObjects C Blocks]: Haskell FFI support for block objects (closures) in C 
    8787   * [wiki:ExplicitTypeApplication Syntax for explicit type application and scoped type variables] 
     88   * [wiki:DeferErrorsToRuntime Deferring compilation type errors to runtime] 
    8889 
    8990 * GHCi Debuger