diff options
| author | Yong He <yonghe@outlook.com> | 2025-10-06 17:21:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-07 00:21:37 +0000 |
| commit | 6af3381f47e3c22e1657c0e0064fa466e8bde0f6 (patch) | |
| tree | be187939b58bd6196fb0b2e5824d5d60f312b6b3 /docs/user-guide/toc.html | |
| parent | f4449d9376f0a5c32274fd812d135f3595159bae (diff) | |
Use symbol alias instead of wrapper synthesis to implement link-time types. (#8603)
This change achieves link-time type resolution with a different
mechanism.
For `extern struct Foo : IFoo = FooImpl;`,
instead of synthesizing a wrapper type `Foo` that has a `FooImpl inner`
field and dispatches all interface method calls to `inner.method()`,
this PR completely removes this synthesis step, and instead just lower
such `extern`/`export` types as `IRSymbolAlias` instructions that is
just a reference to the type being wrapped.
Then we extend the linker logic to clone the referenced symbol instead
of the SymbolAlias insts itself during linking.
By doing so, we greatly simply the logic need to support link-time
types, and achieves higher robustness by not having to deal with many
AST synthesis scenarios.
Closes #8554.
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to 'docs/user-guide/toc.html')
| -rw-r--r-- | docs/user-guide/toc.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html index b32ad71da..89ddf34d9 100644 --- a/docs/user-guide/toc.html +++ b/docs/user-guide/toc.html @@ -148,7 +148,6 @@ <li data-link="link-time-specialization#link-time-constants"><span>Link-time Constants</span></li> <li data-link="link-time-specialization#link-time-types"><span>Link-time Types</span></li> <li data-link="link-time-specialization#providing-default-settings"><span>Providing Default Settings</span></li> -<li data-link="link-time-specialization#restrictions"><span>Restrictions</span></li> <li data-link="link-time-specialization#using-precompiling-modules-with-the-api"><span>Using Precompiling Modules with the API</span></li> <li data-link="link-time-specialization#additional-remarks"><span>Additional Remarks</span></li> </ul> |