Opened 14 years ago

Closed 14 years ago

Last modified 46 years ago

#531 closed bug (Invalid)

GHC 5.0 fails test tc109.hs

Reported by: lewie Owned by: nobody
Priority: normal Milestone:
Component: Compiler (Type checker) Version: None
Keywords: Cc:
Operating System: Architecture:
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):


Compiler sez:

 Illegal instance declaration for `P b'
	(There must be at least one non-type-variable in the
instance head)

despite there being ample type-vars in the head ;-)

Change History (1)

comment:1 Changed 14 years ago by simonpj

  • Status changed from assigned to closed
Logged In: YES 

You'd need -fallow-undecidable-instances to make this one
work as it was originally.  I've changed the test so that 
it still tests what was the original purpose, without
requiring undecidable instances.

Note: See TracTickets for help on using tickets.