Ticket #456 (closed bug: Duplicate)

Opened 8 years ago

Last modified 43 years ago

panic:Unify.unifyTauTyLists

Reported by: volkersf Owned by: nobody
Priority: normal Milestone:
Component: Compiler (Type checker) Version: 6.4
Keywords: Cc:
Operating System: Architecture:
Type of failure: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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!

Attachments

bugs.2.hs Download (288 bytes) - added by volkersf 8 years ago.

Change History

Changed 8 years ago by volkersf

Changed 8 years ago by volkersf

  • status changed from assigned to closed

Changed 8 years ago by simonpj

  • status changed from assigned to closed
Logged In: YES 
user_id=50165

Happily this is already fixed, and will be in 6.4.1
Note: See TracTickets for help on using tickets.