From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=AWL,HTML_00_10,HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id A810CBC6C for ; Mon, 27 Aug 2007 20:03:26 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7RI3P1s019167 for ; Mon, 27 Aug 2007 20:03:26 +0200 Received: by ug-out-1314.google.com with SMTP id m3so70069ugc for ; Mon, 27 Aug 2007 11:03:25 -0700 (PDT) Received: by 10.142.107.1 with SMTP id f1mr528048wfc.1188237803760; Mon, 27 Aug 2007 11:03:23 -0700 (PDT) Received: by 10.142.80.4 with HTTP; Mon, 27 Aug 2007 11:03:21 -0700 (PDT) Message-ID: <28fa90930708271103gf3aac1bn48f4ea534d3c8313@mail.gmail.com> Date: Mon, 27 Aug 2007 11:03:21 -0700 From: "Luca de Alfaro" To: caml-list@yquem.inria.fr Subject: segfault in String.create MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_42717_24640669.1188237801794" X-Miltered: at discorde with ID 46D311ED.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; segfault:01 bytecode:01 segfault:01 ocaml:01 bytecode:01 debugger:01 ocaml:01 debugger:01 data:02 data:02 slower:02 slower:02 string:02 string:02 native:03 ------=_Part_42717_24640669.1188237801794 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline In a program compiled to bytecode that requires complex setup and gobs of input data, I get a segfault in String.create n where n is 1024. This both in Ocaml 3.09.2 and 3.10. I then tried to run the same code compiled to native code, and it seems to work. I guess I am exceeding some limit somewhere for bytecode code; can anyone tell me how to run the code under bytecode? (I guess there may be some options to tweak...) it is slower but useful to use the debugger. Also, it would be great if Ocaml gave some kind of understandable message, rather than segmentation_fault... Luca ------=_Part_42717_24640669.1188237801794 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline In a program compiled to bytecode that requires complex setup and gobs of input data, I get a segfault in

String.create n

where n is 1024.
This both in Ocaml 3.09.2 and 3.10.

I then tried to run the same code compiled to native code, and it seems to work.
I guess I am exceeding some limit somewhere for bytecode code; can anyone tell me how to run the code under bytecode?  (I guess there may be some options to tweak...) it is slower but useful to use the debugger.
Also, it would be great if Ocaml gave some kind of understandable message, rather than segmentation_fault...

Luca

------=_Part_42717_24640669.1188237801794--