• Andrei Paskevich's avatar
    Mlw: partially revert cda6d915: labels do not define exceptions · 2a794b99
    Andrei Paskevich authored
    It is confusing to use the keyword "label" to define an exception.
    Also, the "label L in ..." binds too far and the break point is
    not clearly defined.
    
    We do need some syntactic sugar for
      exception X t in try <expr> with X r -> r
    (at the very least "break" and "continue"), but labels are not it.
    2a794b99
typing.ml 48.7 KB