This PR changes the representation of stack allocated arrays. The new representation allows to retroactively define the correct array length as part of a subsequent compilation step. For more details, read the comments in the code.
Existing tests should cover existing functionality. Adding tests for the new functionality requires merging https://github.com/microsoft/qsharp-compiler/pull/1554; I'll add the tests once that PR has merged.
This PR changes the representation of stack allocated arrays. The new representation allows to retroactively define the correct array length as part of a subsequent compilation step. For more details, read the comments in the code. Existing tests should cover existing functionality. Adding tests for the new functionality requires merging https://github.com/microsoft/qsharp-compiler/pull/1554; I'll add the tests once that PR has merged.