Fix handling of wasi-rts symbols

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

Closed TerrorJack closed 2 years ago

TerrorJack commented 2 years ago

If a symbol exists in both rts.wasm and our code, panic at link time
If a symbol exists in rts.wasm and we attempt to call it, redirect the call to the binaryen internal symbol
Run binaryen validate for better error message in case of a type mismatch