From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <psnively@mac.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none 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 86CABBC6C
	for <caml-list@yquem.inria.fr>; Thu,  5 Jul 2007 15:54:58 +0200 (CEST)
Received: from smtpout.mac.com (smtpout.mac.com [17.250.248.173])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l65DsvEM012020
	for <caml-list@inria.fr>; Thu, 5 Jul 2007 15:54:58 +0200
Received: from mac.com (smtpin06-en2 [10.13.10.151])
	by smtpout.mac.com (Xserve/smtpout03/MantshX 4.0) with ESMTP id l65Dsuvn014422;
	Thu, 5 Jul 2007 06:54:56 -0700 (PDT)
Received: from [192.168.0.100] (dsl092-032-215.lax1.dsl.speakeasy.net [66.92.32.215])
	(authenticated bits=0)
	by mac.com (Xserve/smtpin06/MantshX 4.0) with ESMTP id l65Dss7K013069;
	Thu, 5 Jul 2007 06:54:55 -0700 (PDT)
In-Reply-To: <20070705081338.D090BAD43@Adric.metnet.fnmoc.navy.mil>
References: <20070705081338.D090BAD43@Adric.metnet.fnmoc.navy.mil>
Mime-Version: 1.0 (Apple Message framework v752.2)
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
Message-Id: <7A6CB286-9EC7-4430-8A67-D0960EA2182B@mac.com>
Cc: skaller@users.sourceforge.net, caml-list@inria.fr
Content-Transfer-Encoding: 7bit
From: Paul Snively <psnively@mac.com>
Subject: Re: [Caml-list] Incremental, undoable parsing in OCaml as the general parser inversion
Date: Thu, 5 Jul 2007 06:54:54 -0700
To: oleg@pobox.com
X-Mailer: Apple Mail (2.752.2)
X-Brightmail-Tracker: AAAAAA==
X-Brightmail-scanned: yes
X-Miltered: at discorde with ID 468CF831.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; ocaml:01 parser:01 oleg:01 delimited:01 ocamlopt:01 oleg:01 re-writing:01 lexer:01 monadic:01 2007,:98 parsing:01 incremental:01 wrote:01 caml-list:01 functions:01 

Oleg,

Thank you for the detailed explanation--it's as clear as can be.

Given that, can I ask for a follow-up explanation as to what the  
issues in providing delimited continuations natively for ocamlopt are?

Many thanks and best regards,
Paul

On Jul 5, 2007, at 1:13 AM, oleg@pobox.com wrote:

> I'm afraid that cannot be done. That is, short of re-writing
> make_lexer and all other library functions in the monadic style...