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@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Johan Glimming | Sent: 24 February 2005 12:31 | To: glasgow-haskell-users@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@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users