From d682ad6bbb5547ffbcc19da90275ff43e4e03e20 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Wed, 6 May 2026 14:27:43 +0100
Subject: WiP

---
 src/checker.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/checker.rs')

diff --git a/src/checker.rs b/src/checker.rs
index 2474bab..f94fccc 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -16,7 +16,7 @@ impl CheckerState {
         let Programme(decls) = prog;
 
         for decl in decls {
-            debug!(%decl);
+            print!("{decl} ... ");
             self.reset_binders();
             match decl {
                 Decl::Set { name, set } => {
@@ -47,6 +47,7 @@ impl CheckerState {
                     self.add_instance(name.clone(), instance.into(), signature)
                 }
             }?;
+            println!("Ok");
         }
         debug!(%self);
         Ok(())
-- 
cgit v1.3.1