Ticket #337 (closed bug: Fixed)

Opened 8 years ago

Last modified 43 years ago

buggy class causes unifyTauTyLists mismatch

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

Description

Obtained error in GHC:

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

Please report it as a compiler bug to
glasgow-haskell-bugs@haskell.org,
or http://sourceforge.net/projects/ghc/.

when :load called on buggy code:

class Foo f where
	baa :: f a -> f
instance Foo Maybe where
	baa z = z

On the other hand, Hugs identifies an error with an
"Illegal type in constructor application".

Change History

Changed 8 years ago by simonpj

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

Already fixed in the STABLE branch (and HEAD).  Thanks for 
the report though.
Note: See TracTickets for help on using tickets.