cie-pseudocode-compiler.git/lib/CodeGen/TypeCheckGen.cc, branch main

refactor(strings): construct string values implicitly from raw literals

2026-10-30T14:31:07Z

Keep double-quoted literals and text constants as C_STRING values. Use marked STRING constructors for text and CHAR conversion, preserving string operations and I/O through the existing class machinery. Co-Authored-By: Claude Opus 5.5

feat(types): support implicit single-argument constructors

2026-10-30T14:23:32Z

Co-Authored-By: Claude Opus 5.5

feat(overload): select overloads by return type as well as parameters

2026-10-24T18:01:36Z

Co-Authored-By: Claude Opus 5.5

feat(codegen): convert implicitly between CHAR and STRING

2026-10-22T15:32:49Z

A CHAR becomes a one-character STRING in &, comparisons, assignment, parameter passing and RETURN. A STRING becomes a CHAR in assignment, parameter passing and RETURN, with a runtime error when its length is not 1. CHAR with INTEGER or BOOLEAN still does not convert. Co-Authored-By: Claude Sonnet 5.5

feat(codegen)!: require explicit REAL to INTEGER conversion and add INT

2026-10-22T15:21:14Z

Implicit REAL to INTEGER is now a compile error with an INT(...) hint. INT is a compiler builtin that truncates toward zero and raises a runtime error for NaN or values outside the INTEGER range. No existing test program relied on the implicit conversion. Co-Authored-By: Claude Sonnet 5.5

feat(codegen)!: reject implicit BOOLEAN, CHAR and INTEGER mixing

2026-10-22T15:21:14Z

Arithmetic and unary minus accept only INTEGER and REAL, AND/OR/NOT need BOOLEAN, comparisons need equal types (or INTEGER with REAL), and only INTEGER converts implicitly to REAL. Use ASC and CHR for characters. No existing test program relied on the now-illegal mixing, so none changed. Co-Authored-By: Claude Sonnet 5.5

fix(codegen): name both operand types in invalid operator diagnostics

2026-10-22T15:21:14Z

Updates the operator-global-errors and string-type-mismatch expectations to the new "Operator X cannot be applied to A and B" wording. Co-Authored-By: Claude Sonnet 5.5

refactor(codegen): spell user-kind operator diagnostics with operatorSpelling

2026-10-22T03:58:36Z

TypeCheckGen's private opToText duplicated cps::operatorSpelling; both produce the same text for every binary operator the parser accepts. Co-Authored-By: Claude Opus 5.5

refactor(strings): replace compiler builtins with the STRING library

2026-10-20T11:57:16Z

Construct literals as STRING values and route string operations through ordinary library functions and operators. Preserve value ownership in records, arrays, constants and file I/O. Co-Authored-By: Claude Opus 5.5

feat(operators): support global binary operator overloads

2026-10-18T06:05:53Z

Resolve exact operand types and preserve declared operator return types. Reject implicit STRING to BOOLEAN conversion at typed expression boundaries. Co-Authored-By: Claude Opus 5.5