Double empty brackets ([][]) are not allowed in Dana grammar

[JohnnyPol]

Explanation

In the Dana grammar, the rule for ⟨fpar-type⟩ is:

⟨fpar-type⟩ ::= ⟨type⟩ 
              | "ref" ⟨data-type⟩ 
              | ⟨data-type⟩ "[" "]" ("[" ⟨int-const⟩ "]")*

This means that in function parameter types, the third choice only allows one empty dimension [], followed by one or more explicitly sized dimensions.

The following is invalid syntax:

def printBoard: board_param as byte[][], n_param as int

It should be:

def printBoard: board_param as byte[][20], n_param as int