From 250078ef4955f46e93882b9383e3443d50f8d61b Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Mon, 27 Apr 2026 14:17:53 +0100
Subject: refactor equality checking and fields as we start to build towards
 signatures

---
 src/checker.rs | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'src/checker.rs')

diff --git a/src/checker.rs b/src/checker.rs
index 1760c0e..05ebca2 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -19,12 +19,12 @@ impl CheckerState {
             debug!(%self, %decl);
             match decl {
                 Decl::Set { name, set } => {
-                    let set = self.check_set(set)?;
+                    let set = self.check_set(set.clone())?;
                     self.add_set(name, set)
                 }
 
                 Decl::Element { name, element, set } => {
-                    let set = self.check_set(set)?;
+                    let set = self.check_set(set.clone())?;
                     let element = self.check_element(element.clone().into(), &set)?;
                     if matches!(element, ElementValue::Hypothetical(_)) {
                         panic!(
@@ -33,8 +33,9 @@ impl CheckerState {
                     }
                     self.add_element(name.clone(), element, set)
                 }
-                Decl::Signature { .. } => {
-                    return Err(CheckerError::Unimplemented("signatures".to_string()));
+                Decl::Signature { name, signature } => {
+                    let signature = self.check_signature(signature.clone())?;
+                    self.add_signature(name, signature)
                 }
                 Decl::Instance { .. } => {
                     return Err(CheckerError::Unimplemented("instances".to_string()));
-- 
cgit v1.3.1