From 344206d57e834b2394cbe2ec0df50b04a8b3c171 Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Sun, 26 Jul 2026 15:45:40 +0000
Subject: feat: implement CIE 9.1 text file handling
 (OPENFILE/READFILE/WRITEFILE/CLOSEFILE/EOF)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Front end: OPENFILE/READFILE/WRITEFILE/CLOSEFILE plus reserved mode
keywords READ/WRITE/APPEND (RANDOM reserved with a dedicated
not-implemented error); statement nodes in new FileAST.h, parsing in new
ParserFile.cc; EOF joins the Builtins table as the 12th builtin and
CallExprAST now carries a line number for its runtime diagnostics.

Runtime: new FileHandler (StringHandler-shaped leaf) lazily synthesizes
internal __cps_file_* helper functions and a 16-slot open-file table
keyed by filename content (strcmp — STRING '=' is pointer identity).
EOF is an fgetc/ungetc peek; READFILE grows a malloc/realloc line buffer
and strips a trailing CR; fopen uses text modes so mingw-w64 line
translation works. File-free programs get byte-identical IR. All misuse
(not open, wrong mode, reopen, fopen failure, read past EOF, table full)
dies with the existing "[Fatal] line N:" pattern via a new
RuntimeCheck::emitErrorAndExit overload taking runtime printf args.

Also fixes a pre-existing ArithmeticHandler hole surfaced by adversarial
review: mixed-width integer operands (i1 BOOLEAN / i8 CHAR vs i64) now
widen via ZExt instead of emitting invalid IR, and remaining type
mismatches get a clean diagnostic; -EOF(f) and -IS_NUM(x) compile.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
---
 lib/Parser/Parser.cc | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'lib/Parser/Parser.cc')

diff --git a/lib/Parser/Parser.cc b/lib/Parser/Parser.cc
index 77df9bb..e67dda7 100644
--- a/lib/Parser/Parser.cc
+++ b/lib/Parser/Parser.cc
@@ -59,7 +59,7 @@ std::unique_ptr<ExprAST> Parser::ParseIdentifierExpr() {
         getNextToken();
         auto Args = ParseExprList(')', true);
         if (!Args) return nullptr;
-        return std::make_unique<CallExprAST>(IdName, std::move(*Args));
+        return std::make_unique<CallExprAST>(IdName, std::move(*Args), Line);
     }
 
     if (CurTok == '[') {
@@ -213,6 +213,7 @@ void Parser::syncToStatementStart() {
         case tok_function: case tok_procedure: case tok_call: case tok_return:
         case tok_else: case tok_endif: case tok_endwhile: case tok_until:
         case tok_next: case tok_endfunction: case tok_endprocedure:
+        case tok_openfile: case tok_readfile: case tok_writefile: case tok_closefile:
             return;
         default:
             getNextToken();
@@ -537,6 +538,18 @@ std::unique_ptr<StmtAST> Parser::ParseStatementImpl() {
     else if (CurTok == tok_return) {
         return ParseReturnStmt();
     }
+    else if (CurTok == tok_openfile) {
+        return ParseOpenFile();
+    }
+    else if (CurTok == tok_readfile) {
+        return ParseReadFile();
+    }
+    else if (CurTok == tok_writefile) {
+        return ParseWriteFile();
+    }
+    else if (CurTok == tok_closefile) {
+        return ParseCloseFile();
+    }
 
     fprintf(stderr, "Error: Unexpected token at line %d when expecting a statement\n", Lex.getLine());
     getNextToken(); // guarantee progress so error recovery cannot loop forever
-- 
cgit v1.3.1-4-g156e