panic:Unify.unifyTauTyLists

The attached sample program triggers a panic because I forgot to 
pass the type argument in the recursive algebraic datatype 
construction. The commented line is correct.
GHC should not panic but instead provide a helpful error message.
(Unluckily, I won't be able to test this with -HEAD atm)

Compiling Main             ( bugs.hs, interpreted )
ghc-6.4: panic! (the `impossible' happened, GHC version 6.4):
        Unify.unifyTauTyLists: mismatched type lists!

Trac metadata

Trac field	Value
Version	6.4
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	ResolvedDuplicate
Component	Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tbug Trac import typechecker labels

closed

Attached file bugs.2.hs ($50).

Logged In: YES 
user_id=50165

Happily this is already fixed, and will be in 6.4.1

mentioned in issue #630 (closed)

mentioned in commit 5baa8db6

mentioned in commit c1fcd9b3

Trac metadata

Trac field	Value
TypeOfFailure	- → OtherFailure

added Pnormal label