Parse error on array of arrays

[therontarigo]

Input:

#version 450
float arr[5][5];

Parse error: Error in arrayarray.glsl: Ln: 2 Col: 10
float arr[5][5];
         ^
Expecting: '('

[therontarigo]

Workaround:

#version 450
float[5][5] arr;

...where upon I discover a further bug that unsized arrays fail to parse in this syntax.

Type specification array syntax: array of array parses per many (between (ch '[') (ch ']') expr)

shader-minifier/src/parse.fs

Lines 204 to 207 in d3c28d6

	let specifiedTypeGLSL =
	let typeSpec = (structSpecifier |>> Ast.TypeBlock) <|> (ident |>> (fun id -> Ast.TypeName id.Name))
	let arraySizes = many (between (ch '[') (ch ']') expr)
	pipe3 glslQualifier typeSpec arraySizes (fun tyQ name sizes -> Ast.makeType name tyQ sizes)

C array declaration syntax: array of array does not parse per opt bracket

shader-minifier/src/parse.fs

Lines 242 to 249 in d3c28d6

	// eg. "int foo[] = exp, bar = 3"
	do declRef.Value <- (
	let bracket = between (ch '[') (ch ']') (opt expr) |>> (fun size -> defaultArg size (Ast.Int (0, "")))
	let init = ch '=' >>. exprNoComma
	let var = pipe4 ident (opt bracket) semantics (opt init) Ast.makeDecl
	let list = sepBy1 var (ch ',')
	tuple2 specifiedType list
	)

It is apparently not only a parser deficiency but also a limitation of the AST, where currently any "decl" uses a single option size giving only a choice of singular type or sized array.