Since values returned by Catala functions can contain boxes in the C backend, the user cannot clear the Catala memory allocation because it would free the boxes in the return values they want to use.
This should be fixed by providing generated deep-copy functions (that use malloc instead of the Catala allocator) such that the user can copy interesting values outside of the Catala-managed memory.
Since values returned by Catala functions can contain boxes in the C backend, the user cannot clear the Catala memory allocation because it would free the boxes in the return values they want to use.
This should be fixed by providing generated deep-copy functions (that use
mallocinstead of the Catala allocator) such that the user can copy interesting values outside of the Catala-managed memory.