7.6. Compound Statements

A compound statement is a sequence of statement grouped to form a single statement, for use where the syntactic structure of the language demands. Compound statements are transparent to scopes. It is therefore permitted to go to a label which is set inside a compound statement. The syntax is

Compoundstatement ::= 
     BEGIN  Statementlist  END 

Statementlist ::= 
     Statement ;  Statementlist