[commit: ghc] ghc-kinds: todo (18753dc)

[Julien Cretin]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-kinds

http://hackage.haskell.org/trac/ghc/changeset/18753dcbade5c135683eca74f561b0f6306b7da1

>---------------------------------------------------------------

commit 18753dcbade5c135683eca74f561b0f6306b7da1
Author: Julien Cretin <ghc at ia0.eu>
Date:   Wed Sep 14 11:49:52 2011 +0200

    todo

>---------------------------------------------------------------

 compiler/TODO |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/compiler/TODO b/compiler/TODO
index eea6e40..3919482 100644
--- a/compiler/TODO
+++ b/compiler/TODO
@@ -1,11 +1,5 @@
 ## TODO FIRST
 
-* UserKiVar (in Parser mkHsForAll or renamer)
-  look at kind annotation to know if a UserTyvar is a kind variable
-  (UserKiVar) or a type variable (UserTyVar)
-  forall k f (a :: k). f a -> Int
-  HsForAll Explicit [UserKiVar k, UserTyVar f, KindedTyVar a k] ...
-
 * ds_type takes a flag
   - either it does defaulting: alpha -> star
   - or it zonks to a kind variable: alpha -> k7
@@ -13,6 +7,12 @@
 
 * Get rid special cases for Any and (~), make them polymorphic and behave like any other TyCon.
 
+* UserKiVar (in Parser mkHsForAll or renamer)
+  look at kind annotation to know if a UserTyvar is a kind variable
+  (UserKiVar) or a type variable (UserTyVar)
+  forall k f (a :: k). f a -> Int
+  HsForAll Explicit [UserKiVar k, UserTyVar f, KindedTyVar a k] ...
+
 
 ## TODO NEXT