OK. In 6.4.1 and the HEAD this crash has turned into a poor error
message:
cam-02-unx:~/tmp/eiffel$
~simonmar/nightly-STABLE/i386-unknown-linux/ghc/compiler/ghc-inplace
--make EiffelSymtable.hs
Chasing modules from: EiffelSymtable.hs
Compiling EiffelAST ( ./EiffelAST.hs, ./EiffelAST.o )
Compiling EiffelSymtable ( EiffelSymtable.hs, EiffelSymtable.o )
EiffelSymtable.hs:15:0:
Couldn't match kind `*' against `k_a3nY -> *'
In the data type declaration for `SymDict'
The actual error is on line 38, where SymDict isn't applied to any args.
I'll improve the error message.
Meanwhile, you can make progress by fixing the bug in your code. But
it's good you had it, because it showed up a bug in GHC, so that's good.
Thanks for the report.
Simon
| -----Original Message-----
| From: Sakari Jokinen [mailto:[EMAIL PROTECTED]
| Sent: 29 April 2005 13:00
| To: Simon Peyton-Jones
| Cc: Simon Marlow
| Subject: RE: ghc 6.4 panic
|
| --------------------
| ghc -fno-monomorphism-restriction --make parse_test.hs -o parse_test
| Chasing modules from: parse_test.hs
| Skipping EiffelLexer ( ./EiffelLexer.hs, ./EiffelLexer.o )
| Skipping EiffelLayout ( ./EiffelLayout.hs, ./EiffelLayout.o )
| Skipping EiffelAST ( ./EiffelAST.hs, ./EiffelAST.o )
| Compiling EiffelSymtable ( ./EiffelSymtable.hs, ./EiffelSymtable.o )
| ghc-6.4: panic! (the `impossible' happened, GHC version 6.4):
| Unify.unifyTauTyLists: mismatched type lists!
|
| Please report it as a compiler bug to
[email protected],
| or http://sourceforge.net/projects/ghc/.
|
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
