Open mshinwell opened 6 years ago
We think some kind of simple linearity analysis is required for Unbox_returns (and the equivalent for Define_symbol) so that we know for sure that values being unboxed were directly constructed in the function.
Unbox_returns
Define_symbol
We think some kind of simple linearity analysis is required for
Unbox_returns
(and the equivalent forDefine_symbol
) so that we know for sure that values being unboxed were directly constructed in the function.