Version française
Home     About     Download     Resources     Contact us    
Browse thread
global record
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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