On Fri, 15 Jan 2010 09:45:08 +0100, Peter Van Roy <[email protected]>
wrote:
> The record selection function is not part of the kernel language defined
> in chapter 2. It is one of the basic functions that are added to the
> kernel language, just like Arity and Label, for practical programming.
> When translating a program to kernel syntax, the syntax of record
> selection is defined as in your first example: X=R.F.
Thanks for your reply. I had understood that each of these basic
operations was actually syntactic sugar for some procedure call.
X = Y=<5
could be translated into
{Value.'=<' 3 5 X}
or being a bit more precise/tedious
local LEQ P1 P2 in
LEQ = Value.'=<'
P1=3
P2=5
{LEQ P1 P2 X}
end
As I mentioned in my previous message, this doesn't make sense (to me)
in the case of R.F
So now I wonder if my previous understanding of basic operations is
incomplete.
All the best
David
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
