Skip to content

Fix the arity of thunks to be on the same location as in native Clean programs

Clean Importer requested to merge arity-of-thunks into master

This is needed, for instance, when using GraphCopy functions that get this information from interpreter descriptors.

Merge request reports