diff options
| author | tslil <tslil@posteo.de> | 2026-05-05 16:39:43 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-05 16:50:03 +0100 |
| commit | 9b3fe7ceb8aa0b0f174a17e6e13b5d325c974979 (patch) | |
| tree | e62b7264afe174a7e10f689a0d65a384a4f72e4b /src/checker.rs | |
| parent | 27ed463f264a701e336eddc86452fa41f28dd111 (diff) | |
repair binding for nesting in for
Diffstat (limited to 'src/checker.rs')
| -rw-r--r-- | src/checker.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/checker.rs b/src/checker.rs index c381ba4..2474bab 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -16,6 +16,7 @@ impl CheckerState { let Programme(decls) = prog; for decl in decls { + debug!(%decl); self.reset_binders(); match decl { Decl::Set { name, set } => { |