• Ben Gamari's avatar
    Add missing type representations · ac3cf68c
    Ben Gamari authored
    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
Internal.hs 16.8 KB