Browse thread
global record
-
Andreas Biegert
- Pietro Abate
- David MENTRE
-
Richard Jones
-
Yoann Padioleau
-
Richard Jones
- Jean-Christophe Filliatre
- William D. Neumann
-
Richard Jones
-
Yoann Padioleau
- Jeff Henrikson
[
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: | Jean-Christophe Filliatre <filliatr@l...> |
| Subject: | Re: [Caml-list] global record |
Richard Jones writes: > On Wed, Jul 19, 2006 at 04:39:32PM +0200, Yoann Padioleau wrote: > > Richard Jones <rich@annexia.org> writes: > > > val username : string > > > > You certainly mean > > val username: string ref > > No, I mean: > > val username : string and I confirm :-) I use the same trick of dereferencing the references used for command-line parsing as soon as it is done and I find this very convenient. This can be realized in the very first module on your ocaml link command, and thus in whole the remaining of your code you do not need to use the deref operator (!) anymore. -- Jean-Christophe