diff options
Diffstat (limited to 'tests/i/identifier-case')
| -rw-r--r-- | tests/i/identifier-case/notes.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/i/identifier-case/notes.md b/tests/i/identifier-case/notes.md index ac8c200..ac6e5e8 100644 --- a/tests/i/identifier-case/notes.md +++ b/tests/i/identifier-case/notes.md @@ -2,6 +2,6 @@ Human review: pending. Expected output was independently traced by AI, not captured from cpsc. -Basis: CIE p. 7: identifiers should be considered case insensitive. Current symbol lookup is case sensitive. +Basis: CIE p. 7: identifiers should be considered case insensitive. Symbol lookup must resolve both spellings to the same declaration. Trace: Counter and counter denote the same declared variable; the read yields 7. |