[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.