From 861c5eb6eb8c4667ada894c8fae9fcf8ffa5f5d8 Mon Sep 17 00:00:00 2001
From: Photon101 <123910806+Photon101@users.noreply.github.com>
Date: Thu, 11 Jun 2026 04:52:24 +0100
Subject: [PATCH] parser: recognize exponentiation operators

---
 parser/src/ast.rs   |  3 ++-
 parser/src/tests.rs | 34 ++++++++++++++++++++++++++++++++++
 2 files changed, 36 insertions(+), 1 deletion(-)

diff --git a/parser/src/ast.rs b/parser/src/ast.rs
index c0842f6..1bd5223 100644
--- a/parser/src/ast.rs
+++ b/parser/src/ast.rs
@@ -365,6 +365,7 @@ impl<'a> BinaryOperator {
             Token::Minus => Ok(Self::Subtract),
             Token::Star => Ok(Self::Multiply),
             Token::Slash => Ok(Self::Divide),
+            Token::Circumflex => Ok(Self::Raise),
             Token::BooleanAnd => Ok(Self::And),
             Token::BooleanOr => Ok(Self::Or),
             Token::Percent => Ok(Self::Modulo),
@@ -521,7 +522,7 @@ impl BindingPower for BinaryOperator {
             Self::Multiply => binding_powers::BP_MULTI,
             Self::Divide => binding_powers::BP_MULTI,
             Self::Raise => binding_powers::BP_RAISE,
-            Self::Modulo => binding_powers::BP_RAISE,
+            Self::Modulo => binding_powers::BP_MULTI,
         }
     }
 }
diff --git a/parser/src/tests.rs b/parser/src/tests.rs
index 833849d..f3abdde 100644
--- a/parser/src/tests.rs
+++ b/parser/src/tests.rs
@@ -194,6 +194,40 @@ fn test_parser_non_assoc() {
     ));
 }
 
+#[test]
+fn test_parser_exponentiation() {
+    let source = "
+        { 2 ^ 1 }
+        { 2 ** 1 }
+        { 2 ^ 3 ^ 4 }
+        { 2 * 3 ^ 4 }
+        { 2 ^ 3 * 4 }
+    ";
+    test_parser!(source => {
+        rules: [
+            (None, Some("(body (Raise 2 1))")),
+            (None, Some("(body (Raise 2 1))")),
+            (None, Some("(body (Raise 2 (Raise 3 4)))")),
+            (None, Some("(body (Multiply 2 (Raise 3 4)))")),
+            (None, Some("(body (Multiply (Raise 2 3) 4))")),
+        ],
+    });
+}
+
+#[test]
+fn test_parser_multiplicative_precedence() {
+    let source = "
+        { 2 * 3 % 4 }
+        { 2 % 3 * 4 }
+    ";
+    test_parser!(source => {
+        rules: [
+            (None, Some("(body (Modulo (Multiply 2 3) 4))")),
+            (None, Some("(body (Multiply (Modulo 2 3) 4))")),
+        ],
+    });
+}
+
 #[test]
 fn test_parser_relaxed_assignments() {
     let source = "