HomeIsabelle/Phabricator

Fix sharedata. Must check for forwarding pointers before checking for "depth".
1b2dcf8f5202Unpublished

Unpublished Commit ยท Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Fix sharedata. Must check for forwarding pointers before checking for "depth". These were previously exclusive when depth was encoded using the top two bits in the length word but that is no longer the case.

Details

Provenance
dcjmAuthored on Jan 27 2019, 4:07 PM
Parents
rPOLYML109cbc8748a5: Fix EnterCallbackFunction for 32-in-64.
Branches
Unknown
Tags
Unknown

Event Timeline