• simonpj@microsoft.com's avatar
    Add a coercion optimiser, to reduce the size of coercion terms · 48196c3c
    simonpj@microsoft.com authored
    Coercion terms can get big (see Trac #2859 for example), so this
    patch puts the infrastructure in place to optimise them:
      * Adds Coercion.optCoercion :: Coercion -> Coercion
      * Calls optCoercion in Simplify.lhs
    The optimiser doesn't work right at the moment, so it is 
    commented out, but Tom is going to work on it.
Simplify.lhs 86.4 KB