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: | 2005-02-05 (00:56) |
From: | Jon Harrop <jon@j...> |
Subject: | Re: [Caml-list] The boon of static type checking |
On Friday 04 February 2005 22:11, Christophe TROESTLER wrote: > (you are working with the latest version of the tools, don't you) Latest Debian Sarge. The commands should have been "M-x caml-types-show-type" and "push CTRL-c then CTRL-t". Having compiled with -dtypes, these work. However, I can't figure out how to display whole types (it only displays the first 70 chars or so). > 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 just took advantage of a fresh Debian install on my laptop and installed Tuareg. It is quite broken under emacs (in the same way as my desktop) but xemacs is better. That indentation bug is still there though. Specifically, in the structure of a module, after a bunch of definitions, I have a comment. The first lines of all member definitions after that are all incorrectly indented by zero characters (instead of four). I haven't been able to boil the example down and I can't give anyone the code, unfortunately. :-( Thanks for your help though! -- Dr Jon D Harrop, Flying Frog Consultancy Ltd.