Skip to content
  • David Feuer's avatar
    Cache TypeRep kinds aggressively · bc761ad9
    David Feuer authored
    Cache `TypeRep k` in each `TrApp` or `TrTyCon` constructor of
    `TypeRep (a :: k)`. This makes `typeRepKind` cheap.
    
    With this change, we won't need any special effort to deserialize
    typereps efficiently. The downside, of course, is that we make
    `TypeRep`s slightly larger.
    
    Reviewers: austin, hvr, bgamari, simonpj
    
    Reviewed By: bgamari, simonpj
    
    Subscribers: carter, simonpj, rwbarton, thomie
    
    GHC Trac Issues: #14254
    
    Differential Revision: https://phabricator.haskell.org/D4085
    bc761ad9