Compile BuiltinData transparently in the plugin - #7863

Open

Unisay wants to merge 7 commits into

yura/builtin-data-transparent

Commits on Jul 24, 2026

Compile BuiltinData transparently in the plugin
Unisay
committed
06f0e00
Add regression tests for BuiltinData unwrapping (#7716)
Unisay
committed
4f783be
Improve missing-unfolding diagnostics for nested bindings
Unisay
committed
7124036
Reword reference to removed BuiltinCasing option
Unisay
committed
4dd88db
Tighten test comment
Unisay
committed
f1a80bd
Add Core excerpt to Note [Transparent BuiltinData]
Unisay
committed
3bc4fee
Regenerate constitution and bitwise UPLC goldens
Unisay
committed
47bb1f4