experiment with `into` type conversion - #26

Draft

mohsinhassaan wants to merge 18 commits into

DistCompiler:fhackett-rw-rwfrom

mohsinhassaan:fhackett-rw-rw-rw

Commits on Jul 1, 2026

experiment with `into` type conversion
mohsinhassaan
committed
266c67d

Commits on Jul 4, 2026

try to implement P.Meta with macros
fhackett
committed
6b61aec
better P.Meta codegen (yes we can have constructors!)
fhackett
committed
4c83f73

Commits on Jul 5, 2026

finish simpler implementation of P.Meta for sealed supertypes, make better error messages
fhackett
committed
8bac3e1

Commits on Jul 10, 2026

remove accumulated versions, add Lang experiment
fhackett
committed
9b2c117
implement Sum except for extension semantics
fhackett
committed
b52a4b1
troubleshoot unapply
fhackett
committed
1afd4ff
re-enable formatting
fhackett
committed
c3f24a3

Commits on Jul 12, 2026

correct Sum.EffectiveType using tuples rather than unions
fhackett
committed
b07ff86

Commits on Jul 21, 2026

basic implementation of adding cases to Sum
mohsinhassaan
committed
6543a8a

Commits on Jul 24, 2026

clean up Extends code
fhackett
committed
7a60a6a
forgot fmt
fhackett
committed
c730622

Commits on Jul 27, 2026

use Erased to enforce Lang logic has no bytecode footprint
fhackett
committed
006070b

Commits on Jul 30, 2026

working transformations?
mohsinhassaan
committed
a4706a0

Commits on Aug 4, 2026

update Term unapply to use TrivialMatch
mohsinhassaan
committed
059e114
forgot fmt :(
mohsinhassaan
committed
45cb2e7

Commits on Aug 13, 2026

big WIP
fhackett
committed
7654ae0

Commits on Aug 14, 2026

more WIP, maybe works
fhackett
committed
238cdc0