Interesting. MLton did the basic-blocks-with-arguments thing too:

  http://mlton.org/pipermail/mlton/2007-February/029597.html
  http://mlton.org/pipermail/mlton/2003-January/023061.html