INNER CODE UNIT · JavaScript

scope

FStarLang/karamel · krmllib/js/main.js:71

var scope = link(my_imports, my_modules.map(m => ({ name: m, buf: my_readbuffer(m+".wasm") })));
var global = this;
scope.then(scope => {
  if (debug) {
    for (let m of Object.keys(scope))
      my_print("... " + m + " exports " + Object.keys(scope[m]).join(","));
  }

  let found = false;
  let err = 0;
  let with_debug = (main) => {
    if (my_debug)
      dump(scope.Karamel.mem, 2048);
    err = main(scope);
    if (my_debug)
      dump(scope.Karamel.mem, 2048);
  };
  for (let m of Object.keys(scope)) {

View source record →