Module Transl_array_comprehension
Translate array comprehensions; see the .ml file for more details
val comprehension :
transl_exp:
(scopes:Debuginfo.Scoped_location.scopes ->
Jkind.Sort.Const.t ->
Typedtree.expression ->
Lambda.lambda) ->
scopes:Debuginfo.Scoped_location.scopes ->
loc:Lambda.scoped_location ->
array_kind:Lambda.array_kind ->
Typedtree.comprehension ->
Lambda.lambdaTranslate an array comprehension (Typedtree.comprehension, when it's the body of a Typedtree.Texp_array_comprehension) into Lambda. This generates more efficient code in the case where the array has a known fixed size, by preallocating the generated array; otherwise, it dynamically resizes the generated array, cutting it back down to size at the end. The array_kind of the resulting array must be provided. We do not need to pass in whether the resulting array should be mutable or immutable; both sorts of arrays will be constructed mutably, and the type checker has already enforced that only mutable arrays are actually used mutably.
The only variables this term refers to are those that come from the array comprehension itself; some C primitives are referenced, but no standard library functions.
This function needs to translate expressions from Typedtree into Lambda, and so is parameterized by Translcore.transl_exp, its scopes argument, and the location.