• simonpj's avatar
    [project @ 2001-01-30 09:53:11 by simonpj] · ade2eac4
    simonpj authored
    More on functional dependencies
    
    My last commit allowed this:
    
    	instance C a b => C [a] [b] where ...
    
    if we have
    
    	class C a b | a -> b
    
    This commit completes the change, by making the 
    improvement stages improve only the 'shape' of the second
    argument of C.  
    
    I also had to change the iteration in TcSimplify -- see
    the comments in TcSimplify.inferLoop.
    ade2eac4
TcSimplify.lhs 50.4 KB