dylib compilation and runtime loading (#127)

Co-authored-by: tjjfvi <[email protected]>

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "hvm-core"
-version = "0.2.25"
+version = "0.2.26"
 edition = "2021"
 description = "HVM-Core is a massively parallel Interaction Combinator evaluator."
 license = "MIT"
@@ -27,6 +27,7 @@ debug = "full"
 TSPL = "0.0.9"
 arrayvec = "0.7.4"
 clap = { version = "4.5.1", features = ["derive"], optional = true }
+libloading = "0.8.3"
 nohash-hasher = { version = "0.2.0" }
 ordered-float = "4.2.0"
 parking_lot = "0.12.1"

build.rs

@@ -0,0 +1,8 @@
+use std::{env, process::Command};
+
+fn main() {
+  let rustc_version = Command::new(env::var("RUSTC").unwrap()).arg("--version").output().unwrap().stdout;
+  let rustc_version = String::from_utf8(rustc_version).unwrap();
+
+  println!("cargo::rustc-env=RUSTC_VERSION={rustc_version}");
+}

cspell.json

@@ -14,6 +14,8 @@
     "dereferencable",
     "dref",
     "dups",
+    "dylib",
+    "dylibs",
     "effectful",
     "fmts",
     "fuzzer",
@@ -24,6 +26,8 @@
     "ilog",
     "inlinees",
     "insta",
+    "libhvmc",
+    "libloading",
     "lldb",
     "lnet",
     "lnum",
@@ -48,6 +52,7 @@
     "rnet",
     "rnum",
     "rsplit",
+    "rustc",
     "rwts",
     "sigabrt",
     "skippable",

src/compile.rs

@@ -70,7 +70,11 @@ fn _compile_host(host: &Host) -> Result<String, fmt::Error> {
       continue;
     }
 
-    let fields = refs.iter().map(|r| format!("def_{}", sanitize_name(r))).collect::<Vec<_>>().join(", ");
+    let fields = refs
+      .iter()
+      .map(|r| format!("def_{rust_name}: def_{rust_name}.clone()", rust_name = sanitize_name(r)))
+      .collect::<Vec<_>>()
+      .join(", ");
 
     writeln!(
       code,