New patches in /srv/darcs/git-mirrors/hoopl
commit b98db91cd0c53ddb2c275c04823f9c379774104b
Author: Simon Peyton Jones <[email protected]>
Date: Mon Aug 22 08:47:05 2011 +0100
Add a kind annotation on Graph'
data Graph' block (n :: * -> * -> *) e x where
GNil :: Graph' block n O O
GUnit :: block n O O -> Graph' block n O O
GMany :: MaybeO e (block n O C)
We want the kind annotation so we can get the the right kind for
Graph' without looking at its *uses*, as Haskell dictates (Report
section 4.6), and (now that we are extending the kind system) GHC is
going to do.
Previously GHC was a bit more forgiving, in a non-standard way.
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
