diff options
| author | tslil <tslil@posteo.de> | 2026-05-01 11:59:10 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-01 12:29:19 +0100 |
| commit | 8b540449755ca8e73feb88e708f22fd292ace610 (patch) | |
| tree | 29d9d2b8e41b2715a5deb55109cba6a42de341c7 /src/checker_set.rs | |
| parent | 8839959fd05a04f2d37461ab842d23107b104d20 (diff) | |
make parser more lenient, add the one simplex example, fix naming for records
Diffstat (limited to 'src/checker_set.rs')
| -rw-r--r-- | src/checker_set.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/checker_set.rs b/src/checker_set.rs index 87da8bd..6ef8182 100644 --- a/src/checker_set.rs +++ b/src/checker_set.rs @@ -15,7 +15,7 @@ impl CheckerState { .into_iter() .map(|RecordField { name, set }| { let set = ctx.check_set(set)?; - ctx.make_element_binding(name.clone(), set.clone())?; + ctx.add_element(name.clone(), ElementValue::Hypothetical, set.clone())?; Ok(RecordField { name: name.clone(), set, |