Oz and Mozart Hackers Mailing List

Re: PROPOSAL (UCL)


From: Christian Schulte (schulte@imit.kth.se)
Date: Mon Jun 10 2002 - 13:28:38 CEST


> It violates *your* expectation! (For you M.F := V only reduces
> successfully if M is a dictionary.)

Mine, too, by the way.

Christian

> In our expectation:
>
> For a dictionary M then after M.F := V reduces successfully, M.F
> evaluates to V
>
> Otherwise, M is immutable so feature F must be bound to a mutable
> entity which is updated, and after M.F := V reduces successfully,
> @(M.F) evaluates to V.
>
> > I hope I got my understanding right, this time. If yes, then our
> > proposals do indeed differ. >
>
> agreed,
>
> k
> -
> Please send submissions to hackers@mozart-oz.org
> and administriva mail to hackers-request@mozart-oz.org.
> The Mozart Oz web site is at http://www.mozart-oz.org/.

-
Please send submissions to hackers@mozart-oz.org
and administriva mail to hackers-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.



This archive was generated by hypermail 2b29.