From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7B1B3BCAB; Sat, 28 May 2005 00:10:54 +0200 (CEST) Received: from smtp-3.hut.fi (smtp-3.hut.fi [130.233.228.93]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4RMAro8031426 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Sat, 28 May 2005 00:10:54 +0200 Received: from localhost (katosiko.hut.fi [130.233.228.115]) by smtp-3.hut.fi (8.12.10/8.12.10) with ESMTP id j4RMArug026703; Sat, 28 May 2005 01:10:53 +0300 Received: from smtp-3.hut.fi ([130.233.228.93]) by localhost (katosiko.hut.fi [130.233.228.115]) (amavisd-new, port 10024) with LMTP id 14715-38; Sat, 28 May 2005 01:10:52 +0300 (EEST) Received: from vipunen.hut.fi (vipunen.hut.fi [130.233.228.9]) by smtp-3.hut.fi (8.12.10/8.12.10) with ESMTP id j4RM2xHE025922; Sat, 28 May 2005 01:02:59 +0300 Received: (from sliedes@localhost) by vipunen.hut.fi (8.12.10/8.12.9/Submit) id j4RM2ruc000346; Sat, 28 May 2005 01:02:53 +0300 (EEST) Received: by sk2-4.tky.hut.fi (hashcash-sendmail, from uid 1000); Sat, 28 May 2005 01:03:30 +0300 Date: Sat, 28 May 2005 01:03:30 +0300 From: Sami Liedes To: Damien Doligez Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Assertion failure in ocamlrund Message-ID: <20050527220330.GG4700@sk2-4.tky.hut.fi> Mail-Followup-To: Damien Doligez , caml-list@yquem.inria.fr References: <20050527192631.GF4700@sk2-4.tky.hut.fi> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="at6+YcpfzWZg/htY" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.9i X-Hashcash: 1:24:050527:damien.doligez@inria.fr::dc/q396hHDb1pV+F:00000000000000 000000000000000000000001MJUu X-Hashcash: 1:24:050527:caml-list@yquem.inria.fr::o6kT82MEFP34UVh+:0000000000000 0000000000000000000000007wSb X-TKK-Virus-Scanned: by amavisd-new-2.1.2-hutcc at katosiko.hut.fi X-Miltered: at concorde with ID 42979AED.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 assertion:01 ocamlrund:01 damien:01 -unsafe:01 ocaml:01 -unsafe:01 -thread:01 libs:01 threads:01 bug:01 wrote:01 unix:01 doligez:01 compile:01 X-Attachments: type="application/pgp-signature" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: --at6+YcpfzWZg/htY Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, May 27, 2005 at 11:13:15PM +0200, Damien Doligez wrote: > Have you tried compiling without option -unsafe and using only the > safe versions of Array.get and Array.set? >=20 > Is your program pure OCaml without any C code? Yes, and yes. I don't use -unsafe, and assuming you mean the normal Array.set and Array.get, I use them and never unsafe_get or unsafe_set. No C code. I compile and link everything with -thread or -vmthread and the only non-default libs I link in are str, unix and threads. I don't use Obj or Marshal. > If the answers are yes to both questions, I'd like to get a copy > of your source. That is possible. However the program interfaces with a server written in perl and I'll have to ask for permission to give its code to you - it's probably quite hard to get the bug to happen without the server program. I assume I can get a permission within a day or at most two so I'll get back to you then. Sami --at6+YcpfzWZg/htY Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFCl5kyyc0QC7DZBM8RAlKrAKC2JmUzuM0fVIsuNJK8SCoH7g47oACg8UNZ 0Xk5xUbRTP7ikluJd/xmi7k= =NqbP -----END PGP SIGNATURE----- --at6+YcpfzWZg/htY--