Skip to content

xpile v0.1.37 — Python raise (exceptions sub-slice 1)

Choose a tag to compare

@noahgift noahgift released this 12 Jun 13:11
· 546 commits to main since this release
d15fe93

First decomposed sub-slice of PMAT-503 (exceptions). New meta-HIR Stmt::Raise. raise Exc("msg") (guard clause) → panic!("{}", <message>) in Rust + Ruchy; the diverging ! type unifies with any return. Lean refuses.

rustc round-trip: checked_div(10,2) -> 5, checked_div(1,0) panics (caught). try/except + Result propagation follow. GitHub tag only — crates.io next 2026-06-19.