msrv 1.80 support (incl. derivre bump)

Author: mmoskal

.github/workflows/rust.yml

@@ -52,3 +52,20 @@ jobs:
       with:
         name: wheels
         path: target/wheels/*
+
+  msrv:
+    name: MSRV Check
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+
+    - name: Set up Rust
+      uses: dtolnay/[email protected]
+      with:
+        components: clippy
+
+    - name: Build parser
+      run: cargo build --verbose --locked
+      working-directory: parser

Cargo.lock

@@ -8,7 +8,7 @@ repository = "https://github.com/guidance-ai/llguidance"
 
 [dependencies]
 toktrie = { workspace = true }
-derivre = { version = "=0.3.7", default-features = false, features = ["compress"] }
+derivre = { version = "=0.3.8", default-features = false, features = ["compress"] }
 serde = { version = "1.0.217", features = ["derive"] }
 serde_json = { version = "1.0.138", features = ["preserve_order"] }
 anyhow = "1.0.95"

parser/Cargo.toml

@@ -5,7 +5,7 @@ fn main() {
 
     let required_vars = [
         "CARGO",
-        "CARGO_MANIFEST_PATH",
+        // "CARGO_MANIFEST_PATH",
         "CARGO_PKG_NAME",
         "CARGO_PKG_VERSION",
         "OUT_DIR",

parser/build.rs

@@ -554,9 +554,12 @@ pub extern "C" fn llg_get_temperature(cc: &LlgConstraint) -> f32 {
 /// Check if constraint is stopped (cannot be extended further).
 #[no_mangle]
 pub extern "C" fn llg_is_stopped(cc: &LlgConstraint) -> bool {
-    cc.constraint
-        .as_ref()
-        .is_none_or(|c| c.step_result().is_stop())
+    if let Some(c) = &cc.constraint {
+        c.step_result().is_stop()
+    } else {
+        // if there is no constraint, we consider it stopped
+        true
+    }
 }
 
 /// Compute mask for the next token sampling