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.9 required=5.0 tests=DNS_FROM_RFC_ABUSE, 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 5748CBC50 for ; Sat, 16 Sep 2006 16:45:48 +0200 (CEST) Received: from nz-out-0102.google.com (nz-out-0102.google.com [64.233.162.199]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8GEjlr3021864 for ; Sat, 16 Sep 2006 16:45:48 +0200 Received: by nz-out-0102.google.com with SMTP id m22so1230568nzf for ; Sat, 16 Sep 2006 07:45:47 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=oLMAro5ZnM4Wzde9+5JJ2vKGu069clpQuZeQOZhC/im5okJUrmRAhlWdAThbPPc92qU0PG2wJF52/MXGtYfh2CFKp3v+lPRr6O9dSPpWigUWiaBOSVPfio1Ruwl7QxjdQQdNXKItE5jNTaXDJyn/N4qyqN8J1rE9VCHCWNolsYA= Received: by 10.65.114.11 with SMTP id r11mr10500499qbm; Sat, 16 Sep 2006 07:45:46 -0700 (PDT) Received: by 10.65.132.5 with HTTP; Sat, 16 Sep 2006 07:45:46 -0700 (PDT) Message-ID: <6dbd4d000609160745ta2c6dc0v5b6d9c14243e6f38@mail.gmail.com> Date: Sat, 16 Sep 2006 10:45:46 -0400 From: "Denis Bueno" To: "OCaml Mailing List" Subject: Odd OCAMLRUNPARAM behavior MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 450C0E1B.001 on discorde : j-chkmail score : X : 0/20 1 X-Miltered: at discorde with ID 450C0E1B.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; binary:01 ocamlc:01 parsing:01 parsing:01 invocation:01 stack:01 exception:01 exception:01 constraint:01 constraint:01 mly:01 debug:03 debug:03 driver:04 driver:04 What could explain this behavior? `test_cobasa' is a binary produced by ocamlc.opt. ,---- | $ echo $OCAMLRUNPARAM | b | $ ./test_cobasa -v -f ../test/constraint.cob | debug1: Parsing '../test/constraint.cob'... | Fatal error: exception ErrorMsg.Todo | $ OCAMLRUNPARAM="b" ./test_cobasa -v -f ../test/constraint.cob | debug1: Parsing '../test/constraint.cob'... | Fatal error: exception ErrorMsg.Todo | Raised at file "cobasaParser.mly", line 455, characters 38-51 | Called from file "parsing.ml", line 135, characters 39-75 | Called from file "parsing.ml", line 156, characters 4-28 | Re-raised at file "parsing.ml", line 174, characters 14-17 | Called from file "driver.ml", line 125, characters 12-81 | Called from file "driver.ml", line 165, characters 13-36 | $ `---- Shouldn't the first invocation of test_cobasa give me a stack trace? -Denis