patch applied (ghc-fc2): Make newtype Coercion eta-contract if the tails of lhs and rhs match up

chak at cse.unsw.edu.au chak at cse.unsw.edu.au
Mon Aug 7 15:57:36 EDT 2006


Sun Aug  6 17:57:10 PDT 2006  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Make newtype Coercion eta-contract if the tails of lhs and rhs match up
  Thu Aug  3 12:26:52 EDT 2006  kevind at bu.edu

    M ./compiler/types/Coercion.lhs -4 +36
    M ./compiler/types/TyCon.lhs -5 +13


More information about the Cvs-ghc mailing list