Add support for Java records in patterns. - #19577

Closed

yilinwei wants to merge 13 commits into

yilinwei:java-record-patterns

Commits on Feb 9, 2024

Add support for Java records in patterns.
yilinwei
committed
670664f
Add extra regression test for generic record.
yilinwei
committed
89cf837
Check if run tests are working on the CI.
yilinwei
committed
24343bf
Add 0 arity test
yilinwei
committed
406c039
Add generic record run test.
yilinwei
committed
7b44500
First-class Java record pattern matching.
yilinwei
committed
0d277a1

Commits on Feb 10, 2024

Add initial experiments on mirror support.
yilinwei
committed
143d5b3
Add back previous change.
yilinwei
committed
d653059
Change return type
yilinwei
committed
b749672

Commits on Feb 14, 2024

Tentative classfile changes
yilinwei
committed
df184af
Hack around with a flag for now.
yilinwei
committed
6da240b
Switch over to using `ParamAccessor` as discriminant.
yilinwei
committed
3aa99e7

Commits on Feb 16, 2024

Adding step to reduce `unapply`.
yilinwei
committed
353d9d8