HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-08-16 07:10:37 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update golden_tests.rs and readd desugar_use call after linearize matches

Browse Source
This commit is contained in:
imaqtkatt 2024-06-17 12:20:08 -03:00
parent 3073285e36
commit 5810f93f9b
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib.rs
View File

@ -129,6 +129,7 @@ pub fn desugar_book(
ctx.check_unbound_vars()?;
ctx.book.make_var_names_unique();
ctx.book.desugar_use();
ctx.book.make_var_names_unique();
ctx.book.linearize_vars();

2
tests/golden_tests.rs
View File

@ -239,6 +239,7 @@ fn simplify_matches() {
ctx.desugar_with_blocks()?;
ctx.check_unbound_vars()?;
ctx.book.make_var_names_unique();
ctx.book.desugar_use();
ctx.book.linearize_match_binds();
ctx.book.linearize_match_with();
ctx.check_unbound_vars()?;
@ -288,6 +289,7 @@ fn encode_pattern_match() {
ctx.desugar_with_blocks()?;
ctx.check_unbound_vars()?;
ctx.book.make_var_names_unique();
ctx.book.desugar_use();
ctx.book.linearize_match_binds();
ctx.book.linearize_match_with();
ctx.book.encode_matches(adt_encoding);