Module Destructors

module Destructors: sig .. end

retrieve local variables with __fc_destructor attribute and add the appropriate calls to the corresponding destructor function when we exit the scope of the variable.

Argument of the attribute can take the following forms:


val transform_category : File.code_transformation_category

category of the transformation. Should be done after any transformation susceptible to change the CFG of the program (e.g. Exn_flow.transform_category)