[Caml-list] Segmentation fault due to uncaught type error

["Christoph Höger" <christoph.hoeger@tu-berlin.de>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear OCaml users/developers,

I am developing a rather large codebase using OCaml and somewhat
stressing the type system in the process. I already triggered a bug
which I could reproduce with a small example and reported it.

This one is different. In short: I have a test case that compiles just
fine, even though my program contains a (stupid) type error. Resulting
is a runtime crash of the generated OCaml code (while attempting to
access a record field, a computed pointer points to noman's land).

The thing is: this time, I don't see a way to reduce the code to a
smaller size. It is probably doable, but it's also likely that the
reduced code will not trigger the error. So the whole process will
probably take a long time. Time, I (unfortunately) do not have.

On the other hand, I would consider this kind of a bug a very severe
problem in any statically typed language. So I really want to help out
to track down and reproduce this bug. I just cannot do it alone.

As a first step, if anyone wants to work on this issue, I would help
out to compile the program in the first place. It has some
dependencies which could be cut-off, and others that need to be
installed. Hopefully, most deps could be removed, though.

Anyone interested?

Christoph
- -- 
Christoph Höger

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Übersetzerbau und Programmiersprachen

Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin

Tel.: +49 (30) 314-24890
E-Mail: christoph.hoeger@tu-berlin.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlPY7vcACgkQhMBO4cVSGS+JuQCglLXD2Qt9SdvdndA3hGd2JVdw
iLsAn2OsG/BVHfYwmhJ2knrrX33kVHEm
=zvj1
-----END PGP SIGNATURE-----