From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id D31F4BCAB for ; Fri, 27 May 2005 23:13:18 +0200 (CEST) Received: from [IPv6:::1] (yquem.inria.fr [128.93.8.37]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4RLDGXP005627; Fri, 27 May 2005 23:13:17 +0200 In-Reply-To: <20050527192631.GF4700@sk2-4.tky.hut.fi> References: <20050527192631.GF4700@sk2-4.tky.hut.fi> Mime-Version: 1.0 (Apple Message framework v622) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit Cc: caml-list@yquem.inria.fr From: Damien Doligez Subject: Re: [Caml-list] Assertion failure in ocamlrund Date: Fri, 27 May 2005 23:13:15 +0200 To: Sami Liedes X-Mailer: Apple Mail (2.622) X-Miltered: at nez-perce with ID 42978D6C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 assertion:01 ocamlrund:01 freelist:01 assertion:01 -unsafe:01 ocaml:01 2005,:98 26,:98 wrote:01 doligez:01 doligez:01 compiling:02 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: On May 27, 2005, at 21:26, Sami Liedes wrote: > file freelist.c; line 123 ### Assertion failed: wo_sz >= 1 Have you tried compiling without option -unsafe and using only the safe versions of Array.get and Array.set? Is your program pure OCaml without any C code? If the answers are yes to both questions, I'd like to get a copy of your source. -- Damien