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
21
22
23
24
25
26
27
28

# PMAT-872 (HUNT-V31 #4): an f-string `{x!s:spec}` applies str() FIRST, then formats
# the resulting STRING with string-spec semantics (left-align default, fill char) —
# NOT the value's numeric spec. xpile emitted `format!("{:5}", x)` (numeric
# right-align) ignoring the `!s`. Cross-checked vs python3.


def s_width(x: int) -> str:
    return f"[{x!s:5}]"


def s_fill(x: int) -> str:
    return f"[{x!s:*<5}]"


def s_float(x: float) -> str:
    return f"[{x!s:8}]"


def num_width(x: int) -> str:
    return f"[{x:5}]"


def r_width(x: int) -> str:
    return f"[{x!r:>6}]"


def s_str(s: str) -> str:
    return f"[{s!s:5}]"