HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-15 19:30:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix: problems with dependency of record fields

Browse Source
This commit is contained in:
felipegchi 2022-12-02 13:45:29 -03:00
parent 94e979e3d3
commit 4056ecaa66
3 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/kind-pass/src/unbound/mod.rs
View File

@ -258,8 +258,10 @@ impl Visitor for UnboundCollector {
TopLevel::RecordType(entr) => {
let inside_vars = self.context_vars.clone();
visit_vec!(entr.parameters.iter_mut(), arg => self.visit_argument(arg));
visit_vec!(entr.fields.iter_mut(), (_, _, typ) => {
visit_vec!(entr.fields.iter_mut(), (name, _, typ) => {
self.visit_expr(typ);
self.context_vars.push((name.range, name.to_string()))
});
self.context_vars = inside_vars;

1
crates/kind-tests/suite/checker/issues/RecordFieldDependency.golden Normal file
View File

@ -0,0 +1 @@
Ok!

4
crates/kind-tests/suite/checker/issues/RecordFieldDependency.kind2 Normal file
View File

@ -0,0 +1,4 @@
record FieldDependency {
ty : Type
snd : ty
}