HomeIsabelle/Phabricator

Fix the transformation that chains SetContainers. This was changed as a result…

Description

Fix the transformation that chains SetContainers. This was changed as a result of splitting indirection from containers
(tuples on the stack) from indirection from heap tuples since they are different in 32-in-64. This transformation is
essential to ensure that tail-recursive functions that return tuples do not lose tail-recursion.

Details

Provenance
dcjmAuthored on Jun 19 2020, 10:00 AM
Parents
rPOLYMLc355b21bdbf7: When loading a container address use native-word rather than poly-word.
Branches
Unknown
Tags
Unknown