diff options
| author | tslil <tslil@posteo.de> | 2026-04-30 16:53:14 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-30 17:30:22 +0100 |
| commit | 0f7efe7518b925d9688dad4c6f6e87f84015e2c1 (patch) | |
| tree | f4cdfa08c7d3e7a69860570f3f7826119f3bcdef /src/checker_state.rs | |
| parent | d57f1d3c845220c741db73c1fada017a75b11992 (diff) | |
wip case for instances
Diffstat (limited to 'src/checker_state.rs')
| -rw-r--r-- | src/checker_state.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs index c9be445..a0fe6b1 100644 --- a/src/checker_state.rs +++ b/src/checker_state.rs @@ -115,6 +115,7 @@ pub struct CheckerState { record_fields: HashMap<String, Field<Set>>, variant_fields: HashMap<String, Field<Set>>, signature_fields: HashMap<String, Field<Signature>>, + // TODO: do we need to make these strictly monotonic somewhere somehow? binder_element: usize, unique_name: usize, } |