projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5c4754) | patch
Indexed newtypes
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:40:35 +0000 (18:40 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:40:35 +0000 (18:40 +0000)
commit27897431cf24d4bde04b15947440c7205f2d703c
treea876b6da8b9d5634e1b718dc87c7954873653ac1tree | snapshot
parentd5c4754dcb857be7b9f4dbf6482e6050a9cd0991commit | diff
Indexed newtypes
Mon Sep 18 19:24:27 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Indexed newtypes
  Thu Aug 31 22:09:21 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Indexed newtypes
    - This patch makes indexed newtypes work
    - Only lightly tested
    - We need to distinguish between open and closed newtypes in a number of
      places, because looking through newtypes doesn't work easily for open ones.
compiler/basicTypes/DataCon.lhs diff | blob | history
compiler/basicTypes/MkId.lhs diff | blob | history
compiler/coreSyn/MkExternalCore.lhs diff | blob | history
compiler/deSugar/DsUtils.lhs diff | blob | history
compiler/simplCore/SimplUtils.lhs diff | blob | history
compiler/typecheck/TcPat.lhs diff | blob | history
compiler/types/Coercion.lhs diff | blob | history
compiler/types/TyCon.lhs diff | blob | history
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)