New syntax - #530

Draft

Y-Nak wants to merge 34 commits into

argotorg:mainfrom

Y-Nak:new-syntax

Commits on Jul 25, 2026

Implement Solidity-style source syntax
Y-Nak
committed
27d04e4
Migrate source corpus to new syntax
Y-Nak
committed
2720c9d
Document the new source syntax
Y-Nak
committed
94c37e2
Validate Yul control-flow syntax
Y-Nak
committed
6d9076d
Preserve new syntax semantics through the frontend
Y-Nak
committed
05b47bb
Harden new-syntax migration
Y-Nak
committed
6d8cf73
Regenerate syntax railroad diagrams
Y-Nak
committed
c81c76c
Harden railroad diagram generation
Y-Nak
committed
fb1862a
Document audited syntax behavior
Y-Nak
committed
e6eb606
Add hermetic syntax validation checks
Y-Nak
committed
b79493d
Disambiguate cast targets from operators
Y-Nak
committed
5a28d57
Preserve empty return clauses in semantic pretty output
Y-Nak
committed
93cdf7d
Escape Yul strings in pretty output
Y-Nak
committed
e961405
Preserve Yul meta expressions in pretty output
Y-Nak
committed
e3b8f1a
Preserve nested comments during syntax migration
Y-Nak
committed
a0ccb5c
Preserve function type visibility during migration
Y-Nak
committed
3aae89e
Preserve explicit unit returns during migration
Y-Nak
committed
7c9b8fd
Protect Yul meta payloads during migration
Y-Nak
committed
0a8804d
Reject loop control outside loop bodies
Y-Nak
committed
1afc6fd
Evaluate compound-assignment lvalues once
Y-Nak
committed
25d696c
Reject qualified names in trait declarations
Y-Nak
committed
fae7aab
Implement explicit Typedef conversions
Y-Nak
committed
96fd8bf
Preserve complete qualified name paths
Y-Nak
committed
05ab3ce
Validate Yul literal representations
Y-Nak
committed
44c90b7
Support UFCS on arbitrary value receivers
Y-Nak
committed
06f9836
Allow qualified generic-derivation pragma targets
Y-Nak
committed
8c191de
Complete rich syntax constructor migration
Y-Nak
committed
267d23b
Make compound-assignment tests self-contained
Y-Nak
committed
9e74a3b
Derive instances for nested syntax declarations
Y-Nak
committed
202d1d8
Preserve located field accesses during lowering
Y-Nak
committed
168410d
Preserve contract shell semantics through lowering
Y-Nak
committed
a6ad608
Emit rich signature metadata in contract ABIs
Y-Nak
committed
9e4ef6d
Align omitted-return syntax expectations
Y-Nak
committed
dc2527b
Merge branch 'main' into new-syntax
Y-Nak
committed
4cf669a

Navigation Menu

Uh oh!

New syntax - #530

New syntax#530
Y-Nak wants to merge 34 commits into
argotorg:mainfrom
Y-Nak:new-syntax

Commits on Jul 25, 2026

Implement Solidity-style source syntax

Migrate source corpus to new syntax

Document the new source syntax

Validate Yul control-flow syntax

Preserve new syntax semantics through the frontend

Harden new-syntax migration

Regenerate syntax railroad diagrams

Harden railroad diagram generation

Document audited syntax behavior

Add hermetic syntax validation checks

Disambiguate cast targets from operators

Preserve empty return clauses in semantic pretty output

Escape Yul strings in pretty output

Preserve Yul meta expressions in pretty output

Preserve nested comments during syntax migration

Preserve function type visibility during migration

Preserve explicit unit returns during migration

Protect Yul meta payloads during migration

Reject loop control outside loop bodies

Evaluate compound-assignment lvalues once

Reject qualified names in trait declarations

Implement explicit Typedef conversions

Preserve complete qualified name paths

Validate Yul literal representations

Support UFCS on arbitrary value receivers

Allow qualified generic-derivation pragma targets

Complete rich syntax constructor migration

Make compound-assignment tests self-contained

Derive instances for nested syntax declarations

Preserve located field accesses during lowering

Preserve contract shell semantics through lowering

Emit rich signature metadata in contract ABIs

Align omitted-return syntax expectations

Merge branch 'main' into new-syntax