Kinds in ghc

[Simon Peyton-Jones]

Well, it's a bug really, but not one that's easy to fix.  Thanks for
pointing it out; I've added it as a SourceForge bug so we don't forget
it.

SImon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Johan Glimming
| Sent: 24 February 2005 12:31
| To: glasgow-haskell-users at haskell.org
| Subject: Kinds in ghc
| 
| Hi
| 
| I can report success on compiling latest CVS on Mac OS X including
| stage 2 with ghci support. (greencard does not compile, but that's not
| a problem for ghc to be compiled it seems.)
| 
| Now that I have the compiler up, I notice that types are not reported
| as before. Instead of nice t,t', etc, I get random strings:
| 
| Kind error: Expecting kind `k_a1JA -> k_a1JE -> k_a1JI -> *',
| 		but `DUnit t' has kind `k_a1JA -> k_a1JE -> *'
| 
| Is this a mere debug mode I have enabled by accident (no parameter
| passed to make or configure though), or is this something else?
| 
| P.S. infix type synonyms seems to work well so far!
| 
| Johan Glimming.
| 
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users