• Andrei Paskevich's avatar
    WhymL: break and continue · df239061
    Andrei Paskevich authored
    Without an argument, break and continue refer to the innermost loop.
    A label put over an expression sequence starting with a loop, can be
    used as an optional argument for break and continue:
      label L in
      [ghost] ["tag"] [M.begin]
        while true do
          break L
      [end] [: unit]
    In the square brackets are listed the constructions allowed between
    the label declaration and the loop expression.
lexer.mll 7.39 KB