Sather Home Page

Section 6.8.8.2:
Iter Closure Expression

This expression yields the result of binding zero or more of the self and other arguments of an iter, returning a (partially) bound iter which may later be called (using the built-in language routine call!) or have further arguments bound.

Concrete Syntax

iter closure expression = Bind_SY, Left_Parenthesis_SY,
iter bind expression, Right_Parenthesis_SY ;
iter bind expression = [qualified ident], iter name,
[iter closure argument expression] ;
iter closure argument expression = Left_Parenthesis_SY,
iter closure argument list, Right_Parenthesis_SY ;
iter closure argument list = iter closure argument,
{Comma_SY, iter closure argument} ;
iter closure argument = iter mode, closure argument ;

Abstract Syntax

Static Semantics

Dynamic Semantics


Specification Index Language Index Section 6 Index
Comments or enquiries should be made to Keith Hopper.
Page last modified: Thursday, 26 April 2001.
Produced with Amaya