• 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.
TcSimplify.lhs 50.4 KB