HomeIsabelle/Phabricator

Allocate the profiling object for a function at the top level of the code…

Description

Allocate the profiling object for a function at the top level of the code-generator and remove the code to add a reference to this when allocating a cell. That code was broken.

Details

Provenance
dcjmAuthored on Aug 9 2021, 4:37 PM
Parents
rPOLYML15f241698314: Treat closures as word data when generating live-data profile. This deals with…
Branches
Unknown
Tags
Unknown