Search results

cli: stdin mode always exits 1 on success (_process_one returns tuple, main expects bool)

Status: Open.

#848 In py2many/py2many;

· Meet6338-X opened on Aug 25, 2026

Support mojo 1.0

Status: Open.

#845 In py2many/py2many;

· adsharma opened on Aug 11, 2026

lean: handle Result[T, E]

Status: Open.

#844 In py2many/py2many;

· adsharma opened on Aug 6, 2026

lean: handle docstrings

Status: Open.

#843 In py2many/py2many;

· adsharma opened on Aug 6, 2026

classes test case: add mutation

Status: Open.

#831 In py2many/py2many;

· adsharma opened on Aug 3, 2026

raft: prove correctness using lean

Status: Open.

#825 In py2many/py2many;

· adsharma opened on Aug 2, 2026

Lean: Python syntax for dependent types

Status: Open.

#804 In py2many/py2many;

· adsharma opened on Jun 1, 2026

vlang hidden regressions

Status: Open.

#793 In py2many/py2many;

· jayvdb opened on May 28, 2026

Cleanup pyv/self_transpile.py

Status: Open.

#768 In py2many/py2many;

· adsharma opened on May 15, 2026

function.py:2:4: py2many.exceptions.AstNotImplementedError: try_dummy not implemented

Status: Open.

#725 In py2many/py2many;

· newlaurent62 opened on Dec 12, 2025

jgo not able to deal with newer class file versions

Status: Open.

#721 In py2many/py2many;

· adsharma opened on Aug 26, 2025

Remaining test failures

Status: Open.

#669 In py2many/py2many;

· adsharma opened on Dec 28, 2024