Fixed arrays as structural types: Type::tFixedArray replaces TypeDecl dim/dimExpr#3095

Merged

borisbat merged 23 commits into

masterfrom

bbatkin/fixed-array-type

Jun 11, 2026

Commits on Jun 11, 2026

fixed-array rework stage 1a: additive Type::tFixedArray core machinery

borisbat
and
claude
committed
fixed-array 1b-i: typeMacro/typeDecl/tag payload moves dimExpr -> typeMacroExpr

borisbat
and
claude
committed
fixed-array plan: the third parser (utils/dasFormatter gen1->gen2 converter) is fixed last

borisbat
and
claude
committed
fixed-array 1b-ii: parsers + mangled-name parse build tFixedArray chains

borisbat
and
claude
committed
fixed-array 1c: typeFactory/interop produce tFixedArray; makeTypeInfo flattens

borisbat
and
claude
committed
fixed-array 1d: infer produces/consumes tFixedArray; dim-vector reads flipped

borisbat
and
claude
committed
fixed-array 1e: simulate lowers tFixedArray; the world boots again

borisbat
and
claude
committed
fixed-array 1f: alias peel + .dim flattened view; emitter/JIT ride compat

borisbat
and
claude
committed
lint ride-along: STYLE030 generic-body false positive + glsl self-> sweep

borisbat
and
claude
committed
fixed-array: generic aliases bind the WHOLE matched type

borisbat
and
claude
committed
fixed-array 1g: delete container-FA [] overload families; natural archive recursion; default<T[N]>

borisbat
and
claude
committed
fixed-array stage 2: aot_cpp structural port (natural TDim recursion); fix #3077 native-dim field pun

borisbat
and
claude
committed
fixed-array: auto(TT)[] binding inherits param constness (match plain auto, master parity)

borisbat
and
claude
committed
fixed-array stage 3: llvm_jit structural port; new Handle[N] registration-pass fix; JIT codegen version 0x24

borisbat
and
claude
committed
fixed-array stage 4: row-sort transform one-peel fix; dead dim-rejects deleted; stdlib generics pinned multi-dim

borisbat
and
claude
committed
fixed-array stage 5: macro/tooling structural ports; typeMacroExpr exposed+renamed; -[] peel; rst/glsl FA render fixes

borisbat
and
claude
committed
fixed-array stage 6: delete TypeDecl dim/dimExpr + compat properties; makeTypeInfo chain-native; dasFormatter grammar flip; serialization v91

borisbat
and
claude
committed
fixed-array stage 7: RST docs - fixed-array section in arrays.rst; natural generic binding + one-level -[] peel in generic_programming.rst

borisbat
and
claude
committed
fixed-array: port style_lint rules added on master to structural reads (post-rebase)

borisbat
and
claude
committed
fixed-array docs: update handmade RST for das2rst (docs CI)

borisbat
and
claude
committed
fixed-array: review fixes + clang/gcc tests-cpp compile fix

borisbat
and
claude
committed
fixed-array: safe_addr overloads for fixed arrays (C-style decay)

borisbat
and
claude
committed
fixed-array docs: group make_fixed_array_type under Type generation

borisbat
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fixed arrays as structural types: Type::tFixedArray replaces TypeDecl dim/dimExpr#3095

Fixed arrays as structural types: Type::tFixedArray replaces TypeDecl dim/dimExpr#3095
borisbat merged 23 commits into
masterfrom
bbatkin/fixed-array-type

Commits on Jun 11, 2026

fixed-array rework stage 1a: additive Type::tFixedArray core machinery

fixed-array 1b-i: typeMacro/typeDecl/tag payload moves dimExpr -> typeMacroExpr

fixed-array plan: the third parser (utils/dasFormatter gen1->gen2 converter) is fixed last

fixed-array 1b-ii: parsers + mangled-name parse build tFixedArray chains

fixed-array 1c: typeFactory/interop produce tFixedArray; makeTypeInfo flattens

fixed-array 1d: infer produces/consumes tFixedArray; dim-vector reads flipped

fixed-array 1e: simulate lowers tFixedArray; the world boots again

fixed-array 1f: alias peel + .dim flattened view; emitter/JIT ride compat

lint ride-along: STYLE030 generic-body false positive + glsl self-> sweep

fixed-array: generic aliases bind the WHOLE matched type

fixed-array 1g: delete container-FA [] overload families; natural archive recursion; default<T[N]>

fixed-array stage 2: aot_cpp structural port (natural TDim recursion); fix #3077 native-dim field pun

fixed-array: auto(TT)[] binding inherits param constness (match plain auto, master parity)

fixed-array stage 3: llvm_jit structural port; new Handle[N] registration-pass fix; JIT codegen version 0x24

fixed-array stage 4: row-sort transform one-peel fix; dead dim-rejects deleted; stdlib generics pinned multi-dim

fixed-array stage 5: macro/tooling structural ports; typeMacroExpr exposed+renamed; -[] peel; rst/glsl FA render fixes

fixed-array stage 6: delete TypeDecl dim/dimExpr + compat properties; makeTypeInfo chain-native; dasFormatter grammar flip; serialization v91

fixed-array stage 7: RST docs - fixed-array section in arrays.rst; natural generic binding + one-level -[] peel in generic_programming.rst

fixed-array: port style_lint rules added on master to structural reads (post-rebase)

fixed-array docs: update handmade RST for das2rst (docs CI)

fixed-array: review fixes + clang/gcc tests-cpp compile fix

fixed-array: safe_addr overloads for fixed arrays (C-style decay)

fixed-array docs: group make_fixed_array_type under Type generation