From ecc2c04edbcfdd097377683c28b92cd10e437d35 Mon Sep 17 00:00:00 2001 From: tslil Date: Tue, 28 Apr 2026 14:24:06 +0100 Subject: move assert unbound to only top-level decls to allow shadowing --- src/checker.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/checker.rs') diff --git a/src/checker.rs b/src/checker.rs index 976b9fb..da4463c 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -19,20 +19,25 @@ impl CheckerState { debug!(%self, %decl); match decl { Decl::Set { name, set } => { + self.assert_unbound_set(name)?; let set = self.check_set(set.clone())?; self.add_set(name, set) } Decl::Element { name, element, set } => { + self.assert_unbound_element(name)?; let set = self.check_set(set.clone())?; let element = self.check_element(element.clone().into(), &set)?; self.add_element(name.clone(), element.into(), set) } Decl::Signature { name, signature } => { + self.assert_unbound_signature(name)?; let signature = self.check_signature(signature.clone())?; self.add_signature(name, signature) } - Decl::Instance { .. } => { + Decl::Instance { name, .. } => { + self.assert_unbound_instance(name)?; + return Err(CheckerError::Unimplemented("instances".to_string())); } }?; -- cgit v1.3.1