Issues

semantic: a name captured twice in one pattern is refused only in the and-pattern spelling — case (a, a): / case [a, a]: compile, (1, 2) matches and a is 2 (python3: SyntaxError)

antonsynd/sharpy#2366 · opened

on Oct 24, 2026

semantic: an unknown member on a constructed Sharpy generic receiver (Box[int], Pair[int, str], IProducer[int]) is CS1061 behind SPY0908 — the SPY0203 not-found arm skips this receiver kind

antonsynd/sharpy#2365 · opened

on Oct 24, 2026

semantic: an except handler made unreachable by an earlier one is left to Roslyn — base-before-subclass and a repeated type are CS0160, a non-final bare except is CS1017, all behind SPY0908

antonsynd/sharpy#2363 · opened

on Oct 24, 2026

semantic: a property or event declared in a function body has no decided verdict — silently dropped, SPY0510, or a misleading SPY0232

antonsynd/sharpy#2362 · opened

on Oct 23, 2026

1

codegen: a nested def in each arm of one `match` is SPY0908 CS0128 — local functions are not versioned and the arms lower to one C# switch

antonsynd/sharpy#2361 · opened

on Oct 23, 2026

1

semantic: a type alias re-declared in one function is silently dropped — the first wins and the second draws nothing (module level is SPY0204)

antonsynd/sharpy#2360 · opened

on Oct 23, 2026

1

semantic: an import alias is a module binding no declaration rule sees — a same-module collision is silent (SPY0908 CS0117 at a use) and a builtin type name is accepted

antonsynd/sharpy#2359 · opened

on Oct 23, 2026

1

core: int("1_000") raises ValueError (PEP 515 underscores are valid), and an out-of-range literal like int("2147483648") reports 'invalid literal' instead of an overflow

antonsynd/sharpy#2357 · opened

on Oct 22, 2026

1

semantic: tuple ordering comparisons are refused — `(1, 5) < (2, 3)` is SPY0222; python orders tuples lexicographically (lists already work)

antonsynd/sharpy#2356 · opened

on Oct 22, 2026

1

parser: semicolon-separated simple statements (`a = 1; b = 2`, `if c: f(); g()`) are refused SPY0103/SPY0102 — python accepts them; no deviations.yaml row

antonsynd/sharpy#2355 · opened

on Oct 22, 2026

1

semantic: a struct field of its own struct type is CS0523 behind SPY0908 — the struct-cycle check covers base types, not value-type fields

antonsynd/sharpy#2354 · opened

on Oct 22, 2026

1

semantic/codegen: a duplicate literal arm in a match statement is CS0152 behind SPY0908 — python accepts it (the second arm is dead)

antonsynd/sharpy#2353 · opened

on Oct 22, 2026

1

parser: a bare tuple match subject — `match x > 0, y > 0:` — is SPY0104 'Expected Colon, got Comma'; PEP 634 and python3 accept it

antonsynd/sharpy#2352 · opened

on Oct 22, 2026

1

core: int.to_bytes, int.from_bytes, bit_length, bit_count and sys.byteorder do not exist (SPY0203)

antonsynd/sharpy#2351 · opened

on Oct 22, 2026

1

stdlib: math lacks 19 of CPython 3.13's functions — cbrt, exp2, erf, erfc, gamma, lgamma, fmod, frexp, ldexp, modf, asinh, acosh, atanh, nextafter, ulp, dist, isqrt, sumprod, fma

antonsynd/sharpy#2350 · opened

on Oct 22, 2026

1

stdlib: math.expm1 and math.log1p are the naive exp(x)-1 / log(1+x) outside a tiny cutoff — 500 to 22,000 ulp off in the 1e-5…1e-2 band, print-visible

antonsynd/sharpy#2349 · opened

on Oct 22, 2026

1

core: isspace, split() and strip() use .NET's whitespace set — U+001C–U+001F are whitespace to Python and not to char.IsWhiteSpace

antonsynd/sharpy#2348 · opened

on Oct 22, 2026

1

core: str.center pads the wrong side when margin and width are both odd, and center/ljust/rjust refuse a Python fill character (str → char SPY0220)

antonsynd/sharpy#2347 · opened

on Oct 22, 2026

1

lexer: a line break consumed inside a literal does not advance the line — the next token or diagnostic is stamped one line short (df pre-close FStringEnd, backslash-newline escape)

antonsynd/sharpy#2338 · opened

on Oct 21, 2026

2

lexer: df dedented f-strings skip both SPY0029 refusals that d applies — a shallow content line and a close not on its own line run and print altered text

antonsynd/sharpy#2337 · opened

on Oct 21, 2026

2

semantic: entry-point shape left to Roslyn — a main with parameters or a non-None return is CS1558 behind SPY0908 (program_entry_point.md: no parameters, None return); access-decorator cells 4–5 moved to #2074

antonsynd/sharpy#2335 · opened

on Oct 21, 2026

1

