[commit: ghc] master: Add missing type representations (ac3cf68)

git at git.haskell.org git at git.haskell.org
Wed Jan 13 14:22:27 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/ac3cf68c378410724973e64be7198bb8720a6809/ghc

>---------------------------------------------------------------

commit ac3cf68c378410724973e64be7198bb8720a6809
Author: Ben Gamari <bgamari.foss at gmail.com>
Date:   Wed Jan 13 14:53:02 2016 +0100

    Add missing type representations
    
    Previously we were missing `Typeable` representations for several
    wired-in types (and their promoted constructors). These include,
    
     * `Nat`
     * `Symbol`
     * `':`
     * `'[]`
    
    Moreover, some constructors were incorrectly identified as being defined
    in `GHC.Types` whereas they were in fact defined in `GHC.Prim`.
    
    Ultimately this is just a temporary band-aid as there is general
    agreement that we should eliminate the manual definition of these
    representations entirely.
    
    Test Plan: Validate
    
    Reviewers: austin, hvr
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D1769
    
    GHC Trac Issues: #11120


>---------------------------------------------------------------

ac3cf68c378410724973e64be7198bb8720a6809
 compiler/iface/BuildTyCl.hs              |  3 +-
 compiler/prelude/PrelNames.hs            | 23 --------------
 compiler/prelude/TysWiredIn.hs           | 53 +++++++++++++++++++++++++++++++-
 libraries/base/Data/Typeable/Internal.hs | 28 ++++++++++++-----
 libraries/ghc-prim/GHC/Types.hs          |  8 +++++
 5 files changed, 82 insertions(+), 33 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc ac3cf68c378410724973e64be7198bb8720a6809


More information about the ghc-commits mailing list