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

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

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

Am 30.07.2014 16:24, schrieb Jacques Garrigue:

> If there is really a bug in the compiler, this is indeed bad. This 
> happens once in a while, and we fix that as soon as possible. A 
> good idea would be to check with a recent version of the compiler, 
> for instance the current state of the 4.02 branch, which is now 
> pretty stable.
> 
> svn co http://caml.inria.fr/svn/ocaml/version/4.02

I am going to give it a try. Should be a no-brainer with opam.

> Otherwise, if you know what the type error should be, you can try 
> to explain it with a snippet of code. Sometimes what the type 
> should be is not so clear :-)

Hmm. Basically, I am using a lense like this:

let state = { get = (fun a -> a#get_sim_state) ; set = fun a b ->
b#set_sim_state a }

In one point of the program, I am using it to get an option, in
another I (and that's the error) use it to get the record directly.
Then I feed the program with an object that delivers a option (i.e.
get_sim_state yields an option of the state record) and the
typechecker accepts that.

The program is here:

https://github.com/AMSUN-Berlin/ocsimrun/tree/typecheck_bug

The relevant bits are in sim.ml and simTests.ml (and maybe monads.ml).

I have removed all dependencies that are complicated to install. The
rest should be a simple opam install ... && oasis setup && ./configure
&& make

> And bug reports go to the bug tracking system. 
> http://caml.inria.fr/mantis/ It’s better if you can cut it down to 
> something understandable, but if you can’t we’ll still look into 
> it.

Good to hear.


- -- 
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/

iEYEARECAAYFAlPZDwUACgkQhMBO4cVSGS/TGwCePh6rx4OI7uWnYieDjibP3Avc
cZQAoLJMQNpXYUK77fTX6TnZh5KiXMQ4
=QSvy
-----END PGP SIGNATURE-----