Extensions

Extensions[22]:

TypeDenoter:
  'array' '[' type array_tail /
  'array' '[' type ']' 'of' type .
array_tail:
  ',' type array_tail /
  ',' type ']' 'of' type .

unlabeled_statement: 'with' variable with_tail .
with_tail:
  ',' variable with_tail /
  'do' statement .

variable: subscript_head ']' .
subscript_head:
  subscript_head ',' Subscript /
  variable '[' Subscript .

This macro is invoked in definition 12.

Extension symbol mapping[23]:

TypeDenoter ::= array_tail .
statement ::= with_tail .
variable ::= subscript_head .

This macro is invoked in definition 13.

Extension rule mapping[24]:

TypeDenoter: 'array' '[' type array_tail
  < 'array' '[' $1 ']' 'of' $2 > .
array_tail: ',' type array_tail
  < 'array' '[' $1 ']' 'of' $2 > .
array_tail: ',' type ']' 'of' type
  < 'array' '[' $1 ']' 'of' $2 > .

unlabeled_statement: 'with' variable with_tail
  < 'with' $1 'do' $2 > .
with_tail: ',' variable with_tail
  < 'with' $1 'do' $2 > .

subscript_head: variable '[' Subscript
  < $1 '[' $2 ']' > .
subscript_head: subscript_head ',' Subscript
  < $1 '[' $2 ']' > .

This macro is invoked in definition 13.