Replace some pushTcLevelM's with pushTcLevelM_
authorRyan Scott <ryan.gl.scott@gmail.com>
Tue, 21 Feb 2017 14:51:43 +0000 (09:51 -0500)
committerRyan Scott <ryan.gl.scott@gmail.com>
Tue, 21 Feb 2017 14:51:47 +0000 (09:51 -0500)
commit611f998fd545b45167170d9e60b7d9147178f0a1
treed2b3e47657433aecdbec6502799f711c7a973dda
parent4080a63c510f13be22953383a07ce0cf2d29e17b
Replace some pushTcLevelM's with pushTcLevelM_

These occurrences of pushTcLevelM weren't using the resulting TcLevel,
so they can be replaced with the (ostensibly more efficient) pushTcLevelM_.

No change in behavior.
compiler/typecheck/TcDerivInfer.hs