Skip to content

Implement mapTyCo like foldTyCo

Simon Peyton Jones requested to merge wip/T17717 into master

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.

Ticket: #17717

Edited by Simon Peyton Jones

Merge request reports