source-academy / py-slang / 30790277143

86%

push

github

Fix NameReassignmentError's hint text at the reassignment site (#382)

* Fix NameReassignmentError's hint text at the reassignment site

The caret pointing at the reassignment itself said "A name has been
declared here" — which describes the original declaration, not this site.
Say "reassigned" instead, matching what's actually happening here; the
second hint (pointing at the original declaration) was already worded
correctly.

Fixes #211

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013reeqq7jG66DR1vnwby5T3

* Remove NameReassignmentError's second message pointing at the original declaration

That message ("However, it has already been declared...") reported the
wrong line/content — the fix for that (PR #377) was closed without merging
— so drop the message entirely rather than leave it broken. The
NameReassignmentError constructor no longer takes the original
declaration's token, since nothing uses it anymore.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013reeqq7jG66DR1vnwby5T3

---------

Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>

4657 of 5835 branches covered (79.81%)

Branch coverage included in aggregate %.

1 of 1 new or added line in 1 file covered. (100.0%)

10378 of 11638 relevant lines covered (89.17%)

167113.86 hits per line