• simonpj's avatar
    [project @ 2001-10-23 08:58:30 by simonpj] · 32eebc97
    simonpj authored
    -------------------------------
    	Correct a nasty lub bug
    	-------------------------------
    
    	MERGE WITH STABLE BRANCH
    
    Peter Sestoft discovered that lub wasn't commutative.
    We certainly want that
    
    	Err `lub` Abs = Lazy
    
    This is a Real Bug.
    32eebc97
DmdAnal.lhs 31.3 KB