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
        Statement ; Statementlist