You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1792 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
Ne serait-ce pas un bug que l'exception levée par String.get en cas de
mauvais indexe soit :
Invalid_argument ("String.get") quand on compile avec ocamlc
et Invalid_argument ("out-of-bound array or string access") quand on
compile avec ocamlopt ?
L'effet pervers est qu'un même programme peut s'exécuter différemment
selon qu'il est compilé en natif ou pas. Par exemple :
try
print_char "".[0]
with
| Invalid_argument ("String.get") -> ()
plante dans un cas et pas dans l'autre.
Enfin, tout cela doit vous sembler platement trivial mais si cette
modeste remarque peut contribuer à embellir votre bel édifice, j'en
serai heureux.
Cordialement,
laurent
The text was updated successfully, but these errors were encountered:
Original bug ID: 1792
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
Ne serait-ce pas un bug que l'exception levée par String.get en cas de
mauvais indexe soit :
compile avec ocamlopt ?
L'effet pervers est qu'un même programme peut s'exécuter différemment
selon qu'il est compilé en natif ou pas. Par exemple :
try
print_char "".[0]
with
| Invalid_argument ("String.get") -> ()
plante dans un cas et pas dans l'autre.
Enfin, tout cela doit vous sembler platement trivial mais si cette
modeste remarque peut contribuer à embellir votre bel édifice, j'en
serai heureux.
Cordialement,
laurent
The text was updated successfully, but these errors were encountered: