diff options
| author | tslil <tslil@posteo.de> | 2026-04-29 16:36:13 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-29 16:51:55 +0100 |
| commit | 79a612f4983d1f2b59c653fb0c21879eb191457e (patch) | |
| tree | ed9100fa4a211e2937c58801c52e83a55abc0219 /src/checker.rs | |
| parent | 87266db229c7f14527c85b06abcf074cf861f6f9 (diff) | |
switch to references in many places for check_*, complete logic of Var case for App
Diffstat (limited to 'src/checker.rs')
| -rw-r--r-- | src/checker.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/checker.rs b/src/checker.rs index f3c5205..adb5012 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -20,19 +20,19 @@ impl CheckerState { match decl { Decl::Set { name, set } => { self.assert_unbound_set(name)?; - let set = self.check_set(set.clone())?; + let set = self.check_set(set)?; self.add_set(name.clone(), set.into()) } 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)?; + let set = self.check_set(set)?; + let element = self.check_element(element.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())?; + let signature = self.check_signature(signature)?; self.add_signature(name, signature, false) } Decl::Instance { @@ -41,8 +41,8 @@ impl CheckerState { signature, } => { self.assert_unbound_instance(name)?; - let signature = self.check_signature(signature.clone())?; - let instance = self.check_instance(instance.clone(), (&signature).into())?; + let signature = self.check_signature(signature)?; + let instance = self.check_instance(instance, (&signature).into())?; self.add_instance(name.clone(), instance.into(), signature) } }?; |