projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e0ea42) | patch
Make newtype Coercion eta-contract if the tails of lhs and rhs match up
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:19:59 +0000 (18:19 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:19:59 +0000 (18:19 +0000)
commitfadef64b512886b6fe01b87fd2cd07fd952ab662
treeb4385134405976d4bc62377b5514f8f414897d1ctree | snapshot
parent5e0ea427646a5474dd7c659b0713c6a62d8c99c7commit | diff
Make newtype Coercion eta-contract if the tails of lhs and rhs match up
Mon Sep 18 17:20:17 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Make newtype Coercion eta-contract if the tails of lhs and rhs match up
  Sun Aug  6 20:57:10 EDT 2006  Manuel M T Chakravarty <chak@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@bu.edu
compiler/types/Coercion.lhs diff | blob | history
compiler/types/TyCon.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)