Oz and Mozart Users Mailing List

<in expression> syntax


From: Alain Van Kerm (alain.van_kerm@etca.alcatel.be)
Date: Thu Mar 07 2002 - 12:06:42 CET


Hi,

Given the context-free syntax (ref Oz Notation, section 3.1)

<expression> ::= ...snipped...
               | "(" <in expression> ")"
                 ...snipped...

<in expression> ::=
   [ <declaration part> in [ <statement> ] ] <expression>

(skip 1) is not an expression although {Browse (skip 1)}
succeeds and shows "1".

Could the Oz Notation doc be incorrect here?
(My feeling is that <in expression> should in fact be
 "[ <declaration part> in ] [ <statement> ] <expression>")

Regs,
----------------------------------
Alain Van Kerm
  Alcatel ETCA - TEL/NM Department
----------------------------------
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.



This archive was generated by hypermail 2b29.