@live-codes/ocaml 0.0.0-stage → 0.1.0

package/assets/compiler/runtime/bigstring.js

@@ -0,0 +1,137 @@
+///////// BIGSTRING
+
+//Provides: caml_hash_mix_bigstring
+//Requires: caml_hash_mix_bytes_arr
+function caml_hash_mix_bigstring(h, bs) {
+  return caml_hash_mix_bytes_arr(h, bs.data);
+}
+
+//Provides: bigstring_to_array_buffer mutable
+function bigstring_to_array_buffer(bs) {
+  return bs.data.buffer;
+}
+
+//Provides: bigstring_to_typed_array mutable
+function bigstring_to_typed_array(bs) {
+  return bs.data;
+}
+
+//Provides: bigstring_of_array_buffer mutable
+//Requires: caml_ba_create_unsafe
+function bigstring_of_array_buffer(ab) {
+  var ta = new Uint8Array(ab);
+  return caml_ba_create_unsafe(12, 0, [ta.length], ta);
+}
+
+//Provides: bigstring_of_typed_array mutable
+//Requires: caml_ba_create_unsafe
+function bigstring_of_typed_array(ba) {
+  var ta = new Uint8Array(
+    ba.buffer,
+    ba.byteOffset,
+    ba.length * ba.BYTES_PER_ELEMENT,
+  );
+  return caml_ba_create_unsafe(12, 0, [ta.length], ta);
+}
+
+//Provides: caml_bigstring_memcmp
+//Requires: caml_ba_get_1
+function caml_bigstring_memcmp(s1, pos1, s2, pos2, len) {
+  for (var i = 0; i < len; i++) {
+    var a = caml_ba_get_1(s1, pos1 + i);
+    var b = caml_ba_get_1(s2, pos2 + i);
+    if (a < b) return -1;
+    if (a > b) return 1;
+  }
+  return 0;
+}
+
+//Provides: caml_bigstring_blit_ba_to_ba
+//Requires: caml_invalid_argument, caml_array_bound_error
+function caml_bigstring_blit_ba_to_ba(ba1, pos1, ba2, pos2, len) {
+  if (12 !== ba1.kind)
+    caml_invalid_argument("caml_bigstring_blit_ba_to_ba: kind mismatch");
+  if (12 !== ba2.kind)
+    caml_invalid_argument("caml_bigstring_blit_ba_to_ba: kind mismatch");
+  if (len === 0) return 0;
+  // Positions are raw offsets from the start of the data, ignoring the
+  // layout: these primitives back base_bigstring's bigstring_blit_*
+  // stubs, whose C code indexes from `data + pos` (and so does the Wasm
+  // runtime here)
+  if (pos1 < 0 || pos1 + len > ba1.data.length) {
+    caml_array_bound_error();
+  }
+  if (pos2 < 0 || pos2 + len > ba2.data.length) {
+    caml_array_bound_error();
+  }
+  var slice = ba1.data.subarray(pos1, pos1 + len);
+  ba2.data.set(slice, pos2);
+  return 0;
+}
+
+//Provides: caml_bigstring_blit_string_to_ba
+//Requires: caml_invalid_argument, caml_array_bound_error, caml_uint8_array_of_string
+//Requires: caml_ml_string_length
+function caml_bigstring_blit_string_to_ba(str1, pos1, ba2, pos2, len) {
+  if (12 !== ba2.kind)
+    caml_invalid_argument("caml_bigstring_blit_string_to_ba: kind mismatch");
+  if (len === 0) return 0;
+  // Positions are raw offsets from the start of the data, ignoring the
+  // layout: these primitives back base_bigstring's bigstring_blit_*
+  // stubs, whose C code indexes from `data + pos` (and so does the Wasm
+  // runtime here)
+  if (pos1 < 0 || pos1 + len > caml_ml_string_length(str1)) {
+    caml_array_bound_error();
+  }
+  if (pos2 < 0 || pos2 + len > ba2.data.length) {
+    caml_array_bound_error();
+  }
+  var slice = caml_uint8_array_of_string(str1).subarray(pos1, pos1 + len);
+  ba2.data.set(slice, pos2);
+  return 0;
+}
+
+//Provides: caml_bigstring_blit_bytes_to_ba
+//Requires: caml_invalid_argument, caml_array_bound_error, caml_uint8_array_of_bytes
+//Requires: caml_ml_bytes_length
+function caml_bigstring_blit_bytes_to_ba(str1, pos1, ba2, pos2, len) {
+  if (12 !== ba2.kind)
+    caml_invalid_argument("caml_bigstring_blit_bytes_to_ba: kind mismatch");
+  if (len === 0) return 0;
+  // Positions are raw offsets from the start of the data, ignoring the
+  // layout: these primitives back base_bigstring's bigstring_blit_*
+  // stubs, whose C code indexes from `data + pos` (and so does the Wasm
+  // runtime here)
+  if (pos1 < 0 || pos1 + len > caml_ml_bytes_length(str1)) {
+    caml_array_bound_error();
+  }
+  if (pos2 < 0 || pos2 + len > ba2.data.length) {
+    caml_array_bound_error();
+  }
+  var slice = caml_uint8_array_of_bytes(str1).subarray(pos1, pos1 + len);
+  ba2.data.set(slice, pos2);
+  return 0;
+}
+
+//Provides: caml_bigstring_blit_ba_to_bytes
+//Requires: caml_invalid_argument, caml_array_bound_error
+//Requires: caml_blit_bytes, caml_bytes_of_uint8_array
+//Requires: caml_ml_bytes_length
+function caml_bigstring_blit_ba_to_bytes(ba1, pos1, bytes2, pos2, len) {
+  if (12 !== ba1.kind)
+    caml_invalid_argument("caml_bigstring_blit_ba_to_bytes: kind mismatch");
+  if (len === 0) return 0;
+  // Positions are raw offsets from the start of the data, ignoring the
+  // layout: these primitives back base_bigstring's bigstring_blit_*
+  // stubs, whose C code indexes from `data + pos` (and so does the Wasm
+  // runtime here)
+  if (pos1 < 0 || pos1 + len > ba1.data.length) {
+    caml_array_bound_error();
+  }
+  if (pos2 < 0 || pos2 + len > caml_ml_bytes_length(bytes2)) {
+    caml_array_bound_error();
+  }
+  var slice = ba1.data.subarray(pos1, pos1 + len);
+  caml_blit_bytes(caml_bytes_of_uint8_array(slice), 0, bytes2, pos2, len);
+  return 0;
+}

