Version française
Home     About     Download     Resources     Contact us    
Browse thread
Estimating the size of the ocaml community
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe TROESTLER <Christophe.Troestler@u...>
Subject: Re: [Caml-list] The boon of static type checking
On Fri, 4 Feb 2005, Jon Harrop <jon@jdh30.plus.com> wrote:
> 
> Sorry, I meant what does "ocamlc -dtypes" do? I can't find it in the
> man pages or on-line docs.

It generates *.annot files that emacs can use to display the types.

>  When I do "M-x caml-types-show-types" and hit enter, emacs just
> adds "[No match]" and beeps.

This is strange, the message should be:
  No annotation file. You should compile with option "-dtypes".

(you are working with the latest version of the tools, don't you)

> I have never been very happy with emacs' editing of ocaml. I often
> find that it randomly starts to indent incorrectly (as if the code
> were in a comment), comments are incorrectly syntax highlighted and
> have some code on which it indents wrongly every time.

Do you use the standard OCaml mode or Tuareg
(http://www-rocq.inria.fr/%7eacohen/tuareg/)?  I personally use the
latter and I do not have such problems.

> I have no idea what that means, but I just tried it and emacs inserted 
> "try\n\nwith". :-)

It means "push CTRL-c then CTRL-c" is a shortcut for "M-x
caml-types-show-types" (you did C-ct).

ChriS