projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d8a0e7) | patch
[project @ 2002-02-14 14:56:04 by simonpj]
authorsimonpj <unknown>
Thu, 14 Feb 2002 14:56:04 +0000 (14:56 +0000)
committersimonpj <unknown>
Thu, 14 Feb 2002 14:56:04 +0000 (14:56 +0000)
commit6aa2bf20adef309cbf6ff39f4989a96ef0338138
tree7bb0e0101ac460b52a89b3f71289879bddc93a77tree | snapshot
parent0d8a0e7fa62fab635a9a6ba64379688664b3e85ccommit | diff
[project @ 2002-02-14 14:56:04 by simonpj]
---------------------------------------
Record updates are ok for types involving
existential data constructors, so long as the
existential ones aren't the ones updated.
---------------------------------------

This check was already in the type checker, but
the desugarer had an over-zealous assert.
ghc/compiler/deSugar/DsExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)