Skip to content
  • Richard Eisenberg's avatar
    Address #11471 by putting RuntimeRep in kinds. · d8c64e86
    Richard Eisenberg 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