claude: style(specl): apply cargo fmt

Author: danwt

specl/crates/specl-cli/src/main.rs

@@ -3560,28 +3560,20 @@ fn parse_constants(constants: &[String], spec: &specl_ir::CompiledSpec) -> CliRe
         let value_str = parts[1].trim();
 
         // Find the constant
-        let const_decl =
-            spec.consts
-                .iter()
-                .find(|c| c.name == name)
-                .ok_or_else(|| {
-                    let available: Vec<&str> =
-                        spec.consts.iter().map(|c| c.name.as_str()).collect();
-                    CliError::Other {
-                        message: if available.is_empty() {
-                            format!(
-                                "unknown constant '{}': this spec has no constants",
-                                name
-                            )
-                        } else {
-                            format!(
-                                "unknown constant '{}' (available: {})",
-                                name,
-                                available.join(", ")
-                            )
-                        },
-                    }
-                })?;
+        let const_decl = spec.consts.iter().find(|c| c.name == name).ok_or_else(|| {
+            let available: Vec<&str> = spec.consts.iter().map(|c| c.name.as_str()).collect();
+            CliError::Other {
+                message: if available.is_empty() {
+                    format!("unknown constant '{}': this spec has no constants", name)
+                } else {
+                    format!(
+                        "unknown constant '{}' (available: {})",
+                        name,
+                        available.join(", ")
+                    )
+                },
+            }
+        })?;
 
         // Parse the value
         let value = parse_value(value_str)?;
@@ -3679,14 +3671,20 @@ fn split_top_level_csv(s: &str) -> CliResult<Vec<&str>> {
 
         if brace_depth < 0 || bracket_depth < 0 || paren_depth < 0 {
             return Err(CliError::Other {
-                message: format!("unbalanced brackets in value '{}': extra closing delimiter", s),
+                message: format!(
+                    "unbalanced brackets in value '{}': extra closing delimiter",
+                    s
+                ),
             });
         }
     }
 
     if in_string || brace_depth != 0 || bracket_depth != 0 || paren_depth != 0 {
         return Err(CliError::Other {
-            message: format!("unbalanced delimiters in value '{}': unclosed bracket, brace, paren, or string", s),
+            message: format!(
+                "unbalanced delimiters in value '{}': unclosed bracket, brace, paren, or string",
+                s
+            ),
         });
     }
 

specl/crates/specl-eval/src/value.rs

@@ -323,14 +323,12 @@ impl Value {
     }
 
     pub fn empty_set() -> Self {
-        static EMPTY_SET: LazyLock<Value> =
-            LazyLock::new(|| Value::set(Arc::new(Vec::new())));
+        static EMPTY_SET: LazyLock<Value> = LazyLock::new(|| Value::set(Arc::new(Vec::new())));
         EMPTY_SET.clone()
     }
 
     pub fn empty_seq() -> Self {
-        static EMPTY_SEQ: LazyLock<Value> =
-            LazyLock::new(|| Value::seq(Vec::new()));
+        static EMPTY_SEQ: LazyLock<Value> = LazyLock::new(|| Value::seq(Vec::new()));
         EMPTY_SEQ.clone()
     }
 

specl/crates/specl-syntax/src/parser.rs

@@ -1412,9 +1412,7 @@ impl Parser {
                     }
                     depth -= 1;
                 }
-                TokenKind::Let | TokenKind::All | TokenKind::Any | TokenKind::Fix
-                    if depth == 0 =>
-                {
+                TokenKind::Let | TokenKind::All | TokenKind::Any | TokenKind::Fix if depth == 0 => {
                     pending_keyword_ins += 1;
                 }
                 TokenKind::In if depth == 0 => {