Skip to content
  • Ben Gamari's avatar
    Produce KindReps for common kinds in GHC.Types · c1dacb8a
    Ben Gamari authored and Ben Gamari's avatar Ben Gamari committed
    Unfortunately this comes with a fair bit of implementation cost. Perhaps
    some refactoring would help, but in the interest of getting 8.2 out the
    door I'm pushing as-is.
    
    While this doesn't have nearly the effect on compiler allocations
    that D3166 has, it's still nothing to sneeze at. nofib shows,
    ```
    ------------------------------------------------------------------------
            Program               master           D3166            D3219
    ------------------------------------------------------------------------
            -1 s.d.                -----          -3.555%          -4.081%
            +1 s.d.                -----          +1.937%          +1.593%
            Average                -----          -0.847%          -1.285%
    ```
    
    Test Plan: Validate
    
    Reviewers: austin
    
    Subscribers: thomie, simonmar
    
    Differential Revision: https://phabricator.haskell.org/D3219
    c1dacb8a