INNER CODE UNIT · JavaScript

with_debug

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

  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)) {
    if ("main" in scope[m]) {
      my_print("... main found in module " + m);
      found = true;
      with_debug(scope[m].main);
    }
  }
  if (!found) {
    if (!("main" in global)) {
      my_print("... no main in current scope");
      throw new Error("Aborting");

View source record →