Get rid of tcm_smart from TyCoMapper
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 15 Feb 2019 09:56:06 +0000 (09:56 +0000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Mon, 18 Feb 2019 00:58:29 +0000 (19:58 -0500)
commit1f1b9e356a873ec7da84cdac2a7850ecb2b32ea9
tree44fea568c24fc4cc0a394111edbd7f8be62d1ee5
parent0fff3ae6d2b821cacf33193b85307588402f1748
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!
compiler/typecheck/TcHsSyn.hs
compiler/typecheck/TcHsType.hs
compiler/typecheck/TcMType.hs
compiler/types/Type.hs