Allow accumulating Dbs (and other things) into Dbs - #890

Open

Janno wants to merge 7 commits into

LPCIC:masterfrom

Janno:janno/db-everything

Commits on Aug 24, 2026

Allow accumulating Dbs (and other things) into Dbs

Jan-Oliver Kaiser
authored and
Janno
committed
34ec6bc
Fix bug with accumulating full code after signature; add regression test
Janno
committed
555e77b
Remove forced superglobal; add explicit superglobals in derive passes
Janno
committed
30ffb1e
Fix cyclic import assertion failure
Janno
committed
3ded29a
Possible test case for missing compilation cache
Janno
committed
7e0c709
Re-enable compilation cache
Janno
committed
e6926f5
Fix tests: Avoid `Elpi derive` (not what the cmd is called anymore)
Janno
committed
9c9950a