Skip to content
  • Simon Peyton Jones's avatar
    Implement mapTyCo like foldTyCo · beffa147
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed
    This patch makes mapType use the successful idiom described
    in TyCoRep
       Note [Specialising foldType]
    
    I have not yet changed any functions to use mapType, though there
    may be some suitable candidates.
    
    This patch should be a no-op in terms of functionality but,
    because it inlines the mapper itself, I'm hoping that there may
    be some modest perf improvements.
    
    Metric Decrease:
        T5631
        T5642
        T3064
        T9020
        T14683
        hie002
        haddock.Cabal
        haddock.base
        haddock.compiler
    beffa147