Mentions légales du service

Skip to content
  • 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
          ...
        done;
        [...]
      [end] [: unit]
    
    In the square brackets are listed the constructions allowed between
    the label declaration and the loop expression.
    df239061