proper separation of text_to_binary (group+assign+rewrite) and validation
zapashcanon opened this issue · 0 comments
zapashcanon commented
We should move all the validation part to validate/check.ml for the text format and to validate/typecheck.ml for the binary format. Otherwise we are not able to validate a binary module coming from a .wasm file and this is going to cause issues with the testsuite.
We should also rename these file to e.g. validate_text and validate_binary.