Original bug ID: 1367
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Jean-Christophe Filliâtre
Version: 3.04 et 3.06
OS: Linux i386
Submission from: pc803.lri.fr (129.175.8.114)

Le morceau de code suivant provoque une erreur d'ocamlopt à la compilation :

begin
try
raise Exit
with Exit ->
raise Exit
end
0

ocamlopt -c test.ml
Fatal error: exception Invalid_argument("Array.get")

J'ai testé avec ocamlopt et ocamlopt.opt, en versions 3.04 et 3.06.
(Note : Si on enlève l'argument 0 plus de problème)

En revanche, pas de problème avec ocamlc.

PS : on a trouvé ce bug en participant au concours de l'ICFP, ce qui nous
a donné quelques frayeurs hier matin :-)

--Jean-Christophe