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

Bar.    Foo   ::= "foo";
(:[]).  [Foo] ::= Integer;  -- Wrong type.