Changes between Version 74 and Version 75 of TypeFunctionsSolving

Show
Ignore:
Timestamp:
09/03/08 07:50:25 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSolving

    v74 v75  
    209209    apply eq eqs res  
    210210      | Just eq' <- applyTop eq 
    211      = prop (norm eq' ++ eqs) res 
     211      = prop (norm eq' ++ eqs) res 
    212212      | otherwise 
    213213      = let (new_eqs, unchanged_eqs) = mapAndUnzip (applySubstRules eq) eqs