jump tables and cases

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Tue, 5 Dec 2000 09:33:40 -0500 (EST)


> > > Were the changes to preserve big integer case statements ever added to
> > > MLton?
> > 
> > Yes.  Although I'm not sure they're getting used.  It's near the top of my todo
> > list to look into mlyacc and make sure they are.
> 
> I just checked and the integer switches are making it all the way to the
> generated C code, so it appears to be working correctly.

Then I'm a little confused; If in my source .sml file, I have

case x 
  of 0 => ...
   | 1 => ...
   ...
   | _ => ...

then what do I have in the CPS IL?  A set of transfers corresponding to a
binary search tree, or a single switch transfer?