RE: ghc 6.4 panic

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:sijokine@xxxxxxxxxxxxxx]
| 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
glasgow-haskell-bugs@xxxxxxxxxxx,
| or http://sourceforge.net/projects/ghc/.
|