case optimizations

Stephen Weeks MLton@sourcelight.com
Thu, 13 Dec 2001 13:25:47 -0800


> A quick look at the type-checker and analyze (in SSA) suggests that
> nothing verfies that all Case transfers are either exhaustive or have
> a default.  By design?  I guess needing to keep around defaults and
> exhaustiveness could be inhibiting in some situations.

Nope, not design.  I think it would be good for the type checker to
check exhaustiveness and irredundancy.