refactor equality checking and fields as we start to build towards signatures

1 files changed, 13 insertions, 0 deletions

diff --git a/src/checker_signature.rs b/src/checker_signature.rs
new file mode 100644
index 0000000..8fc982a
--- /dev/null
+++ b/src/checker_signature.rs
@@ -0,0 +1,13 @@
+use crate::ast::*;
+use crate::checker_state::*;
+
+use tracing::instrument;
+
+impl CheckerState {
+    #[instrument(skip(self), level = "debug", fields(%signature))]
+    pub fn check_signature(&self, signature: Signature) -> Result<Signature, CheckerError> {
+        Err(CheckerError::Unimplemented(
+            "signature checking".to_string(),
+        ))
+    }
+}