search

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)
MIT License
11 stars 0 forks source link

Mark some types as derived class #526

Open andrew-johnson-4 opened 3 days ago

andrew-johnson-4 commented 3 days ago 
Fields<...>

is always derived, so doesn't need to be propagated and can be lazily derived as necessary.

andrew-johnson-4 commented 3 days ago

In unify first check to see if it uses any derived classes, then go apply the derivations as necessary,