property tests: typed-generator injection reach — 62 generated constructs no ErrorInjector member breaks (residue of #2288 item 3)

antonsynd/sharpy#2324 · opened

on Oct 16, 2026

5

interop: a -r reference's DEPENDENCIES bind from the host's own packages — ReferenceLoadContext falls to the default context and the C# step references the whole host TPA, so a program compiles and dies FileNotFoundException at run (F3's dependency arm)

antonsynd/sharpy#2322 · opened

on Oct 15, 2026

1

stdlib: random spells random() as next_double and lacks the Random class, getstate/setstate, randbytes, triangular and the nine *variate functions — 11 of CPython's 26 names

antonsynd/sharpy#2321 · opened

on Oct 15, 2026

3

interop: a CLR method call does not bind at the parameter boundary as C# does — bytes → byte[] is CS1503 behind SPY0908, a generic one-argument overload is refused SPY0224

antonsynd/sharpy#2317 · opened

on Oct 15, 2026

1

Navigation Menu

Repository navigation

Issues

semantic: a name captured twice in one pattern is refused only in the and-pattern spelling — case (a, a): / case [a, a]: compile, (1, 2) matches and a is 2 (python3: SyntaxError)

semantic: an unknown member on a constructed Sharpy generic receiver (Box[int], Pair[int, str], IProducer[int]) is CS1061 behind SPY0908 — the SPY0203 not-found arm skips this receiver kind

semantic: an except handler made unreachable by an earlier one is left to Roslyn — base-before-subclass and a repeated type are CS0160, a non-final bare except is CS1017, all behind SPY0908

semantic: a property or event declared in a function body has no decided verdict — silently dropped, SPY0510, or a misleading SPY0232

codegen: a nested def in each arm of one `match` is SPY0908 CS0128 — local functions are not versioned and the arms lower to one C# switch

semantic: a type alias re-declared in one function is silently dropped — the first wins and the second draws nothing (module level is SPY0204)

semantic: an import alias is a module binding no declaration rule sees — a same-module collision is silent (SPY0908 CS0117 at a use) and a builtin type name is accepted

core: int("1_000") raises ValueError (PEP 515 underscores are valid), and an out-of-range literal like int("2147483648") reports 'invalid literal' instead of an overflow

semantic: tuple ordering comparisons are refused — `(1, 5) < (2, 3)` is SPY0222; python orders tuples lexicographically (lists already work)

parser: semicolon-separated simple statements (`a = 1; b = 2`, `if c: f(); g()`) are refused SPY0103/SPY0102 — python accepts them; no deviations.yaml row

semantic: a struct field of its own struct type is CS0523 behind SPY0908 — the struct-cycle check covers base types, not value-type fields

semantic/codegen: a duplicate literal arm in a match statement is CS0152 behind SPY0908 — python accepts it (the second arm is dead)

parser: a bare tuple match subject — `match x > 0, y > 0:` — is SPY0104 'Expected Colon, got Comma'; PEP 634 and python3 accept it

core: int.to_bytes, int.from_bytes, bit_length, bit_count and sys.byteorder do not exist (SPY0203)

stdlib: math lacks 19 of CPython 3.13's functions — cbrt, exp2, erf, erfc, gamma, lgamma, fmod, frexp, ldexp, modf, asinh, acosh, atanh, nextafter, ulp, dist, isqrt, sumprod, fma

stdlib: math.expm1 and math.log1p are the naive exp(x)-1 / log(1+x) outside a tiny cutoff — 500 to 22,000 ulp off in the 1e-5…1e-2 band, print-visible

core: isspace, split() and strip() use .NET's whitespace set — U+001C–U+001F are whitespace to Python and not to char.IsWhiteSpace

core: str.center pads the wrong side when margin and width are both odd, and center/ljust/rjust refuse a Python fill character (str → char SPY0220)

lexer: a line break consumed inside a literal does not advance the line — the next token or diagnostic is stamped one line short (df pre-close FStringEnd, backslash-newline escape)

lexer: df dedented f-strings skip both SPY0029 refusals that d applies — a shallow content line and a close not on its own line run and print altered text

semantic: entry-point shape left to Roslyn — a main with parameters or a non-None return is CS1558 behind SPY0908 (program_entry_point.md: no parameters, None return); access-decorator cells 4–5 moved to #2074

property tests: typed-generator injection reach — 62 generated constructs no ErrorInjector member breaks (residue of #2288 item 3)

interop: a -r reference's DEPENDENCIES bind from the host's own packages — ReferenceLoadContext falls to the default context and the C# step references the whole host TPA, so a program compiles and dies FileNotFoundException at run (F3's dependency arm)

stdlib: random spells random() as next_double and lacks the Random class, getstate/setstate, randbytes, triangular and the nine *variate functions — 11 of CPython's 26 names

interop: a CLR method call does not bind at the parameter boundary as C# does — bytes → byte[] is CS1503 behind SPY0908, a generic one-argument overload is refused SPY0224