SLC: Add Mirror-based derivation for ToExpr and FromExpr - #26541

Draft

halotukozak wants to merge 17 commits into

halotukozak:add-toexpr-fromexpr-mirror-derivation

Commits on Jul 13, 2026

Add Mirror-based derivation for ToExpr and FromExpr

halotukozak
and
claude
committed
37a8d31

Commits on Jul 14, 2026

Add nested sum derivation for Vehicle and Arith with corresponding tests
halotukozak
committed
5616c97
Auto-derive a sum's own case instances

halotukozak
and
claude
committed
398a533
cleanup comments
halotukozak
committed
bb1f44f
use lazy val for elemInstances in FromExpr and ToExpr derivations to allow recursive derivation
halotukozak
committed
9f3356a
Add FromExprFactory and ToExprFactory for type constructors
halotukozak
committed
9331e0f
revert copy-pasted derivation mechanisms
halotukozak
committed
8a8136c
Fix ToExprFactory.derivedSum crash on case-object sum cases

halotukozak
and
claude
committed
a01e97c
Remove ToExpr.derived and FromExpr.derived in favor of ToExprFactory/FromExprFactory

halotukozak
and
claude
committed
04d8fea
Fix enum-case dispatch and singleton priority in ToExprFactory/FromExprFactory; migrate tests off ToExpr.derived/FromExpr.derived

halotukozak
and
claude
committed
c18b902

Commits on Jul 15, 2026

Add deferred-Type container/tuple instances to ToExprFactory/FromExprFactory

halotukozak
and
claude
committed
8264cd4
Simplify ToExprFactory/FromExprFactory: drop redundant ToExpr/FromExpr bindings

halotukozak
and
claude
committed
05a51dc
Name the FromExprFactory/ToExprFactory proxy params; proxy Tuple1..22/TupleCons too

halotukozak
and
claude
committed
a22884e

Commits on Jul 16, 2026

Restore pre-existing ToExpr/FromExpr given signatures for binary compatibility

halotukozak
and
claude
committed
b9dd49f

Commits on Aug 12, 2026

fix derivedSum in ToExprFactory
halotukozak
committed
68ced9e

Commits on Aug 13, 2026

fix derivedSum in FromExprFactory
halotukozak
committed
8caec3d
Demote tupleConsToExprFactory to a low-priority fallback
halotukozak
committed
03c9654