search

shfty-elysian / elysian-legacy

Field function compiler
0 stars 0 forks source link

Factor out AsIR in favor of a first-class concrete interchange type #115

Closed Shfty closed 1 year ago

Shfty commented 1 year ago

AsIR is becoming too restrictive, so needs to be replaced with a data-driven approach.

Module should become the first-class interchange type, and be concat-able. This will allow it to be produced arbitrarily, instead of strictly via AsIR, and combined into a final module.

This should open the door to more specialized (and strongly typed) trait strata.

Shfty commented 1 year ago

Done: AsIR has been replaced with the more general AsModule, plus various support functions on Module.