 Eric Streit
|
b00def2975
generics: nested generics as type actuals + more constraint names
|
il y a 18 heures |
|
Eric Streit
|
7edcaac6ac
docs: generics inc3 summary updated with the constraint model
|
il y a 18 heures |
|
Eric Streit
|
77e8010940
generics inc3: constraint model - T : TYPE (ORDINAL|INTEGER|REAL)
|
il y a 18 heures |
|
Eric Streit
|
169f56e56a
docs: generics increment 3 summary (value params, kind constraints, proc params)
|
il y a 19 heures |
|
Eric Streit
|
cb97d17ade
generics inc3: procedure parameters
|
il y a 19 heures |
|
Eric Streit
|
e15787757a
generics inc3: actual-kind constraints (type vs value formal)
|
il y a 21 heures |
|
Eric Streit
|
f582946326
generics inc3 (partial): value (constant) generic parameters
|
il y a 21 heures |
|
Eric Streit
|
de015ff4fd
language: constant-fold ordinal type conversions in CONST initialisers
|
il y a 21 heures |
|
Eric Streit
|
10883098d7
language: ISO type conversions T(x) (lowered to VAL)
|
il y a 21 heures |
|
Eric Streit
|
858c928b29
docs: corpus snapshot + next language targets (T(x) conversions, SIZE)
|
il y a 22 heures |
|
Eric Streit
|
e6c9612e81
driver: clean process exit codes (0 ok, 1 compile errors, 2 usage/IO)
|
il y a 22 heures |
|
Eric Streit
|
994e448bfb
generics: lock two-formal instantiation (it worked; my earlier repro was incomplete)
|
il y a 22 heures |
|
Eric Streit
|
2421c4de52
docs: two-phase thread complete + Check removed (2026-10-16)
|
il y a 22 heures |
|
Eric Streit
|
a89a1c0b65
cleanup: remove the vestigial Check pass and L7 scaffolding
|
il y a 22 heures |
|
Eric Streit
|
99a393a364
docs: two-phase session summary — forward machinery deleted (goal reached)
|
il y a 22 heures |
|
Eric Streit
|
6d8d817742
two-phase parse: delete the forward-reference machinery (goal reached)
|
il y a 22 heures |
|
Eric Streit
|
5255d583a9
two-phase parse: fix snapshot leak, flip deferral on by default
|
il y a 23 heures |
|
Eric Streit
|
64e5028207
docs: session summary for two-phase parse milestones 2a-2c (2026-10-16)
|
il y a 23 heures |
|
Eric Streit
|
f500a120d1
two-phase parse milestone 2c (WIP): defer bodies and re-parse at unit end
|
il y a 23 heures |
|
Eric Streit
|
cdb643655f
two-phase parse milestone 2b: scope save/restore primitives (inert)
|
il y a 23 heures |
|
Eric Streit
|
dce67fcdfb
two-phase parse milestone 2a: body spans + SeekTo with fidelity check (inert)
|
il y a 1 jour |
|
Eric Streit
|
331b308391
docs: generics status 2026-10-15 (inc2 scope + multi-formal link failure)
|
il y a 1 jour |
|
Eric Streit
|
e933b7d5b9
docs: session summary for two-phase parse milestone 1 (2026-10-15)
|
il y a 1 jour |
|
Eric Streit
|
6c64b46f4f
two-phase parse milestone 1: body-skip probe behind -twophase (inert)
|
il y a 1 jour |
|
Eric Streit
|
05ede78ac2
docs: session summary for the resolve/check pass (2026-10-15)
|
il y a 1 jour |
|
Eric Streit
|
a63b3cfdf9
docs: design for a two-phase parse (deleting the forward mechanism)
|
il y a 1 jour |
|
Eric Streit
|
73586b76f2
docs: step 4d + the architectural conclusion on FwdVar*
|
il y a 1 jour |
|
Eric Streit
|
8efae2e540
resolve-check step 4d: re-check forward-tainted assignments
|
il y a 1 jour |
|
Eric Streit
|
f388bcaadc
resolve-check: forward-compound test + step 4c notes
|
il y a 1 jour |
|
Eric Streit
|
9dc2ed7e86
resolve-check step 4c: propagate resolved types up the expression tree
|
il y a 1 jour |
