Zap dead-ness info appropriately in SpecConstr
authorsimonpj@microsoft.com <unknown>
Thu, 2 Oct 2008 13:26:57 +0000 (13:26 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 2 Oct 2008 13:26:57 +0000 (13:26 +0000)
SpecConstr can make pattern binders come alive, so we must remember
to zap their dead-variable annotation.  See extendCaseBndrs.

(This was triggering a Core Lint failure in DPH.)


No differences found