search

tweag / asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
1.98k stars 55 forks source link

Fix StableName# object allocation #840

Closed TerrorJack closed 3 years ago

TerrorJack commented 3 years ago

This PR fixes StableName# object allocation: the size is corrected, and they are no longer pinned.