Make @as part of the AST - #8619

Open

cristianoc wants to merge 10 commits into

lambda/split-traversalsfrom

lambda/as-in-the-ast

Commits on Sep 5, 2026

Name the runtime name of a record field once

cristianoc
and
claude
committed
ccad030
Give Lambda a record field's runtime name directly

cristianoc
and
claude
committed
5b29792
Make @as on a record field part of the AST

cristianoc
and
claude
committed
febcccc
Make @as on a variant constructor part of the AST

cristianoc
and
claude
committed
ab50d5d
Give a variant tag one decoded representation

cristianoc
and
claude
committed
141d796
Store a variant tag as the literal it can only be

cristianoc
and
claude
committed
085aaf9
Read an @as attribute in one place

cristianoc
and
claude
committed
900e309
Name the reader of an external argument's encoding

cristianoc
and
claude
committed
6c0f6bf
Warn about an @as that does not name a record field

cristianoc
and
claude
committed
c0daad3
Keep field renames in object spreads
cristianoc
committed
8aa1c8f