package/assets/compiler/runtime/domain.js

@@ -0,0 +1,393 @@
+//Provides: caml_domain_dls
+//Version: >= 5
+var caml_domain_dls = [0];
+
+//Provides: caml_domain_dls_set
+//Requires: caml_domain_dls
+//Version: >= 5
+function caml_domain_dls_set(a) {
+  caml_domain_dls = a;
+  return 0;
+}
+
+//Provides: caml_domain_dls_compare_and_set
+//Requires: caml_domain_dls
+//Version: >= 5.2
+function caml_domain_dls_compare_and_set(old, n) {
+  if (caml_domain_dls !== old) return 0;
+  caml_domain_dls = n;
+  return 1;
+}
+
+//Provides: caml_domain_dls_get
+//Requires: caml_domain_dls
+//Version: >= 5
+function caml_domain_dls_get(_unit) {
+  return caml_domain_dls;
+}
+
+//Provides: caml_domain_tls
+//Version: >= 5.2, < 5.3
+//OxCaml
+var caml_domain_tls = [0];
+
+//Provides: caml_domain_tls_set
+//Requires: caml_domain_tls
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_domain_tls_set(a) {
+  caml_domain_tls = a;
+  return 0;
+}
+
+//Provides: caml_domain_tls_get
+//Requires: caml_domain_tls
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_domain_tls_get(_unit) {
+  return caml_domain_tls;
+}
+
+//Provides: caml_atomic_load
+//Version: >= 5
+function caml_atomic_load(ref) {
+  return ref[1];
+}
+
+//Provides: caml_atomic_load_field
+//Version: >= 5.4
+function caml_atomic_load_field(b, i) {
+  return b[i + 1];
+}
+
+//Provides: caml_atomic_cas
+//Version: >= 5
+function caml_atomic_cas(ref, o, n) {
+  if (ref[1] === o) {
+    ref[1] = n;
+    return 1;
+  }
+  return 0;
+}
+
+//Provides: caml_atomic_cas_field
+//Version: >= 5.4
+function caml_atomic_cas_field(b, i, o, n) {
+  if (b[i + 1] === o) {
+    b[i + 1] = n;
+    return 1;
+  }
+  return 0;
+}
+
+//Provides: caml_atomic_compare_exchange
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_compare_exchange(ref, o, n) {
+  var old = ref[1];
+  if (old === o) ref[1] = n;
+  return old;
+}
+
+//Provides: caml_atomic_fetch_add
+//Version: >= 5
+function caml_atomic_fetch_add(ref, i) {
+  var old = ref[1];
+  ref[1] += i;
+  return old;
+}
+
+//Provides: caml_atomic_fetch_add_field
+//Version: >= 5.4
+function caml_atomic_fetch_add_field(b, i, n) {
+  var old = b[i + 1];
+  b[i + 1] += n;
+  return old;
+}
+
+//Provides: caml_atomic_add
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_add(ref, i) {
+  ref[1] += i;
+  return 0;
+}
+
+//Provides: caml_atomic_sub
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_sub(ref, i) {
+  ref[1] -= i;
+  return 0;
+}
+
+//Provides: caml_atomic_land
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_land(ref, i) {
+  ref[1] &= i;
+  return 0;
+}
+
+//Provides: caml_atomic_lor
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_lor(ref, i) {
+  ref[1] |= i;
+  return 0;
+}
+
+//Provides: caml_atomic_lxor
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_lxor(ref, i) {
+  ref[1] ^= i;
+  return 0;
+}
+
+//Provides: caml_atomic_exchange
+//Version: >= 5
+function caml_atomic_exchange(ref, v) {
+  var r = ref[1];
+  ref[1] = v;
+  return r;
+}
+
+//Provides: caml_atomic_exchange_field
+//Version: >= 5.4
+function caml_atomic_exchange_field(b, i, v) {
+  var r = b[i + 1];
+  b[i + 1] = v;
+  return r;
+}
+
+//Provides: caml_atomic_set
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_set(ref, v) {
+  ref[1] = v;
+  return 0;
+}
+
+//Provides: caml_atomic_make_contended
+//Version: >= 5.2
+function caml_atomic_make_contended(a) {
+  return [0, a];
+}
+
+//Provides: caml_ml_domain_unique_token
+//Version: >= 5.0, < 5.2
+var caml_ml_domain_unique_token_ = [0];
+function caml_ml_domain_unique_token(_unit) {
+  return caml_ml_domain_unique_token_;
+}
+
+//Provides: caml_recommended_domain_count
+//Version: >= 5
+function caml_recommended_domain_count(_unit) {
+  return 1;
+}
+
+//Provides: caml_ml_domain_index
+//Requires: caml_domain_id
+//Version: >= 5.03
+function caml_ml_domain_index(_unit) {
+  return caml_domain_id;
+}
+
+//Provides: caml_ml_domain_index
+//Requires: caml_domain_id
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_ml_domain_index(_unit) {
+  return caml_domain_id;
+}
+
+//Provides: caml_domain_id
+//Version: >= 5
+var caml_domain_id = 0;
+
+//Provides: caml_domain_spawn
+//Requires: caml_ml_mutex_unlock
+//Requires: caml_domain_id
+//Requires: caml_callback
+//Requires: caml_wrap_exception, caml_get_exception_raw_backtrace
+//Version: >= 5.5
+var caml_domain_latest_idx = 1;
+function caml_domain_spawn(f, term_sync) {
+  var id = caml_domain_latest_idx++;
+  var old = caml_domain_id;
+  caml_domain_id = id;
+  var result;
+  try {
+    // term_sync.state = Finished (Ok res)
+    result = [0, [0, caml_callback(f, [0])]];
+  } catch (e) {
+    // term_sync.state = Finished (Error (exn, backtrace))
+    var exn = caml_wrap_exception(e);
+    result = [0, [1, [0, exn, caml_get_exception_raw_backtrace(0)]]];
+  }
+  caml_domain_id = old;
+  caml_ml_mutex_unlock(term_sync[2]);
+  term_sync[1] = result;
+  return id;
+}
+
+//Provides: caml_domain_spawn
+//Requires: caml_ml_mutex_unlock
+//Requires: caml_domain_id
+//Requires: caml_callback
+//Requires: caml_wrap_exception
+//Version: >= 5.2, < 5.5
+var caml_domain_latest_idx = 1;
+function caml_domain_spawn(f, term_sync) {
+  var id = caml_domain_latest_idx++;
+  var old = caml_domain_id;
+  caml_domain_id = id;
+  var result;
+  try {
+    // term_sync.state = Finished (Ok res)
+    result = [0, [0, caml_callback(f, [0])]];
+  } catch (e) {
+    // term_sync.state = Finished (Error exn)
+    var exn = caml_wrap_exception(e);
+    result = [0, [1, exn]];
+  }
+  caml_domain_id = old;
+  caml_ml_mutex_unlock(term_sync[2]);
+  term_sync[1] = result;
+  return id;
+}
+
+//Provides: caml_domain_spawn
+//Requires: caml_ml_mutex_unlock
+//Requires: caml_domain_id
+//Requires: caml_callback
+//Version: >= 5.0, < 5.2
+var caml_domain_latest_idx = 1;
+function caml_domain_spawn(f, mutex) {
+  var id = caml_domain_latest_idx++;
+  var old = caml_domain_id;
+  caml_domain_id = id;
+  try {
+    caml_callback(f, [0]);
+  } finally {
+    caml_domain_id = old;
+    caml_ml_mutex_unlock(mutex);
+  }
+  return id;
+}
+
+//Provides: caml_ml_domain_id
+//Requires: caml_domain_id
+//Version: >= 5.0
+function caml_ml_domain_id(_unit) {
+  return caml_domain_id;
+}
+
+//Provides: caml_ml_domain_cpu_relax
+//Version: >= 5
+function caml_ml_domain_cpu_relax(_unit) {
+  return 0;
+}
+
+//Provides: caml_domain_count const
+//Version: >= 5.5
+function caml_domain_count(_unit) {
+  return 1;
+}
+
+//Provides: caml_atomic_load_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_load_field(ref, field) {
+  return ref[field + 1];
+}
+
+//Provides: caml_atomic_add_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_add_field(ref, field, i) {
+  ref[field + 1] += i;
+  return 0;
+}
+
+//Provides: caml_atomic_fetch_add_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_fetch_add_field(ref, field, i) {
+  var old = ref[field + 1];
+  ref[field + 1] += i;
+  return old;
+}
+
+//Provides: caml_atomic_cas_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_cas_field(ref, field, o, n) {
+  if (ref[field + 1] === o) {
+    ref[field + 1] = n;
+    return 1;
+  }
+  return 0;
+}
+
+//Provides: caml_atomic_compare_exchange_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_compare_exchange_field(ref, field, o, n) {
+  var old = ref[field + 1];
+  if (old === o) {
+    ref[field + 1] = n;
+  }
+  return old;
+}
+
+//Provides: caml_atomic_set_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_set_field(ref, field, v) {
+  ref[field + 1] = v;
+  return 0;
+}
+
+//Provides: caml_atomic_exchange_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_exchange_field(ref, field, v) {
+  var old = ref[field + 1];
+  ref[field + 1] = v;
+  return old;
+}
+
+//Provides: caml_atomic_sub_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_sub_field(ref, field, i) {
+  ref[field + 1] -= i;
+  return 0;
+}
+
+//Provides: caml_atomic_land_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_land_field(ref, field, i) {
+  ref[field + 1] &= i;
+  return 0;
+}
+
+//Provides: caml_atomic_lor_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_lor_field(ref, field, i) {
+  ref[field + 1] |= i;
+  return 0;
+}
+
+//Provides: caml_atomic_lxor_field
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_atomic_lxor_field(ref, field, i) {
+  ref[field + 1] ^= i;
+  return 0;
+}

