INNER CODE UNIT · JavaScript

karamel_start

FStarLang/karamel · krmllib/js/browser.js:6

function karamel_start () {
  my_print = (...msg) =>
    document.getElementById("terminal").appendChild(
      document.createTextNode(msg.join(" ")+"\n"));

  if (!("my_imports" in this))
    this.my_imports = {};

  if (!("WebAssembly" in this))
    my_print("Error: WebAssembly not enabled. Use Chrome Canary?");

  my_print("... assembling WASM modules " + my_modules);
  return Promise.all(my_modules.map(m => fetch(m + ".wasm")))
    .then(responses =>
      Promise.all(responses.map(r => r.arrayBuffer()))
    ).then(bufs =>
      link(my_imports, bufs.map((b, i) => ({ buf: b, name: my_modules[i] }))))
    .then(scope => {

View source record →