Port main2 Python fixes to Strata-Python#2

Merged

joehendrix merged 10 commits into

mainfrom

port/main2-python-fixes

Jun 16, 2026

Commits on Jun 15, 2026

Fix Python for-loop translation: continue now advances the counter (#1302)

leo-leesco
authored and
shigoel
committed
Fix #1244: add missing s! prefix to error message in parseStrataProgramFromDialect (#1285)

MikaelMayer
authored and
shigoel
committed
Formatting and debugging improvements (#1115)

keyboardDrummer-bot
authored and
shigoel
committed
Change "unreachable" assertion message to "unreachable in this context" (#1296)

MikaelMayer
authored and
shigoel
committed
Procedure.Body sum type with parser, translator, and consumer threading (split of #1196) (#1342)

PROgram52bc
authored and
shigoel
committed
Support transparent procedures (#1215)

keyboardDrummer
authored and
shigoel
committed
Move Tools/Python-base into this repo and update CI

authored and
shigoel
committed
Overhaul test framework for Laurel (#1223)

leo-leesco
authored and
shigoel
committed

Commits on Jun 16, 2026

Fix missing s! interpolation prefix in Python.lean error message

MikaelMayer
authored and
shigoel
committed
Point Strata dependency at main
shigoel
committed