Sather Home Page

Section 6.8.8.1:
Routine Closure Expression

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

Concrete Syntax

routine closure expression = Bind_SY, Left_Parenthesis_SY,
routine bind expression, Right_Parenthesis_SY ;
routine bind expression = [qualified ident], identifier,
[routine closure argument expression] ;
routine closure argument expression = Left_Parenthesis_SY,
routine closure argument list, Right_Parenthsis_SY ;
routine closure argument list = routine closure argument,
{Comma_SY, routine closure argument} ;
routine closure argument = routine mode, closure argument ;
closure argument = expression | low line ;

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