Vocabularycompiler.tree.escape-analysis.allocationsVariable descriptionA map from values to one of the following:
| • | f -- initial status, assigned to values we have not seen yet; may potentially become an allocation later |
| • | a sequence of values -- potentially unboxed tuple allocations |
| • | t -- not allocated in this procedure, can never be unboxed |
Definition