From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA31984 for caml-red; Mon, 25 Dec 2000 22:40:05 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA31980 for <caml-list@pauillac.inria.fr>; Sat, 23 Dec 2000 01:34:26 +0100 (MET)
Received: from elbereth.pgh.arsdigita.com (63-224-222-81.customers.uswest.net [63.224.222.81])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eBN0YP914075
	for <caml-list@inria.fr>; Sat, 23 Dec 2000 01:34:25 +0100 (MET)
Received: by elbereth.pgh.arsdigita.com (Postfix, from userid 1000)
	id DBAD936B29; Fri, 22 Dec 2000 19:39:01 -0500 (EST)
To: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk)
Cc: caml-list@inria.fr
Subject: Re: Ref syntax
References: <Pine.LNX.4.20_heb2.08.0012211444520.26395-100000@zigzag.cs.huji.ac.il>
	<slrn9470vq.4i5.qrczak@qrnik.zagroda>
From: John Prevost <jmp@arsdigita.com>
Date: 22 Dec 2000 16:39:01 -0800
In-Reply-To: <slrn9470vq.4i5.qrczak@qrnik.zagroda>
Message-ID: <87k88sm0nu.fsf@elbereth.pgh.arsdigita.com>
User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/21.0.91
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: weis@pauillac.inria.fr

>>>>> "mk" == Marcin 'Qrczak' Kowalczyk <qrczak@knm.org.pl> writes:

    mk> The only consistent syntax would be "!x <-
    mk> new_contents_of_x". Note that the revised syntax uses "x.val
    mk> <- new_contents_of_x", with x.val being equivalent to old !x
    mk> on both sides of <- and without the need of any magic syntax
    mk> for references in addition to what is available anyway for
    mk> mutable fields.

Of course, in the standard syntax you can write "x.contents <- 1" in
the same way.  Though that's quite a bit more verbose.

John.