Opened 13 years ago

Closed 13 years ago

Last modified 44 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: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

Removing the functional dependency makes it compile ;-)

Change History (1)

comment:1 Changed 13 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.