• simonpj@microsoft.com's avatar
    Two improvements to optCoercion · 06481242
    simonpj@microsoft.com authored
    * Fix a bug that meant that 
         (right (inst (forall tv.co) ty)) 
      wasn't getting optimised.  This showed up in the
      compiled code for ByteCodeItbls
    
    * Add a substitution to optCoercion, so that it simultaneously
      substitutes and optimises.  Both call sites wanted this, and
      optCoercion itself can use it, so it seems a win all round.
    06481242
Simplify.lhs 89.5 KB