From 250078ef4955f46e93882b9383e3443d50f8d61b Mon Sep 17 00:00:00 2001 From: tslil Date: Mon, 27 Apr 2026 14:17:53 +0100 Subject: refactor equality checking and fields as we start to build towards signatures --- src/checker_signature.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/checker_signature.rs (limited to 'src/checker_signature.rs') 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 { + Err(CheckerError::Unimplemented( + "signature checking".to_string(), + )) + } +} -- cgit v1.3.1