Issues

semantic: an explicit-interface member's interface is not resolved as a type reference — an alias, a generic or imported interface, or an escaped member name is a C# name error behind SPY0908

antonsynd/sharpy#2401 · opened

on Oct 29, 2026

1

semantic/codegen: a split property's or event's halves do not mean one member at every consumer — @static on event halves is dropped, @virtual/@abstract on one half is order-dependent, an @abstract class takes a bodied half, per-accessor access is unchecked (CS0272)

antonsynd/sharpy#2400 · opened

on Oct 29, 2026

3

semantic: the emitted-name collision validators (SPY0522/SPY0525) count an explicit-interface member by its bare name — property IShape.area beside class Area / def Area, or in class Area, is falsely refused

antonsynd/sharpy#2399 · opened

on Oct 29, 2026

1

semantic: a bare class-body read outside P21h's read matrix — a nested type's initializer reading the enclosing type's @static ICEs (SPY0909), a lambda in an initializer gets the method-body steer

antonsynd/sharpy#2398 · opened

on Oct 29, 2026

2

codegen: a nested type constructed by its bare name inside the enclosing type (N()) is emitted as a member invocation — CS1955 behind SPY0908

antonsynd/sharpy#2397 · opened

on Oct 29, 2026

1

codegen: static initializers run in the emitter's member layout order, not source order — a @static field or const initializer reading an earlier @static property sees 0 (silent wrong)

antonsynd/sharpy#2396 · opened

on Oct 28, 2026

2

codegen: a lone auto setter half (the spec's write-only auto property `property set a: T`) has no C# auto shape — CS8051 behind SPY0908 (owner decision)

antonsynd/sharpy#2395 · opened

on Oct 28, 2026

1

semantic: a lambda argument is typed before its overload is chosen — overloads that differ by the lambda's parameter type are refused (SPY0354), and a lambda in a later overload's slot reaches Roslyn untyped (CS1929)

antonsynd/sharpy#2394 · opened

on Oct 28, 2026

1

semantic: one symbol imported through two module spellings (a re-export) is two import identities — importing it twice is SPY0204 (from utils import fmt + from utils.helpers import fmt)

antonsynd/sharpy#2389 · opened

on Oct 28, 2026

1

codegen: a module property read from a class method is CS0103 behind SPY0908 — the emitter's two-kind own-member list omits module properties

antonsynd/sharpy#2386 · opened

on Oct 26, 2026

1

codegen: a star-imported variable read in a function body is SPY0909 — CodeGenInfo is computed for named from-imports only, never for the names a star bound

antonsynd/sharpy#2385 · opened

on Oct 26, 2026

2

semantic/codegen: an interface's non-method members mean different things to the checker, the emitter and the implementation check — a non-const field is unusable (SPY0203 vs an abstract property), an unimplemented property/event is CS0535 not SPY0325

antonsynd/sharpy#2383 · opened

on Oct 26, 2026

3

semantic: a module-level property's observer bodies are not type-checked — an expression statement in before_set/after_set is SPY0909 (#1622 contract)

antonsynd/sharpy#2369 · opened

on Oct 25, 2026

2

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

1

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

1

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

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

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

Navigation Menu

Repository navigation

Issues

semantic: an explicit-interface member's interface is not resolved as a type reference — an alias, a generic or imported interface, or an escaped member name is a C# name error behind SPY0908

semantic/codegen: a split property's or event's halves do not mean one member at every consumer — @static on event halves is dropped, @virtual/@abstract on one half is order-dependent, an @abstract class takes a bodied half, per-accessor access is unchecked (CS0272)

semantic: the emitted-name collision validators (SPY0522/SPY0525) count an explicit-interface member by its bare name — property IShape.area beside class Area / def Area, or in class Area, is falsely refused

semantic: a bare class-body read outside P21h's read matrix — a nested type's initializer reading the enclosing type's @static ICEs (SPY0909), a lambda in an initializer gets the method-body steer

codegen: a nested type constructed by its bare name inside the enclosing type (N()) is emitted as a member invocation — CS1955 behind SPY0908

codegen: static initializers run in the emitter's member layout order, not source order — a @static field or const initializer reading an earlier @static property sees 0 (silent wrong)

codegen: a lone auto setter half (the spec's write-only auto property `property set a: T`) has no C# auto shape — CS8051 behind SPY0908 (owner decision)

semantic: a lambda argument is typed before its overload is chosen — overloads that differ by the lambda's parameter type are refused (SPY0354), and a lambda in a later overload's slot reaches Roslyn untyped (CS1929)

semantic: one symbol imported through two module spellings (a re-export) is two import identities — importing it twice is SPY0204 (from utils import fmt + from utils.helpers import fmt)

codegen: a module property read from a class method is CS0103 behind SPY0908 — the emitter's two-kind own-member list omits module properties

codegen: a star-imported variable read in a function body is SPY0909 — CodeGenInfo is computed for named from-imports only, never for the names a star bound

semantic/codegen: an interface's non-method members mean different things to the checker, the emitter and the implementation check — a non-const field is unusable (SPY0203 vs an abstract property), an unimplemented property/event is CS0535 not SPY0325

semantic: a module-level property's observer bodies are not type-checked — an expression statement in before_set/after_set is SPY0909 (#1622 contract)

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

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

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