Skip to content
  • Ben Gamari's avatar
    Add missing type representations · ac3cf68c
    Ben Gamari authored and Ben Gamari's avatar Ben Gamari committed
    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
    ac3cf68c