Opened 17 years ago

Closed 17 years ago

Last modified 48 years ago

#529 closed bug (Invalid)

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: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


Removing the functional dependency makes it compile ;-)

Change History (1)

comment:1 Changed 17 years ago by simonpj

Status: assignedclosed
Logged In: YES 

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  
--  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 
--  for {Call (IO Int) h'}
Note: See TracTickets for help on using tickets.