Replace DynBuffer with stack throughout prelude, and delete DynBuffer.

google-research / dex-lang

Research language for array processing in the Haskell/ML family

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

1.58k stars 106 forks source link

Replace DynBuffer with stack throughout prelude, and delete DynBuffer. #1329

Closed duvenaud closed 1 year ago

duvenaud commented 1 year ago

It required some rearranging, but nothing else was changed.

I think now stack could be spun out into its own file, but then I think everything that depends on it in the prelude would also would also have to be?