From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA27727; Thu, 11 Sep 2003 20:29:16 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA29965 for ; Thu, 11 Sep 2003 20:29:15 +0200 (MET DST) Received: from escargot.exelixis.com (shaker.exelixis.com [65.209.203.254]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h8BITDf06950 for ; Thu, 11 Sep 2003 20:29:14 +0200 (MET DST) Received: from quasar.ipa.nw.ru (dhcp-172-29-16-184.exelixis.com [172.29.16.184]) by escargot.exelixis.com (8.11.7+Sun/8.11.7) with ESMTP id h8BIPO813411; Thu, 11 Sep 2003 11:25:25 -0700 (PDT) Message-ID: <3F60BE91.7050900@quasar.ipa.nw.ru> Date: Thu, 11 Sep 2003 11:27:29 -0700 From: "Alexander V. Voinov" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4b) Gecko/20030507 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Lukasz Stafiniak CC: caml-list@inria.fr Subject: Re: [Caml-list] OCaml extensions and Emacs indentation References: <000001c37891$61b2ba80$c617fea9@ppp> In-Reply-To: <000001c37891$61b2ba80$c617fea9@ppp> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; voinov:01 quasar:01 caml-list:01 indentation:01 lukasz:01 indentation:01 tweaked:01 tuareg:01 lukasz:01 tuareg:01 genial:99 messes:01 camlp:01 indent:01 generic:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi Lukasz, For the extensions, which I finally adopted for everyday use, and which are sensitive for the indentation (map...with, iterate...with...done, etc) I have just tweaked tuareg. This works just fine. Alexander Lukasz Stafiniak wrote: >Hi, > >How do you deal with indentation when using syntax extensions? Tuareg, >otherwise genial, instead of helping, "messes" the source using them. By >extensions I mean Meta OCaml, Fresh OCaml, user extensions using Camlp4. >More, Tuareg fails to indent record types with polymorphic fields. > >One solution would be to use generic indentation and other goods a la >Semantic's. It takes a BNF-style grammar. > >An ultimate solution would be to port Camlp4 to Semantic to parse the OCaml >source and pass the (translated) parse-tree to Semantic. This would require >incremental parsing by Camlp4. At present, Semantic 2.0 uses Bison. > >More straightforward solution is to make the syntax indented by Tuareg >customizable. > >Cheers, >Lukasz > > >------------------- >To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr >Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ >Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > > > ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners