Skip to content
  • Ben Gamari's avatar
    Unwire Typeable representation types · 206a8bf4
    Ben Gamari authored and Ben Gamari's avatar Ben Gamari committed
    In order to make this work I needed to shuffle around typechecking a bit
    such that `TyCon` and friends are available during compilation of
    GHC.Types.  I also did a bit of refactoring of `TcTypeable`.
    
    Test Plan: Validate
    
    Reviewers: simonpj, austin
    
    Subscribers: simonpj, thomie
    
    Differential Revision: https://phabricator.haskell.org/D1906
    
    GHC Trac Issues: #11120
    206a8bf4