can wast2json write out binary modules as they are without error checking?

[yamt]

can wast2json write out binary modules as they are without error checking?

[sbc100]

Can you explain what the first line is doing? What is the try_table.bin.wast output file in this case? How is it different to the input wast file?

I wonder how hard it would be to add wabt support for the latest exception handling changes? @aheejin ?

I suppose it would make sense to extend the meaning of --no-check when passed to wast2json. Having said that I'm not sure why that option even exists for this tool. I don't see any usage of wast2json --no-check in wabt.

[yamt]

Can you explain what the first line is doing? What is the try_table.bin.wast output file in this case? How is it different to the input wast file?

it converts

;; Test try-catch blocks.

(module
  (tag $e0 (export "e0"))
  (func (export "throw") (throw $e0))
)

(register "test")
:
:

to

(module binary
  "\00\61\73\6d\01\00\00\00\01\84\80\80\80\00\01\60"
  "\00\00\03\82\80\80\80\00\01\00\0d\83\80\80\80\00"
  "\01\00\00\07\8e\80\80\80\00\02\02\65\30\04\00\05"
  "\74\68\72\6f\77\00\00\0a\8a\80\80\80\00\01\84\80"
  "\80\80\00\00\08\00\0b"
)
(register "test")
:
:

[aheejin]

@sbc100

I wonder how hard it would be to add wabt support for the latest exception handling changes? @aheejin ?

Not sure, because I'm not very familiar with the wabt internals myself. I reviewed some of the current EH implementation in wabt many years ago but I have to re-familiarize myself with it. I don't think it will be more difficult than the efforts put into the current implementation, but I don't think it will be trivial either. At the moment this is not on my priority to-do list unless something else pops up that requires it.

[yamt]

i ended up with writing a horrible hack to convert EH wast.
https://github.com/yamt/wasm-spec-test/blob/master/conv-eh.sh