From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr 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 4BE52BDCB for ; Sat, 10 Sep 2005 18:12:48 +0200 (CEST) Received: from xproxy.gmail.com (xproxy.gmail.com [66.249.82.197]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8AGCl3e005308 for ; Sat, 10 Sep 2005 18:12:47 +0200 Received: by xproxy.gmail.com with SMTP id h30so467765wxd for ; Sat, 10 Sep 2005 09:12:47 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=bHCjP2BAi/g5WwNq21v42Ry/ps4Hz8VxArdOVelw/3oX1/xRyglJ0p60XzcJR+BuqURIqprNSjU5U9sNhdT2qfO2z3HVgFPqiqcUmobfoVx7Toh8RQZ+bXBzYk8PZSPs0My4KorlQ/2Xb7ERNqalXzYf5QYGYppfVqC9tq3uxXI= Received: by 10.70.111.9 with SMTP id j9mr35762wxc; Sat, 10 Sep 2005 09:12:47 -0700 (PDT) Received: by 10.70.73.9 with HTTP; Sat, 10 Sep 2005 09:12:47 -0700 (PDT) Message-ID: Date: Sun, 11 Sep 2005 04:12:47 +1200 From: Jonathan Roewen Reply-To: jonathan.roewen@gmail.com To: caml-list@yquem.inria.fr Subject: [Caml-list] parsers/lexers some more Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline X-Miltered: at nez-perce with ID 432305FF.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 parsers:01 lexers:01 parser:01 lexer:01 ocaml:01 runtime:01 lexer:01 parser:01 bytecode:01 bytecode:01 ocaml:01 parsing:01 lexing:01 exception:01 Hi Again, I'm having a problem with my native code version of my parser/lexer combo. I've tested it in the top-level, and it works fine. However, with my OS, the ocaml runtime causes a processor exception (normally a bounds check error). I'm curious: is the lexer & parser C code exactly the same for both bytecode & native code versions? I'm finding it hard to understand why it works in bytecode, and not in my OS. Also, I've noticed that ocaml exceptions aren't propogated correctly in my OS iff it's from parsing/lexing. Any insights on what could cause that? Jonathan