• 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.
TcPatSyn.hs 36.7 KB