diff options
| author | _ov4 <ov4@ov4.org> | 2026-07-26 12:02:32 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-07-26 12:02:32 +0000 |
| commit | 4df7c22b99349dcf2175d69679eafa175d49aa9f (patch) | |
| tree | 1b44c329ed3e3f75787d9410d211ad0ed597b681 /lib/Lexer | |
| parent | 0b4cdf7b28b3855d2dee18d91e9319d66a8ec25f (diff) | |
refactor: batch 1 - correctness and error contract
- MID/RIGHT/LEFT integer args now coerced at call sites (RIGHT(s, n/2)
no longer emits invalid IR); drop emitLeft's private conversion
- FOR loop direction decided at run time via select on STEP sign;
descending FOR works, STEP evaluated once per iteration
- ArrayHandler: extract emitCheckedIndices/loadElement; index count is
validated before emission, fixing a compiler-crash (vector OOB UB) on
OUTPUT with too many indices
- Error contract: Lexer/Parser/CodeGen track errors; all silent failure
paths now print Error: diagnostics with line numbers; unterminated
char literal no longer truncates the rest of the program; module is
verified with verifyModule; driver exits non-zero on any error
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Diffstat (limited to 'lib/Lexer')
| -rw-r--r-- | lib/Lexer/Lexer.cc | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/lib/Lexer/Lexer.cc b/lib/Lexer/Lexer.cc index 9a8e767..d678097 100644 --- a/lib/Lexer/Lexer.cc +++ b/lib/Lexer/Lexer.cc @@ -27,7 +27,8 @@ int Lexer::gettok() { if (LastChar == '"') { LastChar = getchar(); } else { - fprintf(stderr, "Error: Unterminated string literal\n"); + fprintf(stderr, "Error: Unterminated string literal at line %d\n", CurrentLine); + HadError = true; } return tok_string_literal; @@ -36,16 +37,26 @@ int Lexer::gettok() { if (LastChar == '\'') { int CharCode = getchar(); if (CharCode == EOF || CharCode == '\n') { - fprintf(stderr, "Error: Unterminated char literal\n"); - return tok_eof; + fprintf(stderr, "Error: Unterminated char literal at line %d\n", CurrentLine); + HadError = true; + CharVal = '?'; + StringVal.assign(1, CharVal); + // Leave the newline/EOF for the main loop so line counting stays right. + LastChar = CharCode; + return tok_char_literal; } int ClosingQuote = getchar(); if (ClosingQuote != '\'') { - fprintf(stderr, "Error: CHAR literal must contain exactly one character\n"); + fprintf(stderr, "Error: CHAR literal must contain exactly one character (line %d)\n", CurrentLine); + HadError = true; while (ClosingQuote != EOF && ClosingQuote != '\n' && ClosingQuote != '\'') { ClosingQuote = getchar(); } + CharVal = static_cast<char>(CharCode); + StringVal.assign(1, CharVal); + LastChar = (ClosingQuote == '\'') ? getchar() : ClosingQuote; + return tok_char_literal; } CharVal = static_cast<char>(CharCode); |
