feat(slang): inheritance - #697
Draft
hedgar2017 wants to merge 1 commit into
Draft
Conversation
hedgar2017
force-pushed
the
az-slang-inheritance
branch
2 times, most recently
from
September 8, 2026 07:23
7cbb0fa to
586eea6
Compare
Coverage Summary
|
hedgar2017
force-pushed
the
az-slang-inheritance
branch
4 times, most recently
from
September 9, 2026 08:17
0e4889d to
43cd122
Compare
Lowers a contract with contract bases in the Slang frontend: the hierarchy's state variables and getters, the resolved function set with a bare call dispatched to the most-derived override, `super` and contract-qualified calls, and the constructor chain, where each constructor calls the next with the argument list evaluated at that call, as legacy codegen has it, binding the parameters of the contract providing the list from the values threaded down the chain. The linker names an object missing from the build instead of leaving an undefined symbol, the Yul sign-extend wrapper uses the operand setters the pinned dialect declares, and the tester's Slang view follows the compilation API the pinned revision has. Claude-Session: https://claude.ai/code/session_01U1vBrn8EeERepkVEG6CX46
hedgar2017
force-pushed
the
az-slang-inheritance
branch
from
September 9, 2026 16:04
43cd122 to
28da541
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Lowers contracts with contract bases in the Slang frontend: inherited state and getters, virtual dispatch to the most-derived override,
superand contract-qualified calls, and the base-constructor chain with each argument list evaluated at the call to its target. The tester's Slang view follows the compilation API of the revision this pins.cargo run-tester-slang: 17869 -> 18385 passed.https://claude.ai/code/session_01U1vBrn8EeERepkVEG6CX46