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

# PMAT-680: a float-precision format spec over NaN must print "nan" (Python),
# not Rust's "NaN". The f-string path already guarded this; `.format()` and `%`
# inlined the spec into a bare format!, bypassing the guard.
def via_format(x: float) -> str:
    return "{:.2f}".format(x)


def via_percent(x: float) -> str:
    return "%.2f" % x


def pct_default(x: float) -> str:
    return "%f" % x


def via_fstring(x: float) -> str:
    return f"{x:.2f}"


def normal(x: float) -> str:
    return "{:.2f}".format(x)