INNER CODE UNIT · JavaScript

dummyModule

FStarLang/karamel · krmllib/js/loader.js:134

function dummyModule(funcs, globals) {
  let module = {};
  for (let f of funcs)
    module[f] = () => {
      my_print("Not implemented: " + s);
      throw new Error();
    };
  for (let g of globals)
    module[g] = 0;
  return module;
}

let mkWasmSupport = (mem) => ({
  WasmSupport_trap: (s) => {
    dump(mem, 2*1024);
    my_print(stringAtAddr(mem, s));
    my_print("Run-time trap, e.g. zero-sized array or abort. See error message above.");
    throw new Error();

View source record →