projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f9c037) | patch
[project @ 2005-10-27 13:51:27 by simonpj]
authorsimonpj <unknown>
Thu, 27 Oct 2005 13:51:27 +0000 (13:51 +0000)
committersimonpj <unknown>
Thu, 27 Oct 2005 13:51:27 +0000 (13:51 +0000)
commitca1b9eb214a0ad9880c4f373d54236856c6a256b
tree7441ef15dc5613ac89c125ed0c2f945119f1a97ctree | snapshot
parent7f9c0373aacaf59f30aa9f275dcace505c8d5d89commit | diff
[project @ 2005-10-27 13:51:27 by simonpj]
Allow GADTs in record update, provided all the relevant datacons are
vanilla.  Turns out that ObjectIO.StdMenuElement uses this facility!

This a slight enhancement to the new stuff allowing record
fields in GADTs.
ghc/compiler/typecheck/TcExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)