Changes between Version 170 and Version 171 of Commentary


Ignore:
Timestamp:
Dec 21, 2011 8:50:33 AM (4 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