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
29
30
31
32
33
34

# PMAT-758 (HUNT-V15 CME-2): a STRING forward-reference annotation (`-> "Counter"`,
# `x: "Counter"`) — idiomatic for a method returning its own class — was rejected
# ("non-trivial type expression"), and an unannotated classmethod defaulted to
# `()`, so `c = Counter.zero(); c.n` failed. A bare-identifier string annotation
# now resolves via the same name->Type mapping. Cross-checked vs python3.
from dataclasses import dataclass


@dataclass
class Counter:
    n: int

    @classmethod
    def zero(cls) -> "Counter":
        return Counter(0)

    @classmethod
    def of(cls, v: int) -> "Counter":
        return Counter(v)


def make_zero() -> int:
    c = Counter.zero()
    return c.n


def make_of() -> int:
    c = Counter.of(7)
    return c.n


def takes_fwdref(c: "Counter") -> int:
    # a string forward-ref in a PARAMETER position resolves too
    return c.n