From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id EB23EBBAF for ; Tue, 2 Feb 2010 09:48:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgMBAAd2Z0vRVdnhkWdsb2JhbACRN4ISh0A9AQEBAQkLCgcTA6t6gUiFGIhtAQEDBYRABA X-IronPort-AV: E=Sophos;i="4.49,389,1262559600"; d="scan'208";a="55131822" Received: from mail-gx0-f225.google.com ([209.85.217.225]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Feb 2010 09:48:19 +0100 Received: by gxk25 with SMTP id 25so2981602gxk.17 for ; Tue, 02 Feb 2010 00:48:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=xgtkazlifnV98N1cnVEDfzJi7tgzac0h02YVXUmwew0=; b=hHPvLe5sxgTBCNJEFmT0vzagti1G5S8WhpO5ec/Bly62h/iCbEJ1JhYE3VGRJIUe52 Jc9L0igSbIKBPzMfS9bxsTwpKDt58g8oASfb/3HxyyWj9jDh7IzRRd0ch4dIovtnRehv /xMywuL8TtY9FnLoXCk294PZw+eBRlIvm6UKU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=aLBL4uJVGLwdaktonVx+EMg0uj1p5rG+oErpsRmg4qvXbJd1c8qpLINVrHrJCl3/Lr eF7vWHa02IwUwBnQftIekbFMvg5IJcrAKKNW7OpsRu/L0aP7merWbMPoyAgTuHVh1RBw YwdZaPYJV+XRMAOgLyOpBRqmExB4gAC69bVaY= MIME-Version: 1.0 Received: by 10.100.70.18 with SMTP id s18mr3119060ana.166.1265100494907; Tue, 02 Feb 2010 00:48:14 -0800 (PST) In-Reply-To: <694039F8-97E0-4A70-8D16-5114B328A28F@wanadoo.fr> References: <7d8707de1002012333g19ccd2b5h3a657efafa7b2e7b@mail.gmail.com> <694039F8-97E0-4A70-8D16-5114B328A28F@wanadoo.fr> Date: Tue, 2 Feb 2010 09:48:14 +0100 Message-ID: <527cf6bc1002020048o46b5468h41107f48678502a4@mail.gmail.com> Subject: Re: [Caml-list] Parser/lexer for block indented code From: blue storm To: Yoann Padioleau Cc: Andrej Bauer , caml-list@inria.fr Content-Type: multipart/alternative; boundary=00163623aa379aac47047e9a2971 X-Spam: no; 0.00; parser:01 lexer:01 parsers:01 ocaml:01 rossberg:01 lexer:01 rossberg:01 parsers:01 ocaml:01 storm:98 andreas:01 andreas:01 caml-list:01 tgz:02 tgz:02 --00163623aa379aac47047e9a2971 Content-Type: text/plain; charset=ISO-8859-1 Yes, it appears I have a bit over-interpreted the question. Parsers for "generic" indentation-meaningful languages (not OCaml) have been discussed there. In particular, Andreas Rossberg has a working lexer in the layoutLexer.ml file of http://www.mpi-sws.org/~rossberg/hocaml-0.12.tgz --00163623aa379aac47047e9a2971 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Yes, it appears I have a bit over-interpreted the question. Parsers for &qu= ot;generic" indentation-meaningful languages (not OCaml) have been dis= cussed there.
In particular, Andreas Rossberg has a working lexer in the= layoutLexer.ml file of http://www.mpi-sws.org/~rossberg/hocaml-0.12.tgz

--00163623aa379aac47047e9a2971--