Comment author: administrator

Hi,

I am trying to learn OCAML. While playing with the interpreter, I entered
the following function definition:

let myfun (x :: y :: [] | x :: _ :: y :: _) = x :: y :: [] ;;

the interpreter accepted that (with a warning that the definition was not
exhaustive for the 'a list type, which is perfectly right).

When I tried to execute the function on an example:

myfun [2 ; 3] ;;

The interpreter crashed!!!!

I was using the Windows interpreter (my PC has Windows NT), but I tried it
on the UNIX version, and this one crashed as well.

Then I tried to use the compiler (ocamlopt.opt) on the UNIX system. I put
the definition in the program, applied the function to [2;3] as well as
[2;3;4], and printed out the results. It ran beautifully with no error.

Thanks,

Dan Arnon

This bug is known and classified as #326 in the ocaml bug tracking
system.

It is fixed in the developpment sources.

Thank you for reporting the bug.

--Luc Maranget

Comment author: administrator

Same as #326, which is fixed argll
-Luc