diff options
| author | tslil <tslil@posteo.de> | 2026-05-06 14:27:43 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-06 20:40:27 +0100 |
| commit | d682ad6bbb5547ffbcc19da90275ff43e4e03e20 (patch) | |
| tree | 43dc3bb60d0f65793e3a17fcf867ece0ff09ab8b /src/checker.rs | |
| parent | 1b4abb8fdd81f6de2166ef3f064a77fd5622fe83 (diff) | |
WiP
Diffstat (limited to 'src/checker.rs')
| -rw-r--r-- | src/checker.rs | 3 |
1 files changed, 2 insertions, 1 deletions
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(()) |