Define TcSimplify.simplifyTopImplic and use it
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 10 Mar 2017 12:50:05 +0000 (12:50 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 10 Mar 2017 16:05:27 +0000 (16:05 +0000)
commit2d3cb34a603ed0008b551cbc3e16b69d7f6dbbe6
tree14fe17be5d6d3c7892877ac7fdf51f7a12897a0a
parentaf6ed4a62c77e57f544243aa72bba51a1cff6808
Define TcSimplify.simplifyTopImplic and use it

A very small refactoring
compiler/typecheck/TcDerivInfer.hs
compiler/typecheck/TcPatSyn.hs
compiler/typecheck/TcSimplify.hs