Browse thread
Estimating the size of the ocaml community
-
Yaron Minsky
-
Christopher A. Watford
-
Frédéric_Gava
-
skaller
-
Erik de Castro Lopo
- Olivier_Pérès
-
Thomas Fischbacher
-
Frédéric_Gava
-
Thomas Fischbacher
- Paul Snively
- josh
- Richard Jones
-
Jon Harrop
-
Michael Walter
-
Jon Harrop
- Damien Doligez
- Thomas Fischbacher
- Michael Walter
-
Radu Grigore
- Gerd Stolpmann
- Jon
-
Jon Harrop
- Thomas Fischbacher
- Richard Jones
-
Michael Walter
- Ville-Pertti Keinonen
- Oliver Bandel
- Basile STARYNKEVITCH
-
Thomas Fischbacher
- ronniec95@l...
- skaller
- chris.danx
-
Frédéric_Gava
-
Erik de Castro Lopo
- sejourne_kevin
- Stefano Zacchiroli
-
skaller
-
Frédéric_Gava
- Kenneth Knowles
- Michael Jeffrey Tucker
- Richard Jones
- Nicolas Cannasse
- Evan Martin
- Eric Stokes
- chris.danx
- Sylvain LE GALL
- sejourne_kevin
- Sven Luther
- Johann Spies
-
Christopher A. Watford
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| 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.