> > Whoops. Duh. So should I undo my change? Or does it still make > > sense since mllex and mlyacc go together? > > Or should I just rip this Unsafe nonsense from mllex altogether? I was going to be my suggestion -- or at least see if it has a significant performance impact. Maybe MLton can optimize to unsafe subs.