Ensure that unification variables alloc'd during solving are untouchable
authorsimonpj@microsoft.com <unknown>
Mon, 15 Nov 2010 12:15:40 +0000 (12:15 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 15 Nov 2010 12:15:40 +0000 (12:15 +0000)
commitcd450d41e84c2bf09bb9c3a646c7408eb2c2d772
tree940a1fb24d6dd4037828576aeca9158b13192790
parent4d20bc6a4159b6b6747b581a60589861e31a236d
Ensure that unification variables alloc'd during solving are untouchable

This fixes Trac #4494.  See Note [Extra TcsTv untouchables] in TcSimplify.
compiler/typecheck/TcCanonical.lhs
compiler/typecheck/TcInteract.lhs
compiler/typecheck/TcSMonad.lhs
compiler/typecheck/TcSimplify.lhs