missing error message for 0-length array #303
Description
See discussion on seL4/seL4#443 -- the parser should produce an error message for this case, not just fail silently.
{{ message }}
See discussion on seL4/seL4#443 -- the parser should produce an error message for this case, not just fail silently.