- -- We replace the binders with wild binders only. We can leave expr
- -- unchanged, since the new bindings bind the same vars as the original
- -- did.
- let newalt = (con, wildbndrs, expr)
+ -- Note that we leave expr unchanged, even though most binders will have
+ -- become wild. The binders that were previously bound by the case
+ -- alternative, will now be bound in a surrounding let expression (e.g.,
+ -- by bindings).
+ let newalt = (con, newbndrs, expr)