Ilya Rezvov
Ilya Rezvov
Hi, @agustinmista Thank you for continuing to challenge my implementation :) Again, nice catch. If you look on [signed version](https://github.com/SPY/haskell-wasm/blob/d36342d626c22e38189bb3bf966ea52274bd622e/src/Language/Wasm/Validate.hs#L298) of the same instruction you will see it has a...
Hi Agustin A nice catch as usual :) An issue now arises from Int32 overflow. Truncate puts 0xFFFFFFFF on stack to be used as an address. But I32Store instruction also...
Hi, @TD5 Sorry for delayed response. I'm going to invest some time to rebuild testing infrastructure first to bring actual tests from core repo. After I'm going to bring multi-value...
Hi @brandlk Please follow `update-tests` branch. I linked the official testsuit as a submodule and going to fix parsing first. Then I'm going to support new features passed standardisation.
I've updated tests to fairly fresh state and implemented multi-value, mutable globals, non-trapping float operations and sign extension operator proposals. While I was working on them, two more proposals(reference types...
Hi Your PR is highly welcome. Instead of silently return Nothing in `eval` function I would throw an explicit error like `error "Arguments mismatch"` in `invoke` implementation. Besides arguments count...
Hi @ethanfrey You can treat this project like a proof-of-concept. I stopped development of this project back in 2018 due to the appearance of Idris 2(Blodwen back there). It looked...
@eqrion I think I misunderstood in-person discussion, thanks for correction. Throwing on "unsupported" types in `type()` is even easier and sounds right to me as well. I will propose the...
I believe we don't need a special machinery for this use case. Regular JS bind will be enough here. ```javascript let print_i32 = new WebAssembly.Function({parameters: ["i32"], results: []}, print.bind('i32')); table.set(0,...