<in expression> syntax

[Alain Van Kerm]

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 at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.