Add proper tests for astcompile

[antocuni]

This should have belonged to #649 , but too late and too bad.

The hard part is how to write readable tests, because comparing the generated AST is a pain. We ideally want to use the SPy backend to generated "astcompiled source code", but then all the nuances of NameLocalDirect, AssignLocal, etc, disappears.

The solution was to introduce a new option for the SPy backend ast_format="full", which annotates some selected nodes with extra info needed for tests.
This is now exposed also from the spy cli.
E.g.:

❯ cat /tmp/x.spy
def main() -> None:
    x = 1
    print(x)

with the default "human-readable" format, we don't see any difference:

❯ spy astcompile -f spy /tmp/x.spy
def main() -> None:
    x = 1
    print(x)

But with --full-ast, we do!

❯ spy astcompile -f spy /tmp/x.spy --full-ast
def main() -> None:
    AssignLocal(x := 1)
    ImportRef(print)(LocalDirect(x))

[github-actions]

Documentation Preview
Preview documentation for PR #651.
Last Updated: 2026-08-11 11:26 UTC