GHC 5.0 fails test tc110.hs

[lewie]

Removing the functional dependency makes it compile ;-)

[simonpj]

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'}