Ticket #529 (closed bug: Invalid)

Opened 12 years ago

Last modified 43 years ago

GHC 5.0 fails test tc110.hs

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

Description

Removing the functional dependency makes it compile ;-)

Change History

Changed 12 years ago by simonpj

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

This one *should* fail.  I've moved the test to should_fail

-- 	call :: Call c h => c -> h
--
--	call primDup :: {Call (Int -> IO Int) h} => h  
with  
--  Using the instance decl gives
--	call primDup :: {Call (IO Int) h'} => Int -> h'
--  The functional dependency means that h must be constant
--  Hence program is rejected because it can't find an 
instance 
--  for {Call (IO Int) h'}
Note: See TracTickets for help on using tickets.