Get rid of tcm_smart from TyCoMapper

Authored by simonpj on Feb 15 2019, 3:56 AM.

Description

Get rid of tcm_smart from TyCoMapper

Following a succession of refactorings of the type checker,
culminating in the patch

Make a smart mkAppTyM

we have got rid of mkNakedAppTy etc. And that in turn
meant that the tcm_smart field of the generic TyCoMapper
(in Type.hs) was entirely unused. It was always set to True.

So this patch just gets rid of it completely. Less code,
less complexity, and more efficient because fewer higher-order
function calls. Everyone wins.

No change in behaviour; this does not cure any bugs!

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Feb 17 2019, 6:58 PM
Parents
rGHC0fff3ae6d2b8: Testsuite: implement use_specs.
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1f1b9e356a87: Get rid of tcm_smart from TyCoMapper (authored by simonpj).Feb 17 2019, 6:58 PM