catch_list Production

Definition

catch_list : catch_list catch
           | catch

Purpose

A catch_list is a sequence of one or more catchs.