Issues

name resolution: implement the adopted principle — scope decides meaning, values ready before use, ambiguity refused, global/nonlocal reinstated (tracker, owner ruling 2026-11-01)

antonsynd/sharpy#2427 · opened

on Nov 1, 2026

1

docs: name-resolution design doc (principle N1–N7, C# HARD/SOFT map) + spec rewrite + stale deviation/spec rows

antonsynd/sharpy#2426 · opened

on Nov 1, 2026

1

semantic: a for / except-as / with-as target that reuses a visible name is refused when that name is read after the construct (S2)

antonsynd/sharpy#2425 · opened

on Nov 1, 2026

semantic: writing a binding outside the current function requires global / nonlocal — reinstate both; a bare store across a function boundary is refused (N6)

antonsynd/sharpy#2424 · opened

on Nov 1, 2026

semantic: scope decides what a name means — order-free resolution, order-vs-scope ambiguity refused, consts not special, one verdict per spelling (N1/N2/N4/N7)

antonsynd/sharpy#2423 · opened

on Nov 1, 2026

codegen: module and @static values must be ready before first read — per-variable init guard + top-to-bottom sweep before main; cycles are errors, never a CLR default (N3)

antonsynd/sharpy#2422 · opened

on Nov 1, 2026

1

test: generative name-resolution differential — Sharpy vs python3, same output or compile-time refusal (build FIRST for the name-resolution principle)

antonsynd/sharpy#2421 · opened

on Nov 1, 2026

codegen: calling a module function-typed variable whose lambda reads a module var emits the raw name — CS0103 behind SPY0908

antonsynd/sharpy#2420 · opened

on Nov 1, 2026

codegen: a conditional expression as a call's callee — (g if f else g)() — is SPY0524 (unparenthesized ConditionalExpression in the invocation receiver slot)

antonsynd/sharpy#2419 · opened

on Nov 1, 2026

semantic: a positional class pattern counts @static fields and consts — case D(x, y) on a dataclass with a @static field is SPY0363 'has 3 fields' (python3 __match_args__ excludes ClassVars)

antonsynd/sharpy#2418 · opened

on Nov 1, 2026

semantic: a @static property read through the type name is untyped — b: str = Host.sp is SPY0908 CS0029 (not SPY0220), Host.sp.bit_length() CS1061, (lambda: Host.sp)() CS0149

antonsynd/sharpy#2417 · opened

on Nov 1, 2026

semantic: the static-initializer forward-read refusal (SPY0618) misses a derived-type receiver, a parenthesized callee and a call resolving to a later overload — they run 0 silently; a forward method group diverges bare (SPY0200) vs qualified (runs)

antonsynd/sharpy#2416 · opened

on Nov 1, 2026

1

decision: a later non-compile-time const whose name a module binding also holds — refuse (SPY0618, P75 today) or yield to the module binding like a later @static field (python3: 10)

antonsynd/sharpy#2415 · opened

on Nov 1, 2026

1

codegen: a parenthesized type receiver ((H).b) is SPY0908 CS0119 in every position

antonsynd/sharpy#2414 · opened

on Nov 1, 2026

semantic: a static initializer that reaches static storage indirectly (a constructor call, another type's static, a cached method's storage) reads defaults silently or crashes

antonsynd/sharpy#2413 · opened

on Nov 1, 2026

2

semantic: a const cycle written through a type alias (type H = Host; const B: int = H.B + 1) is not SPY0278 — it runs and prints 1

antonsynd/sharpy#2412 · opened

on Oct 31, 2026

2

semantic: int(s, base) and int64(s, base) are SPY0224 although the spec says integer conversions take a base — adding the overload makes `int` an ambiguous overload group as a value, while int8 with the same shape is fine

antonsynd/sharpy#2410 · opened

on Oct 31, 2026

semantic: a module variable beside an explicit import of a star-bound name is accepted when the star comes first — the import-keeps-the-name rule is order- and star-dependent (SPY0204 explicit-first, runs star-first)

antonsynd/sharpy#2408 · opened

on Oct 31, 2026

1

codegen: a package init forwarder's name and target are re-derived from the spelling — SCREAMING / renamed / aliased re-exports CS0117, two forwarders of one name CS0111/CS0102, overloads dropped, entry-order dependent (P25, #2116 sibling)

antonsynd/sharpy#2406 · opened

on Oct 31, 2026

1

perf(core): `Sharpy.List<T>` element access never inlines — `Index.Normalize` and `GetItemUnchecked` build their IndexError message inline, so every `xs[i]` is an out-of-line call (matrix_multiply: Sharpy 2.0x Boo, 3.5x C#)

antonsynd/sharpy#2404 · opened

on Oct 31, 2026

1

codegen: a SCREAMING_CASE class property is declared as CapQ but read as CAP_Q — instance and @static member access spell the name by casing (CS1061 / CS0117 behind SPY0908); class-member twin of #2386

antonsynd/sharpy#2403 · opened

on Oct 30, 2026

1

semantic/codegen: a Sharpy type's import clone (alias or re-export) is not its declaration at every consumer — nested type SPY0909, alias-vs-direct type identity SPY0220, warm-incremental interface materialization SPY0909

antonsynd/sharpy#2402 · opened

on Oct 30, 2026

1

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

5

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

4

Navigation Menu

Repository navigation

Issues

name resolution: implement the adopted principle — scope decides meaning, values ready before use, ambiguity refused, global/nonlocal reinstated (tracker, owner ruling 2026-11-01)

docs: name-resolution design doc (principle N1–N7, C# HARD/SOFT map) + spec rewrite + stale deviation/spec rows

semantic: a for / except-as / with-as target that reuses a visible name is refused when that name is read after the construct (S2)

semantic: writing a binding outside the current function requires global / nonlocal — reinstate both; a bare store across a function boundary is refused (N6)

semantic: scope decides what a name means — order-free resolution, order-vs-scope ambiguity refused, consts not special, one verdict per spelling (N1/N2/N4/N7)

codegen: module and @static values must be ready before first read — per-variable init guard + top-to-bottom sweep before main; cycles are errors, never a CLR default (N3)

test: generative name-resolution differential — Sharpy vs python3, same output or compile-time refusal (build FIRST for the name-resolution principle)

codegen: calling a module function-typed variable whose lambda reads a module var emits the raw name — CS0103 behind SPY0908

codegen: a conditional expression as a call's callee — (g if f else g)() — is SPY0524 (unparenthesized ConditionalExpression in the invocation receiver slot)

semantic: a positional class pattern counts @static fields and consts — case D(x, y) on a dataclass with a @static field is SPY0363 'has 3 fields' (python3 __match_args__ excludes ClassVars)

semantic: a @static property read through the type name is untyped — b: str = Host.sp is SPY0908 CS0029 (not SPY0220), Host.sp.bit_length() CS1061, (lambda: Host.sp)() CS0149

semantic: the static-initializer forward-read refusal (SPY0618) misses a derived-type receiver, a parenthesized callee and a call resolving to a later overload — they run 0 silently; a forward method group diverges bare (SPY0200) vs qualified (runs)

decision: a later non-compile-time const whose name a module binding also holds — refuse (SPY0618, P75 today) or yield to the module binding like a later @static field (python3: 10)

codegen: a parenthesized type receiver ((H).b) is SPY0908 CS0119 in every position

semantic: a static initializer that reaches static storage indirectly (a constructor call, another type's static, a cached method's storage) reads defaults silently or crashes

semantic: a const cycle written through a type alias (type H = Host; const B: int = H.B + 1) is not SPY0278 — it runs and prints 1

semantic: int(s, base) and int64(s, base) are SPY0224 although the spec says integer conversions take a base — adding the overload makes `int` an ambiguous overload group as a value, while int8 with the same shape is fine

semantic: a module variable beside an explicit import of a star-bound name is accepted when the star comes first — the import-keeps-the-name rule is order- and star-dependent (SPY0204 explicit-first, runs star-first)

codegen: a package init forwarder's name and target are re-derived from the spelling — SCREAMING / renamed / aliased re-exports CS0117, two forwarders of one name CS0111/CS0102, overloads dropped, entry-order dependent (P25, #2116 sibling)

perf(core): `Sharpy.List<T>` element access never inlines — `Index.Normalize` and `GetItemUnchecked` build their IndexError message inline, so every `xs[i]` is an out-of-line call (matrix_multiply: Sharpy 2.0x Boo, 3.5x C#)

codegen: a SCREAMING_CASE class property is declared as CapQ but read as CAP_Q — instance and @static member access spell the name by casing (CS1061 / CS0117 behind SPY0908); class-member twin of #2386

semantic/codegen: a Sharpy type's import clone (alias or re-export) is not its declaration at every consumer — nested type SPY0909, alias-vs-direct type identity SPY0220, warm-incremental interface materialization SPY0909

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: 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