xpile 0.1.616

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
1
2
3
4
5
6
def to_tuple(xs: list[int]) -> list[int]:
    # `tuple(<iterable>)` has no Rust fixed-arity target — xpile must REJECT
    # this with a clear diagnostic rather than silently emit an undefined
    # `tuple(...)` call that fails rustc (a "transpile-success ⟹ valid Rust"
    # guarantee violation).
    return tuple(xs)