implement canonicalisation in case arms, work through first bit of app

1 files changed, 2 insertions, 2 deletions

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)
                 }
             }?;