missed a case in a previous fix
authordias@cs.tufts.edu <unknown>
Thu, 17 Dec 2009 21:04:43 +0000 (21:04 +0000)
committerdias@cs.tufts.edu <unknown>
Thu, 17 Dec 2009 21:04:43 +0000 (21:04 +0000)
commitbfb346895846c5b79ecfb1e7503815146b8a4071
tree6f9507bc0d537cb43fb388ba9accf88ecca33e09
parent0417404f5d1230c9d291ea9f73e2831121c8ec99
missed a case in a previous fix

Here's the obscure problem:
-- However, we also want to allow an assignment to be generated
-- in the case when the types are compatible, because this allows
-- some slightly-dodgy but occasionally-useful casts to be used,
-- such as in RtClosureInspect where we cast an HValue to a MutVar#
-- so we can print out the contents of the MutVar#.  If we generate
-- code that enters the HValue, then we'll get a runtime panic, because
-- the HValue really is a MutVar#.  The types are compatible though,
-- so we can just generate an assignment.
compiler/codeGen/StgCmmExpr.hs