From e9469f6e7c4ff04cdc939030c5af4c1516a0271b Mon Sep 17 00:00:00 2001
From: Collin Williams <96917990+bluedragon1221@users.noreply.github.com>
Date: Wed, 31 Dec 2025 07:44:54 -0600
Subject: progress

---
 src/def_rules.rs | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 src/def_rules.rs

(limited to 'src/def_rules.rs')

diff --git a/src/def_rules.rs b/src/def_rules.rs
new file mode 100644
index 0000000..a2ba36e
--- /dev/null
+++ b/src/def_rules.rs
@@ -0,0 +1,24 @@
+use crate::sexpr::{self, Atom, Expr};
+
+#[derive(Debug, Clone)]
+pub struct Rule {
+    pub lhs: Expr,
+    pub rhs: Expr
+}
+
+impl TryFrom<Expr> for Rule {
+    type Error = ();
+    fn try_from(value: Expr) -> Result<Self, Self::Error> {
+        if let Expr::Application(v) = value && v[0] == Expr::Atom(Atom::Builtin(String::from("def-rule"))) && v.len() == 3 {
+            Ok(Rule {
+                lhs: v[1].clone(),
+                rhs: v[2].clone()
+            })
+        } else {Err(())}
+    }
+}
+
+pub fn parse_def_rules(input: String) -> Vec<Rule> {
+    let exprs = sexpr::Parser::new(&input).parse_all();
+    exprs.iter().filter_map(|e| e.clone().try_into().ok()).collect()
+}
-- 
cgit v1.3.1