From cafb3a62af10bb09f8489ba0ab07258a70a75664 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Wed, 29 Apr 2026 12:45:48 +0100
Subject: wire in instance checking to the main checker

---
 src/checker.rs | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'src/checker.rs')

diff --git a/src/checker.rs b/src/checker.rs
index aefbb02..dc3dc3c 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -35,10 +35,15 @@ impl CheckerState {
                     let signature = self.check_signature(signature.clone())?;
                     self.add_signature(name, signature)
                 }
-                Decl::Instance { name, .. } => {
+                Decl::Instance {
+                    name,
+                    instance,
+                    signature,
+                } => {
                     self.assert_unbound_instance(name)?;
-
-                    return Err(CheckerError::Unimplemented("instances".to_string()));
+                    let signature = self.check_signature(signature.clone())?;
+                    let instance = self.check_instance(instance.clone(), &signature)?;
+                    self.add_instance(name.clone(), instance.into(), signature)
                 }
             }?;
         }
-- 
cgit v1.3.1