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=0.0 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 5E0E7BC37 for ; Wed, 1 Jul 2009 09:31:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwCAButSkqLEwExe2dsb2JhbACCJS+WNAEBFiQFpS6QXwWEEA X-IronPort-AV: E=Sophos;i="4.42,322,1243807200"; d="scan'208,217";a="32271145" Received: from infao0809.mpi-sb.mpg.de (HELO hera.mpi-sb.mpg.de) ([139.19.1.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 01 Jul 2009 09:31:12 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=Cc:Message-Id:From:To: In-Reply-To:Content-Type:Subject:Mime-Version:Date:References; bh=vkT2smZhkcoSKXCaphaYWKpL+3yrOG2bmG81T5tCaYU=; b=wNuY0vpcO90D6 jBNaY2rZXCV8G/RY9bvOnnpbEUC23Lq2sCEHUt1ABRI/yXIeQTvkaNHNSLnlv1IW AN0GCvc3aZVXhAww8cE+ibaPGeL0IzH1p8+8rQSYTRKr5T/2JHEM579rUOJKIqIv dkD5lEEe+GqNBBpe+F0gp4UFASTvmw= Received: from infao0525.mpi-sb.mpg.de ([139.19.1.26]:40592 helo=newmaniac.mpi-sb.mpg.de) by hera.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1MLuHb-0002Rw-7R; Wed, 01 Jul 2009 09:31:09 +0200 Received: from srbk-4db7e261.pool.einsundeins.de ([77.183.226.97]:56379 helo=[192.168.178.20]) by newmaniac.mpi-sb.mpg.de with esmtpsa (TLS-1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.63) (envelope-from ) id 1MLuHa-0006aQ-EY; Wed, 01 Jul 2009 09:31:06 +0200 Cc: Yitzhak Mandelbaum , Andrej Bauer , caml-list@inria.fr Message-Id: From: Andreas Rossberg To: Mike Lin In-Reply-To: <2a1a1a0c0906301913t1dce3eebie91c7cc94f015481@mail.gmail.com> Content-Type: multipart/alternative; boundary=Apple-Mail-2--309188880 Subject: Re: [Caml-list] ocamllex and python-style indentation Mime-Version: 1.0 (Apple Message framework v935.3) Date: Wed, 1 Jul 2009 09:31:06 +0200 References: <7d8707de0906110557n6a1511a2k9f4f00827f954cb6@mail.gmail.com> <4A310A5B.9010404@ens-lyon.org> <7d8707de0906120120x10cc8fe0p54adbd189003f3da@mail.gmail.com> <1750DDE9-4FC6-4657-9687-58240F520A70@mpi-sws.org> <2a1a1a0c0906301913t1dce3eebie91c7cc94f015481@mail.gmail.com> X-Mailer: Apple Mail (2.935.3) X-Spam: no; 0.00; rossberg:01 rossberg:01 ocamllex:01 literals:01 tokens:01 ocaml:01 haskell:01 literals:01 tokens:01 ocaml:01 haskell:01 wrote:01 wrote:01 andreas:01 andreas:01 --Apple-Mail-2--309188880 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit On Jul 1, 2009, at 04.13 h, Mike Lin wrote: >> >> Comments and string literals are no problem, since the lex wrapper >> will >> never see anything inside them as separate tokens anyway. > > OCaml comments can be nested, and must be nested parenthetically. :) I know. (Haskell has nested comments, too, btw.) That does not make a difference, though - it is all handled by lex already. In fact, my code handled nested comments just fine. - Andreas --Apple-Mail-2--309188880 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: 7bit
On Jul 1, 2009, at 04.13 h, Mike Lin wrote:

Comments and string literals are no problem, since the lex wrapper will
never see anything inside them as separate tokens anyway.

OCaml comments can be nested, and must be nested parenthetically. :)

I know. (Haskell has nested comments, too, btw.) That does not make a difference, though - it is all handled by lex already. In fact, my code handled nested comments just fine.

- Andreas

--Apple-Mail-2--309188880--