[MLton] cvs commit: fixed strange
Matthew Fluet
fluet@cs.cornell.edu
Wed, 30 Jun 2004 17:02:43 -0400 (EDT)
> > This doesn't shed much light on why the situation arose or whether or not
> > something upstream went wrong.
>
> True. I don't think there was anything wrong. This was just the
> occasional unusual situation that arises because the shrinker isn't
> run to fixpoint, and hence there is dead code trying to select off of
> a constant in a sum type.
O.k., so it did correspond to the same situation as we encountered
before: namely, dead code.