Fix infinite loop when comment follows /; operator

The Operator and ConditionOp grammar rules were non-atomic, causing
pest to consume WHITESPACE/COMMENT tokens within the operator span.
This made as_str() return e.g. "/; (*foo*) " instead of "/;", which
wasn't recognized as a valid operator and produced a Raw expression
that was re-evaluated infinitely.

Fix: make both rules atomic (@{ }) so comments are not included in
the operator span.

Author: ad-si

src/wolfram.pest

@@ -108,7 +108,11 @@ RuleAnonymousFunction = { ReplacementRule ~ "&" ~ !"&" }
 // BaseFunctionCall is a function call that doesn't include anonymous functions to avoid recursion
 BaseFunctionCall = { Identifier ~ DerivativePrime? ~ ("[" ~ (FunctionArg ~ ("," ~ FunctionArg)*)? ~ "]")+ }
 
-Operator = {
+// Atomic so that WHITESPACE/COMMENT tokens are not consumed within
+// the operator span — otherwise as_str() would include e.g. comments
+// between "/;" and the following negative lookahead, breaking operator
+// recognition in the AST builder.
+Operator = @{
     "\\[NotElement]" | "\u{2209}" // Named character operator: NotElement (∉)
   | "\\[ReverseElement]" | "\u{220B}" // Named character operator: ReverseElement (∋)
   | "\\[Element]" | "\u{2208}" // Named character operator: Element (∈)
@@ -339,7 +343,8 @@ ConditionExpr = {
     (LeadingNot ~ Term ~ FactorialSuffix? | LeadingMinus ~ Term ~ FactorialSuffix? | Term ~ FactorialSuffix?) ~ ((ConditionOp | TildeInfix) ~ (LeadingMinus ~ Term ~ FactorialSuffix? | Term ~ FactorialSuffix?))*
 }
 // Operators allowed in conditions - excludes -> and :> which mark rule boundaries
-ConditionOp = {
+// Atomic so that WHITESPACE/COMMENT tokens are not consumed within the operator span.
+ConditionOp = @{
     "\\[NotElement]" | "\u{2209}"       // Named character operator: NotElement (∉)
   | "\\[ReverseElement]" | "\u{220B}"   // Named character operator: ReverseElement (∋)
   | "\\[Element]" | "\u{2208}"          // Named character operator: Element (∈)

tests/interpreter_tests.rs

@@ -156,6 +156,23 @@ mod interpreter_tests {
     assert_eq!(interpret("5 + (* inline *) 3").unwrap(), "8");
   }
 
+  #[test]
+  fn test_comment_after_condition_operator() {
+    // A comment after /; should not cause an infinite loop
+    clear_state();
+    assert_eq!(interpret("x /; (* foo *) True").unwrap(), "x /; True");
+  }
+
+  #[test]
+  fn test_comment_after_condition_in_set_delayed() {
+    // SetDelayed with Condition and inline comment should work
+    clear_state();
+    assert_eq!(
+      interpret("f[x_] := x^2 /; (* positive *) True; f[3]").unwrap(),
+      "9"
+    );
+  }
+
   #[test]
   fn test_nested_comment() {
     clear_state();