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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 9F5B8BC69 for ; Sun, 15 Jul 2007 09:39:24 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.180]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6F7dNoE021331 for ; Sun, 15 Jul 2007 09:39:24 +0200 Received: by wa-out-1112.google.com with SMTP id j37so1291568waf for ; Sun, 15 Jul 2007 00:39:22 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=PNBy+7AyHI1SPqQrC2892jJ66eW/r7NYrOkEt/SKuc8e/si5TI7XO3olF9A1eCH7NDtWqWtCCVnj6uf2R/kdZULaFEH1lB5GUG6h1mHoE8FiB5dnZzUV8+OcIq64LsaFRNedXhU+v2UZqhpwqSgQk1oiX5Ua+JuwZKOGzFvYqZg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=hNpxT9c5FN5LhKWmz4d+9ctj+1QCmWITVldiuN6THkF88DaNMAG7MgJUEH+afo5uODfM9FZj+RFg11gHPuw2deH4mRYZDj6IvAn4ved9BXrGotBj5u4BJKhbJt1v1zHc1T+uOOX8jZ4liFrBSDLrYWqJJeWtDbKOt85dIcrCN1Y= Received: by 10.114.53.1 with SMTP id b1mr3086926waa.1184485162814; Sun, 15 Jul 2007 00:39:22 -0700 (PDT) Received: by 10.114.170.5 with HTTP; Sun, 15 Jul 2007 00:39:22 -0700 (PDT) Message-ID: <131e28b50707150039p2a5d38f7td59b32f74a8a3b51@mail.gmail.com> Date: Sun, 15 Jul 2007 09:39:22 +0200 From: "Rhythmic Fistman" To: skaller Subject: Re: [Felix-language] building Cc: felix-language@lists.sourceforge.net, dypgen , caml In-Reply-To: <1184481468.31908.28.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <131e28b50707141805k35162771rabebb0f2600a6e5e@mail.gmail.com> <1184471274.10852.129.camel@rosella.wigram> <131e28b50707142325x21de2e27m62887c572a995048@mail.gmail.com> <1184481468.31908.28.camel@rosella.wigram> X-j-chkmail-Score: MSGID : 4699CF2B.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4699CF2B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 ocaml:01 ocaml:01 stack:01 ulimit:01 sourceforge:01 garbage:01 wrote:01 wrote:01 overflow:03 osx:07 probably:07 suggestions:07 seem:08 file:08 On 7/15/07, skaller wrote: > On Sun, 2007-07-15 at 08:25 +0200, Rhythmic Fistman wrote: > > > Now dypgen's crashing with a bus error, even though that > > file doesn't look that complicated: > > you should probably report that on dypgen and ocaml lists. Ok, will try to get self contained example. I'll also try the lastest ocaml. Ocaml programmes shouldn't be able to cause the the ocaml garbage collector to crash... > Any suggestions what causes this, on OSX 10.4? > Still a stack overflow? Not sure - ulimit -s 60000 isn't helping, I can't seem to go above it.