Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

  • 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
dexpr.ml 58 KB