[bitc-dev] Q: array type size syntax

[Swaroop Sridhar]

Constantine Plotnikov wrote:
> In the section "3.5.1 Arrays" of BitC specification (0.10+), it is
> said that in type expression "(array T i)", "i" is an integer literal
> of type word.
> 
> Does it mean that it is not possible to use an constant expression of
> type word there?

This restriction is currently imposed, I don't see a reason not to relax 
it to constant expressions. The current compiler does not handle it, 
since it creates some C code emission issues. But that can be identified 
as a limitation in the current implementation.

Swaroop.