package/assets/compiler/runtime/dynlink.js

@@ -0,0 +1,91 @@
+// Js_of_ocaml toplevel runtime support
+// http://www.ocsigen.org/js_of_ocaml/
+// Copyright (C) 2015 Hugo Heuzard
+//
+// This program is free software; you can redistribute it and/or modify
+// it under the terms of the GNU Lesser General Public License as published by
+// the Free Software Foundation, with linking exception;
+// either version 2.1 of the License, or (at your option) any later version.
+//
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU Lesser General Public License for more details.
+//
+// You should have received a copy of the GNU Lesser General Public License
+// along with this program; if not, write to the Free Software
+// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+
+//Provides: get_current_libs
+var current_libs;
+function get_current_libs() {
+  if (!current_libs) current_libs = [0, globalThis, globalThis.jsoo_runtime];
+  return current_libs;
+}
+
+//Provides: caml_dynlink_open_lib_impl
+//Requires: get_current_libs
+function caml_dynlink_open_lib_impl(_file) {
+  var current_libs = get_current_libs();
+  current_libs.push({});
+  // return the index of the slot just filled, used directly by
+  // lookup_symbol/close_lib
+  return current_libs.length - 1;
+}
+
+//Provides: caml_dynlink_open_lib
+//Requires: caml_dynlink_open_lib_impl
+//Version: < 5.1
+function caml_dynlink_open_lib(_mode, file) {
+  return caml_dynlink_open_lib_impl(file);
+}
+
+//Provides: caml_dynlink_open_lib
+//Requires: caml_dynlink_open_lib_impl
+//Version: >= 5.1
+function caml_dynlink_open_lib(file) {
+  return caml_dynlink_open_lib_impl(file);
+}
+
+//Provides: caml_dynlink_close_lib
+//Requires: get_current_libs
+function caml_dynlink_close_lib(idx) {
+  var current_libs = get_current_libs();
+  current_libs[idx] = null;
+  return 0;
+}
+
+//Provides: caml_dynlink_lookup_symbol
+//Requires: get_current_libs
+//Requires: caml_jsstring_of_string
+function caml_dynlink_lookup_symbol(idx, fun_name) {
+  var name = caml_jsstring_of_string(fun_name);
+  console.log("Dynlink: looking for symbol", name);
+  var current_libs = get_current_libs();
+  if (current_libs[idx]?.[name])
+    return { name: name, symbol: current_libs[idx][name] };
+  return 0;
+}
+
+//Provides: caml_dynlink_add_primitive
+//Requires: caml_link_info
+function caml_dynlink_add_primitive(dll_addr) {
+  globalThis.jsoo_runtime[dll_addr.name] = dll_addr.symbol;
+  return caml_link_info.prim_count++;
+}
+
+//Provides: caml_dynlink_get_current_libs
+//Requires: get_current_libs
+function caml_dynlink_get_current_libs() {
+  var current_libs = get_current_libs();
+  var len = current_libs.length;
+  var a = new Array(len);
+  for (var i = 0; i < len; i++) a[i] = i;
+  return a;
+}
+
+//Provides: caml_dynlink_parse_ld_conf
+//Version: >= 5.5
+function caml_dynlink_parse_ld_conf(_stdlib) {
+  return 0;
+}