|
@@ -14686,8 +14686,10 @@ named \code{exit}.
|
|
|
|
|
|
\subsection{Expose Allocation}
|
|
|
|
|
|
+% TODO: add figure for C_array
|
|
|
+
|
|
|
This pass should translate array creation into lower-level
|
|
|
-operations. In particular, the new AST node \ALLOCARRAY{\Exp}{\Type}
|
|
|
+operations. In particular, the new AST node \ALLOCARRAY{\Int}{\Type}
|
|
|
is analogous to the \code{Allocate} AST node for tuples. The $\Type$
|
|
|
argument must be \ARRAYTY{T}, where $T$ is the element type for the
|
|
|
array. The \code{AllocateArray} AST node allocates an array of the
|