@grain/libbinaryen/binaryen/test/binaryen.js/validation_errors.js

Libbinaryen packaged for OCaml.

(function() {
  var mod = new binaryen.Module();
  var func = mod.addFunction("test", binaryen.none, binaryen.none, [],
    mod.block("", [
      mod.drop(
        mod.global.get("missing", binaryen.i32)
      )
    ])
  );
  mod.addExport("test", "test");
  console.log(mod.validate())
})();

(function() {
  var mod = new binaryen.Module();
  var func = mod.addFunction("test", binaryen.none, binaryen.none, [],
    mod.block("", [
      mod.drop(
        mod.local.get(0, binaryen.i32)
      )
    ])
  );
  mod.addFunctionExport("test", "test");
  console.log(mod.validate())
})();