 Eric Streit
|
ed27a5d2d5
language: ISO foreign modules (FOR "C"), EXPORT UNQUALIFIED
|
1 일 전 |
|
Eric Streit
|
4a6f336a19
language: builtin imports (SHIFT/…); fix SHIFT out-of-range fault
|
1 일 전 |
|
Eric Streit
|
6f0e847af6
language: procedure addresses (ADR(proc), VAL(ADDRESS, proc))
|
1 일 전 |
|
Eric Streit
|
9f4c7a474a
language: defer a forward type used as an array index
|
1 일 전 |
|
Eric Streit
|
31a78476cf
language: fold representation-changing CONST conversions
|
1 일 전 |
|
Eric Streit
|
96a153b8e1
language: fold CAP/ABS/ODD over immediates (CONST); BOOLEAN consts
|
1 일 전 |
|
Eric Streit
|
3cd20c5024
language: SET CONST declarations (static masks)
|
1 일 전 |
|
Eric Streit
|
1de6c1609c
language: forward type reference in SET OF <type>
|
1 일 전 |
|
Eric Streit
|
0c7fa60a4d
language: BOOLEAN/ENUM array bounds and indices
|
1 일 전 |
|
Eric Streit
|
368b20d1b5
language: standard builtins ODD / TRUNC / FLOAT
|
1 일 전 |
|
Eric Streit
|
b00def2975
generics: nested generics as type actuals + more constraint names
|
2 일 전 |
|
Eric Streit
|
77e8010940
generics inc3: constraint model - T : TYPE (ORDINAL|INTEGER|REAL)
|
2 일 전 |
|
Eric Streit
|
cb97d17ade
generics inc3: procedure parameters
|
2 일 전 |
|
Eric Streit
|
e15787757a
generics inc3: actual-kind constraints (type vs value formal)
|
3 일 전 |
|
Eric Streit
|
f582946326
generics inc3 (partial): value (constant) generic parameters
|
3 일 전 |
|
Eric Streit
|
de015ff4fd
language: constant-fold ordinal type conversions in CONST initialisers
|
3 일 전 |
|
Eric Streit
|
10883098d7
language: ISO type conversions T(x) (lowered to VAL)
|
3 일 전 |
|
Eric Streit
|
a89a1c0b65
cleanup: remove the vestigial Check pass and L7 scaffolding
|
3 일 전 |
|
Eric Streit
|
6d8d817742
two-phase parse: delete the forward-reference machinery (goal reached)
|
3 일 전 |
|
Eric Streit
|
5255d583a9
two-phase parse: fix snapshot leak, flip deferral on by default
|
3 일 전 |
|
Eric Streit
|
f500a120d1
two-phase parse milestone 2c (WIP): defer bodies and re-parse at unit end
|
3 일 전 |
|
Eric Streit
|
cdb643655f
two-phase parse milestone 2b: scope save/restore primitives (inert)
|
3 일 전 |
|
Eric Streit
|
dce67fcdfb
two-phase parse milestone 2a: body spans + SeekTo with fidelity check (inert)
|
3 일 전 |
|
Eric Streit
|
6c64b46f4f
two-phase parse milestone 1: body-skip probe behind -twophase (inert)
|
3 일 전 |
|
Eric Streit
|
192ad55812
resolve-check step 4b: Check resolves a forward designator's type
|
3 일 전 |
|
Eric Streit
|
5703b27527
resolve-check step 4a: store expression-node types (AST.SetTy)
|
3 일 전 |
|
Eric Streit
|
7ca434b449
resolve-check step 3: forward operand is InvalidType; drop IsFwdVar
|
3 일 전 |
|
Eric Streit
|
f34ca98f81
resolve-check step 2: move forward-reference resolution into Check
|
3 일 전 |
|
Eric Streit
|
ccb3cb1bea
generics inc2: instantiate by re-parsing the generic source
|
1 주 전 |
|
Eric Streit
|
e1d04724e4
generics inc1: recognise the four generic module categories
|
1 주 전 |
