From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <andrej.bauer@andrej.com>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 4CDC6BBAF
	for <caml-list@yquem.inria.fr>; Tue,  2 Feb 2010 08:33:39 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiMBADZkZ0vRVdrhkGdsb2JhbACDM4wmAYNvh0A9AQEBAQkJDAcTA6t2j3GBLYI+WgQ
X-IronPort-AV: E=Sophos;i="4.49,389,1262559600"; 
   d="scan'208";a="42912385"
Received: from mail-bw0-f225.google.com ([209.85.218.225])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Feb 2010 08:33:38 +0100
Received: by bwz25 with SMTP id 25so3936686bwz.17
        for <caml-list@inria.fr>; Mon, 01 Feb 2010 23:33:38 -0800 (PST)
MIME-Version: 1.0
Received: by 10.204.10.147 with SMTP id p19mr3260961bkp.213.1265096018649; 
	Mon, 01 Feb 2010 23:33:38 -0800 (PST)
Date: Tue, 2 Feb 2010 08:33:38 +0100
Message-ID: <7d8707de1002012333g19ccd2b5h3a657efafa7b2e7b@mail.gmail.com>
Subject: Parser/lexer for block indented code
From: Andrej Bauer <andrej.bauer@andrej.com>
To: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; parser:01 lexer:01 andrej:01 andrej:01 parser:01 lexer:01 haskell:01 ocamlyacc:01 python:03 seems:03 hints:04 hints:04 wheel:94 bauer:09 bauer:09 

Would anyone happen to have lying around parser/lexer for block
indented code (a la Python and Haskell)? I am using ocamlyacc or
menhir, whichever.

It seems to be the best way to do deal with this is to put a filter
between lexer and parser that inserts appropriate hints. I would like
to avoid reinventing the wheel, hints and advice are appreciated.

With kind regards,

Andrej