case optimizations

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Thu, 13 Dec 2001 10:35:45 -0500 (EST)


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.