blaise/docs
Graeme Geldenhuys 7e2f97f9ef Add pointer type infrastructure: ^T types, dereference, GetMem/FreeMem/ReallocMem
- uSymbolTable: tyPointer kind, TPointerTypeDesc(BaseType), GetMem/FreeMem/ReallocMem builtins
- uLexer/uPasTokeniser: tkCaret token for '^'; suppress ^X string escape (not in Clean Pascal)
- uParser: ParseTypeName handles '^TypeName' prefix (uses Self. for explicit recursion);
  TDerefExpr for P^ postfix; TPointerWriteStmt for P^ := V lhs
- uAST: TDerefExpr, TPointerWriteStmt nodes
- uSemantic: FindTypeOrInstantiate creates TPointerTypeDesc on demand for '^T';
  AnalyseDerefExpr, AnalysePointerWriteStmt; GetMem/ReallocMem/type-cast handling
- uCodeGenQBE: tyPointer→'l', EmitPointerWrite (storew/storel), TDerefExpr (loadw/loadl),
  GetMem→malloc, FreeMem→free, ReallocMem→realloc, pointer arithmetic (extsw + add/sub),
  type-cast via copy
- 15 new tests (556 total), all passing
2026-04-22 07:42:55 +01:00
..
design.adoc Add pointer type infrastructure: ^T types, dereference, GetMem/FreeMem/ReallocMem 2026-04-22 07:42:55 +01:00
grammar.ebnf Add class instance methods (procedure, inline body, Self, method calls) 2026-04-20 19:42:09 +01:00