xpile 0.1.615

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
7
8
9
10
11
12
13
14
15
16
17
18
19
20

# PMAT-796 (HUNT-V18 BIC-02): a list/str repeat with a bool count (`[x] * b`)
# fell to the int-multiply path → rustc E0599 (checked_mul on a Vec) / a "body
# produces I64" reject, where Python's bool is an int subtype: [x]*True == [x],
# [x]*False == []. try_repeat now accepts a Bool count and coerces it to i64.
# Cross-checked vs python3.


def rep_true() -> list[int]:
    b = True
    return [1, 2] * b


def rep_false() -> list[int]:
    b = False
    return [7] * b


def str_rep_true() -> str:
    b = True
    return "ab" * b