HomeIsabelle/Phabricator

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

Authored by dcjm on Jun 19 2020, 10:00 AM.

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

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