From 87266db229c7f14527c85b06abcf074cf861f6f9 Mon Sep 17 00:00:00 2001 From: tslil Date: Wed, 29 Apr 2026 14:18:12 +0100 Subject: implement canonicalisation in case arms, work through first bit of app --- src/checker.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/checker.rs') diff --git a/src/checker.rs b/src/checker.rs index dc3dc3c..f3c5205 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -33,7 +33,7 @@ impl CheckerState { Decl::Signature { name, signature } => { self.assert_unbound_signature(name)?; let signature = self.check_signature(signature.clone())?; - self.add_signature(name, signature) + self.add_signature(name, signature, false) } Decl::Instance { name, @@ -42,7 +42,7 @@ impl CheckerState { } => { self.assert_unbound_instance(name)?; let signature = self.check_signature(signature.clone())?; - let instance = self.check_instance(instance.clone(), &signature)?; + let instance = self.check_instance(instance.clone(), (&signature).into())?; self.add_instance(name.clone(), instance.into(), signature) } }?; -- cgit v1.3.1