-- Andreas 2021-02-02
-- Wrong type for (:[]).

(:[]).  [Foo] ::= Integer;