Validator: Pass the module along when printing errors, so type names are used (#3727)

For example, on this invalid wat:

(module
  (type $vec (struct (field i64)))
  (func $test
    (drop
      (struct.new_with_rtt $vec (i32.const 1) (rtt.canon $vec))
    )
  )
)

We used to print:

[wasm-validator error in function test] struct.new operand must have proper type, on 
(struct.new_with_rtt ${i64}
 (i32.const 1)
 (rtt.canon ${i64})
)

We will now print:

[wasm-validator error in function test] struct.new operand must have proper type, on 
(struct.new_with_rtt $vec
 (i32.const 1)
 (rtt.canon $vec)
)

Note that $vec is used. In real-world examples the autogenerated structural name
can be huge, which this avoids.

0 files changed, 0 insertions, 0 deletions