[Caml-list] OCaml extensions and Emacs indentation

[Caml-list] OCaml extensions and Emacs indentation

[Lukasz Stafiniak]

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

Re: [Caml-list] OCaml extensions and Emacs indentation

[Alexander V. Voinov]

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