Kinds in ghc
simonpj at microsoft.com
Fri Feb 25 08:16:18 EST 2005
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
| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
| 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
| 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
More information about the Glasgow-haskell-users