v0.1.19

Author: gavinleroy

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "argus-cli"
-version = "0.1.18"
+version = "0.1.19"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"
@@ -10,8 +10,8 @@ license = "MIT"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-argus-lib = { version = "0.1.18", path = "../argus" }
-argus-ext = { version = "0.1.18", path = "../argus-ext" }
+argus-lib = { version = "0.1.19", path = "../argus" }
+argus-ext = { version = "0.1.19", path = "../argus-ext" }
 rustc_plugin = "=0.13.0-nightly-2025-03-03"
 
 rustc_utils.workspace = true

crates/argus-cli/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-ext"
-version = "0.1.18"
+version = "0.1.19"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"

crates/argus-ext/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-ser-macros"
-version = "0.1.18"
+version = "0.1.19"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"

crates/argus-ser-macros/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-ser"
-version = "0.1.18"
+version = "0.1.19"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"
@@ -28,8 +28,8 @@ ts-rs = { version = "7.1.1", features = [
   "no-serde-warnings",
 ], optional = true }
 
-argus-ser-macros = { version = "0.1.18", path = "../argus-ser-macros" }
-argus-ext = { version = "0.1.18", path = "../argus-ext" }
+argus-ser-macros = { version = "0.1.19", path = "../argus-ser-macros" }
+argus-ext = { version = "0.1.19", path = "../argus-ext" }
 
 [dev-dependencies]
 argus-ser = { path = ".", features = ["testing"] }

crates/argus-ser/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "argus-lib"
-version = "0.1.18"
+version = "0.1.19"
 edition = "2021"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"
@@ -22,8 +22,8 @@ serde.workspace = true
 serde_json.workspace = true
 itertools.workspace = true
 
-argus-ext = { version = "0.1.18", path = "../argus-ext" }
-argus-ser = { version = "0.1.18", path = "../argus-ser" }
+argus-ext = { version = "0.1.19", path = "../argus-ext" }
+argus-ser = { version = "0.1.19", path = "../argus-ser" }
 index_vec = { version = "0.1.3", features = ["serde"] }
 smallvec = "1.14.0"
 indexmap = { version = "2.2", features = ["serde"] }

crates/argus/Cargo.toml

@@ -26,6 +26,8 @@ use crate::{
   },
 };
 
+// NOTE all indices need to be exported
+// manually with ts-rs, see end of file.
 ser::define_idx! {
   u32,
   GoalIdx,
@@ -204,3 +206,12 @@ impl From<String> for CandidateData {
     Self::Any(value)
   }
 }
+
+#[cfg(all(test, feature = "testing"))]
+#[test]
+fn export_bindings_indices() {
+  GoalIdx::export().expect("could not export type");
+  ImplementorsIdx::export().expect("could not export type");
+  CandidateIdx::export().expect("could not export type");
+  ResultIdx::export().expect("could not export type");
+}

crates/argus/src/proof_tree/mod.rs

@@ -5,7 +5,7 @@
   "description": "A trait debugger for Rust",
   "license": "MIT",
   "icon": "argus-logo-128.png",
-  "version": "0.1.18",
+  "version": "0.1.19",
   "engines": {
     "vscode": "^1.99.1"
   },