[WIP] Use destination-passing style at the top level, not just for internal calls

google-research / dex-lang

Research language for array processing in the Haskell/ML family

BSD 3-Clause "New" or "Revised" License

1.58k stars 107 forks source link

[WIP] Use destination-passing style at the top level, not just for internal calls #1160

Closed dougalm closed 1 year ago

dougalm commented 1 year ago

This avoids the atom reconstruction we had to do after the imp pass, which was always a pain to maintain. It should let us merge the different compilation paths into one, standardizing on FOMO functions as the core compilation unit.

dougalm commented 1 year ago

Superseded by #1173