[Caml-list] Simple exception - different behaviour between toplevel and compiled

[Oliver Bandel <oliver@first.in-berlin.de>]

[-- Attachment #1: Type: text/plain, Size: 743 bytes --]

Hello,


using the attached files (executing testexc,bash)
I got different results between toplevel and compiled:

=====================================================
Testcase A
exception A of int * int
let _ = raise ( A(3,4) )
Exception: A (3, 4).
Fatal error: exception Exca.A(3, 4)
Fatal error: exception Exca.A(3, 4)
Testcase B
exception B of (int*int)
let _ = raise ( B(3,4) )
Exception: B (3, 4).
Fatal error: exception Excb.B(_)
Fatal error: exception Excb.B(_)
=====================================================

So just adding parantheses in a definition of an exception
yields in these differing results, with not-shown exception-values.

IMHO looks like a case for the bugtracker...

OCaml version is 4.02.1


Ciao,
    Oliver

[-- Attachment #2: exca.ml --]
[-- Type: text/plain, Size: 50 bytes --]

exception A of int * int
let _ = raise ( A(3,4) )

[-- Attachment #3: excb.ml --]
[-- Type: text/plain, Size: 50 bytes --]

exception B of (int*int)
let _ = raise ( B(3,4) )

[-- Attachment #4: testexc.bash --]
[-- Type: text/plain, Size: 203 bytes --]


echo Testcase A
FILE=exca.ml
cat    $FILE
ocaml  $FILE
ocamlc $FILE
./a.out
ocamlopt $FILE
./a.out


echo Testcase B
FILE=excb.ml
cat    $FILE
ocaml  $FILE
ocamlc $FILE
./a.out
ocamlopt $FILE
./a.out