ExaModelsC: emit several models into one library - #308

Merged

sshin23 merged 16 commits into

mainfrom

abi/multi-model-producer

Aug 13, 2026

Commits on Aug 13, 2026

compile_library: emit several models into one library
sshin23
committed
7068d81
instantiate: force vararg specialization, for AOT trimmability

sshin23
and
claude
committed
1a5db0a
ExaModelsC: emit the schema + builder ABI for structured recipes

sshin23
and
claude
committed
263da41
ExaModelsC: pin the caller's developed packages in the generated app

sshin23
and
claude
committed
29c799c
instantiate: unroll the container walk as well as specializing the vararg
sshin23
committed
97fc878
ExaModelsC: an argument-function instantiation surface
sshin23
committed
1e258b0
Tests, docs, and a compatibility spelling for the argument-function surface

sshin23
and
claude
committed
4a55d35
argfun: refuse a function the generated app cannot reach
sshin23
committed
b0cf5d7
Test: the argfun guard refuses a Main-defined function

sshin23
and
claude
committed
1107d60
Store a subexpression as a node, so `@add_expr` works in a recipe

sshin23
and
claude
committed
e6b158e
ExaModelsC: read the owning package from its project, not its PkgId

sshin23
and
claude
committed
202b4f0
Docs: kind 1 is indistinguishable by design; _argkind pairs with _nargs

sshin23
and
claude
committed
2698158
argfun guard: refuse an extension-defined function

sshin23
and
claude
committed
57f35b6
instantiate: do not pull a converted iterable back to the host
sshin23
committed
4b325d7
Fold a fully-concrete subterm when re-indexing, as the closure did

sshin23
and
claude
committed
6e50493
instantiate unroll: keep the elements structural; the roles were inverted

sshin23
and
claude
committed
84c9ff5

Navigation Menu

Uh oh!

ExaModelsC: emit several models into one library - #308

ExaModelsC: emit several models into one library#308
sshin23 merged 16 commits into
mainfrom
abi/multi-model-producer

Commits on Aug 13, 2026

compile_library: emit several models into one library

instantiate: force vararg specialization, for AOT trimmability

ExaModelsC: emit the schema + builder ABI for structured recipes

ExaModelsC: pin the caller's developed packages in the generated app

instantiate: unroll the container walk as well as specializing the vararg

ExaModelsC: an argument-function instantiation surface

Tests, docs, and a compatibility spelling for the argument-function surface

argfun: refuse a function the generated app cannot reach

Test: the argfun guard refuses a Main-defined function

Store a subexpression as a node, so `@add_expr` works in a recipe

ExaModelsC: read the owning package from its project, not its PkgId

Docs: kind 1 is indistinguishable by design; _argkind pairs with _nargs

argfun guard: refuse an extension-defined function

instantiate: do not pull a converted iterable back to the host

Fold a fully-concrete subterm when re-indexing, as the closure did

instantiate unroll: keep the elements structural; the roles were inverted