Skip to content

Port main2 Python fixes to Strata-Python#2

Draft
shigoel wants to merge 8 commits into
mainfrom
port/main2-python-fixes
Draft

Port main2 Python fixes to Strata-Python#2
shigoel wants to merge 8 commits into
mainfrom
port/main2-python-fixes

Conversation

@shigoel

@shigoel shigoel commented Jun 15, 2026

Copy link
Copy Markdown
Contributor

Summary

Ports all main2-only Python commits to the split Strata-Python repo as part of the main2 → main sync (Strata PR #1363).

  • Fix Python for-loop translation: continue now advances the counter (#1302)
  • Fix missing s! prefix in parseStrataProgramFromDialect error messages (#1285)
  • Formatting and debugging improvements (#1115)
  • Change "unreachable" assertion message (#1296)
  • Procedure.Body sum type threading (#1342)
  • Support transparent procedures (#1215)

All commits preserve original authorship and dates.

Depends on: Strata PR #1370 (Strata dependency temporarily pinned to port/main2-core-to-main — will change to main after merge).

⚠️ Merge with merge commit (not squash) to preserve individual commit attribution.

Test plan

  • lake build passes (218 jobs)
  • lake build StrataPythonTest passes (compile-time tests)
  • CI passes (golden-file tests need pip install of strata-python)

leo-leesco and others added 7 commits June 15, 2026 12:28
Tools/Python-base (the `strata` pip package) was removed from Strata
in PR #1351 as part of the repo split. Move it here so that
Strata-Python is self-contained for its Python dependencies.

Update CI to install from ./Tools/Python-base instead of
./.lake/packages/Strata/Tools/Python-base.

Co-authored-by: Aaron Tomb <aarotomb@amazon.com>
@shigoel shigoel force-pushed the port/main2-python-fixes branch from 95db39e to bb69bbc Compare June 15, 2026 20:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants