Changes between Version 170 and Version 171 of Commentary

Timestamp:

12/21/11 00:50:33 (17 months ago)

Author:

dreixel

Comment:

--

Commentary

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