Unified: Fix many translation errors when exprs appear in pattern context - #22473

Draft

asgerf wants to merge 37 commits into

github:mainfrom

asgerf:unified/pattern-fixes

Commits on Sep 1, 2026

unified: Add string interpolation expression
asgerf
committed
647ac70
unified: Regenerate QL
asgerf
committed
e06d667
unified: Add string interpolation corpus test
asgerf
committed
41ae049
unified: Naive rules for string interpolations
asgerf
committed
5ae4fca
unified: Set in_pattern=true when translating patterns
asgerf
committed
9ff9d65
unified: Include type_test_pattern in pattern type
asgerf
committed
3dbf730
unified: Add corpus with with 'case .foo, T.foo, [T].foo'
asgerf
committed
0c05a19
unified: Set and check ctx.in_pattern in more places
asgerf
committed
4173b02
unified: Change tuple.element to Argument
asgerf
committed
b806266
unified: Fix mapping of tuple patterns
asgerf
committed
0ca3c94
unified: Collapse single-element tuples
asgerf
committed
3a04adb
unified: Permit patterns in unresolved operator sequences
asgerf
committed
acb1a35
unified: Regenerate QL
asgerf
committed
bc0a4bf
unified: Use top-level rules for patternExpr and wildcard
asgerf
committed
a707d4b
unified: Handle 'asExpr' in pattern context
asgerf
committed
c19b61b
unified: Make type_test_pattern.pattern optional
asgerf
committed
d4aacba
unified: support 'case is T'
asgerf
committed
9f0a124
unified: Use the new 'where' syntax for tuples
asgerf
committed
77c3018
unified: Use 'where' syntax for constructor_pattern
asgerf
committed
a036680
unified: Remove superfluous rule
asgerf
committed
389e064
unified: Use 'where' clause in labeledExpr rule
asgerf
committed
2b6f6d8
unified: Use where in optionalChainingExpr
asgerf
committed
c8d55e5
unified: 'where' syntaxin asExpr
asgerf
committed
63976db
unified: Make update_corpus.sh run fewer tests
asgerf
committed
08ee7df
unified: Add test with arbitrary expressions in pattern context
asgerf
committed
8358fd1
unified: "Coerce" expr to pattern
asgerf
committed
d95f6c6
unified: Factor the pattern into a macro
asgerf
committed
a066692
unified: Apply coercion macro to other exprs
asgerf
committed
1f8de18
unified: Also test for string with interpolation
asgerf
committed
8323982
unified: Move prefixOperatorExpr to a more meaningful place
asgerf
committed
54dd65e
unified: Add subscriptExpr test
asgerf
committed
6215cbb
unified: Fix subscriptExpr error
asgerf
committed
a22033f
unified: Drive-by fix: Explicitly unsupport subscriptCallExpr
asgerf
committed
c1ef3f1
unified: Fix issue with '_' as an assignment target
asgerf
committed
3b56e52
unified: Use the coercion macro for literals
asgerf
committed
6490cce
unified: Do not emit plain strings as interpolations
asgerf
committed
1a89962
unified: Update BasicTest output
asgerf
committed
dfc9d60