projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b88025e) | patch
Deriving for indexed newtypes
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 19 Dec 2006 21:30:17 +0000 (21:30 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 19 Dec 2006 21:30:17 +0000 (21:30 +0000)
commitfff08925b331fe64aba5fed31b7fbd8fa9f25f7a
tree01c974b208e5d87dadfc7e315900473a8895bc92tree | snapshot
parentb88025eabcd83f65d1d81f09272f5172f06a60e7commit | diff
Deriving for indexed newtypes
- The isomorphism-based newtype-deriving isn't very useful for indexed types
  right now as it rejects all recursive declarations, and we have to mark
  all indexed type instances as recurrsive as we can't guarantee that future
  instances aren't going to make them part of a recursive group.
compiler/typecheck/TcDeriv.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)