MLton (fwd)

[Matthew Fluet]

> > There seems to be a minor increase in code size, but I'm not
> > precisely sure why.
> 
> Could it be due to the fact that you used notInLoop instead of inLoop
> when deciding what to carry in registers?  

Could be, although pseudo-regs shouldn't be live around loops, so I'm
surprised that anything changed with -native-live-false.

> I think it wouldn't be too
> bad to change your code to do a tree fold to get inLoop.

No, it wouldn't be.  I'll see what that does.