CPS shrinking
Stephen Weeks
MLton@sourcelight.com
Fri, 13 Jul 2001 14:55:47 -0700
> I was working on eliminating extraneous compares, and I found the
> following:
...
> val x_140 = MLton_eq (x_139, global_28)
> in
> case x_140 of
> false => L_39 | true => L_39
> end
...
> Anyways, I think the above could best be taken care of in CPS.
Agreed. I have patched my version of src/mlton/cps/shrink.fun to handle this
case. I mistakenly thought it was, but there was an omission. Let me know if
you see this any more, once you have grabbed the patch.