Oz and Mozart Hackers Mailing List

Re: '#'(X,Y)=Z


From: Denys Duchier (Denys.Duchier@ps.uni-sb.de)
Date: Wed Jan 16 2002 - 14:31:04 CET


luque@info.ucl.ac.be (Luis Quesada) writes:

> My point is that '#'(X,Y)=Z is a syntax error because a variable
> cannot occur in the position where Y does. Am I wrong?

You are completely wrong. As I explained, a statement is not an
expression. X,Y is a fine statement. X,foo(Z) is also a statement.
X,foo($) is an expression, it is merely convenient syntax for
local Z in X,foo(Z) Z end, where X,foo(Z) is a statement. The
distinction between statement and expression is a static one.

Cheers,

-- 
Dr. Denys Duchier			Denys.Duchier@ps.uni-sb.de
Forschungsbereich Programmiersysteme	(Programming Systems Lab)
Universitaet des Saarlandes, Geb. 45	http://www.ps.uni-sb.de/~duchier
Postfach 15 11 50			Phone: +49 681 302 5618
66041 Saarbruecken, Germany		Fax:   +49 681 302 5615
-
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.