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

# PMAT-713: comprehension filters `[x for x in xs if x]` and `assert x` use Python
# truthiness, like `if x:` (which already works). Coerce the operand to its
# truthiness (int != 0, len != 0, float != 0.0); a Bool predicate is unchanged.
def nonzero_ints(xs: list[int]) -> list[int]:
    return [x for x in xs if x]


def nonempty_strs(xs: list[str]) -> list[str]:
    return [s for s in xs if s]


def assert_int(n: int) -> int:
    assert n
    return n * 2


def assert_list(xs: list[int]) -> int:
    assert xs
    return len(xs)