Core.formatProgram to produce round-trip-parseable output for all constructs#1165

Merged

MikaelMayer merged 23 commits into

mainfrom

issue-1158-core-formatprogram-does-not-produce-roun

May 18, 2026

Commits on May 14, 2026

fix: Core.formatProgram roundtrip issues (#1158)
MikaelMayer
committed
Merge origin/main into issue-1158 branch
MikaelMayer
committed
chore: regenerate editor syntax files with Bv overflow functions
MikaelMayer
committed
fix: update expected transform output to match preserved variable names
MikaelMayer
committed
fix: type-parameterize overflow ops in Translate and add SDivOverflow grammar entry
MikaelMayer
committed
chore: regenerate emacs syntax file to match GenSyntax output
MikaelMayer
committed
feat: implement lhsArray translation, seq_empty grammar, and datatype roundtrip
MikaelMayer
committed
Merge remote-tracking branch 'origin/main' into issue-1158-core-formatprogram-does-not-produce-roun
MikaelMayer
committed

Commits on May 15, 2026

Commits on May 16, 2026

refactor: use getLFuncCall in decomposeMapUpdate to decompose nested applications
MikaelMayer
committed