• eir@cis.upenn.edu's avatar
    Address #11471 by putting RuntimeRep in kinds. · d8c64e86
    eir@cis.upenn.edu authored
    See Note [TYPE] in TysPrim. There are still some outstanding
    pieces in #11471 though, so this doesn't actually nail the bug.
    
    This commit also contains a few performance improvements:
    
    * Short-cut equality checking of nullary type syns
    
    * Compare types before kinds in eqType
    
    * INLINE coreViewOneStarKind
    
    * Store tycon binders separately from kinds.
    
    This resulted in a ~10% performance improvement in compiling
    the Cabal package. No change in functionality other than
    performance. (This affects the interface file format, though.)
    
    This commit updates the haddock submodule.
    d8c64e86
TcSMonad.hs 115 KB