[commit: ghc] ghc-7.6: Only promote *non-existential* data constructors (4b380f1)
Ian Lynagh <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/4b380f192d1b3f7455e7c2bb9bf3ebe6c6b5e7ca >--------------------------------------------------------------- commit 4b380f192d1b3f7455e7c2bb9bf3ebe6c6b5e7ca Author: Simon Peyton Jones <[email protected]> Date: Fri Oct 19 12:53:21 2012 +0100 Only promote *non-existential* data constructors I don't konw how this was left out before; Trac #7347. In fixing this I did the usual round of refactoring. In particular, I cached the fact that a DataCon can be promoted in the DataCon itself (the dcPromoted field). compiler/basicTypes/DataCon.lhs | 69 ++++++++++++++++++++------------------ compiler/iface/TcIface.lhs | 4 +- compiler/prelude/TysWiredIn.lhs | 6 ++-- compiler/types/TyCon.lhs | 2 +- 4 files changed, 42 insertions(+), 39 deletions(-) Diff suppressed because of size. To see it, use: git show 4b380f192d1b3f7455e7c2bb9bf3ebe6c6b5e7ca