Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2005-02-04 (21:40)
From: Jon Harrop <jon@j...>
Subject: Re: [Caml-list] The boon of static type checking
On Friday 04 February 2005 20:38, Christophe TROESTLER wrote:
> > >    ocamlc -dtypes
> > >    M-x caml-types-show-types
> Can you be more specific?  Which one does not work -- and possibly
> what error messages do you get?

Sorry, I meant what does "ocamlc -dtypes" do? I can't find it in the man pages 
or on-line docs.

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

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.

> (The emacs command shortcut is C-cC-t).

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

Dr Jon D Harrop, Flying Frog Consultancy Ltd.