Changes between Version 74 and Version 75 of TypeFunctionsSolving


Ignore:
Timestamp:
Sep 3, 2008 2:50:25 PM (6 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