Rename lowering to lowering_v1

purefunctor · Feb 10, 2025 · 9da1195 · 9da1195
1 parent c274df6
commit 9da1195
Show file tree

Hide file tree

Showing 110 changed files with 62 additions and 62 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/lowering/Cargo.toml → crates/lowering_v1/Cargo.toml b/crates/lowering/Cargo.toml → crates/lowering_v1/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "lowering"
+name = "lowering_v1"
 version = "0.1.0"
 edition = "2021"
 

diff --git a/crates/lowering/build.rs → crates/lowering_v1/build.rs b/crates/lowering/build.rs → crates/lowering_v1/build.rs
diff --git a/crates/lowering/src/algorithm.rs → crates/lowering_v1/src/algorithm.rs b/crates/lowering/src/algorithm.rs → crates/lowering_v1/src/algorithm.rs
diff --git a/crates/lowering/src/concrete.rs → crates/lowering_v1/src/concrete.rs b/crates/lowering/src/concrete.rs → crates/lowering_v1/src/concrete.rs
diff --git a/crates/lowering/src/lib.rs → crates/lowering_v1/src/lib.rs b/crates/lowering/src/lib.rs → crates/lowering_v1/src/lib.rs
diff --git a/crates/lowering/src/sourcemap.rs → crates/lowering_v1/src/sourcemap.rs b/crates/lowering/src/sourcemap.rs → crates/lowering_v1/src/sourcemap.rs
diff --git a/crates/lowering/tests/concrete.rs → crates/lowering_v1/tests/concrete.rs b/crates/lowering/tests/concrete.rs → crates/lowering_v1/tests/concrete.rs
@@ -1,5 +1,5 @@
 use indexing_v1::IndexingResult;
-use lowering::LoweringResult;
+use lowering_v1::LoweringResult;
 use rowan::ast::AstNode;
 use syntax::cst;
 use test_each_file::test_each_file;
@@ -12,12 +12,12 @@ fn lower_source(source: &str) -> (IndexingResult, LoweringResult) {
     let module = cst::Module::cast(node).unwrap();
 
     let (index, _) = indexing_v1::index(&module);
-    let lower = lowering::lower(&module, &index);
+    let lower = lowering_v1::lower(&module, &index);
 
     (index, lower)
 }
 
-test_each_file! { in "./crates/lowering/tests/concrete" => |source: &str| {
+test_each_file! { in "./crates/lowering_v1/tests/concrete" => |source: &str| {
     let (_, lower) = lower_source(source);
     match source.lines().next() {
         Some(annotation) if annotation.starts_with("-- @lowering_map") => {

diff --git a/...ing/tests/concrete/lower_binder_array.txt → ..._v1/tests/concrete/lower_binder_array.txt b/...ing/tests/concrete/lower_binder_array.txt → ..._v1/tests/concrete/lower_binder_array.txt
diff --git a/...ring/tests/concrete/lower_binder_char.txt → ...g_v1/tests/concrete/lower_binder_char.txt b/...ring/tests/concrete/lower_binder_char.txt → ...g_v1/tests/concrete/lower_binder_char.txt
diff --git a/...sts/concrete/lower_binder_constructor.txt → ...sts/concrete/lower_binder_constructor.txt b/...sts/concrete/lower_binder_constructor.txt → ...sts/concrete/lower_binder_constructor.txt
diff --git a/...g/tests/concrete/lower_binder_integer.txt → ...1/tests/concrete/lower_binder_integer.txt b/...g/tests/concrete/lower_binder_integer.txt → ...1/tests/concrete/lower_binder_integer.txt
diff --git a/...ing/tests/concrete/lower_binder_named.txt → ..._v1/tests/concrete/lower_binder_named.txt b/...ing/tests/concrete/lower_binder_named.txt → ..._v1/tests/concrete/lower_binder_named.txt
diff --git a/...ng/tests/concrete/lower_binder_number.txt → ...v1/tests/concrete/lower_binder_number.txt b/...ng/tests/concrete/lower_binder_number.txt → ...v1/tests/concrete/lower_binder_number.txt
diff --git a/.../concrete/lower_binder_operator_chain.txt → .../concrete/lower_binder_operator_chain.txt b/.../concrete/lower_binder_operator_chain.txt → .../concrete/lower_binder_operator_chain.txt
diff --git a/...s/concrete/lower_binder_parenthesized.txt → ...s/concrete/lower_binder_parenthesized.txt b/...s/concrete/lower_binder_parenthesized.txt → ...s/concrete/lower_binder_parenthesized.txt
diff --git a/...ng/tests/concrete/lower_binder_record.txt → ...v1/tests/concrete/lower_binder_record.txt b/...ng/tests/concrete/lower_binder_record.txt → ...v1/tests/concrete/lower_binder_record.txt
diff --git a/...ng/tests/concrete/lower_binder_string.txt → ...v1/tests/concrete/lower_binder_string.txt b/...ng/tests/concrete/lower_binder_string.txt → ...v1/tests/concrete/lower_binder_string.txt
diff --git a/...ests/concrete/lower_binder_true_false.txt → ...ests/concrete/lower_binder_true_false.txt b/...ests/concrete/lower_binder_true_false.txt → ...ests/concrete/lower_binder_true_false.txt
diff --git a/...ing/tests/concrete/lower_binder_typed.txt → ..._v1/tests/concrete/lower_binder_typed.txt b/...ing/tests/concrete/lower_binder_typed.txt → ..._v1/tests/concrete/lower_binder_typed.txt
diff --git a/.../tests/concrete/lower_binder_variable.txt → .../tests/concrete/lower_binder_variable.txt b/.../tests/concrete/lower_binder_variable.txt → .../tests/concrete/lower_binder_variable.txt
diff --git a/.../tests/concrete/lower_binder_wildcard.txt → .../tests/concrete/lower_binder_wildcard.txt b/.../tests/concrete/lower_binder_wildcard.txt → .../tests/concrete/lower_binder_wildcard.txt
diff --git a/...ests/concrete/lower_constructor_value.txt → ...ests/concrete/lower_constructor_value.txt b/...ests/concrete/lower_constructor_value.txt → ...ests/concrete/lower_constructor_value.txt
diff --git a/...g/tests/concrete/lower_expression_ado.txt → ...1/tests/concrete/lower_expression_ado.txt b/...g/tests/concrete/lower_expression_ado.txt → ...1/tests/concrete/lower_expression_ado.txt
diff --git a/...te/lower_expression_application_chain.txt → ...te/lower_expression_application_chain.txt b/...te/lower_expression_application_chain.txt → ...te/lower_expression_application_chain.txt
diff --git a/...tests/concrete/lower_expression_array.txt → ...tests/concrete/lower_expression_array.txt b/...tests/concrete/lower_expression_array.txt → ...tests/concrete/lower_expression_array.txt
diff --git a/...sts/concrete/lower_expression_case_of.txt → ...sts/concrete/lower_expression_case_of.txt b/...sts/concrete/lower_expression_case_of.txt → ...sts/concrete/lower_expression_case_of.txt
diff --git a/...oncrete/lower_expression_conditionals.txt → ...oncrete/lower_expression_conditionals.txt b/...oncrete/lower_expression_conditionals.txt → ...oncrete/lower_expression_conditionals.txt
diff --git a/...ng/tests/concrete/lower_expression_do.txt → ...v1/tests/concrete/lower_expression_do.txt b/...ng/tests/concrete/lower_expression_do.txt → ...v1/tests/concrete/lower_expression_do.txt
diff --git a/...oncrete/lower_expression_if_then_else.txt → ...oncrete/lower_expression_if_then_else.txt b/...oncrete/lower_expression_if_then_else.txt → ...oncrete/lower_expression_if_then_else.txt
diff --git a/...concrete/lower_expression_infix_chain.txt → ...concrete/lower_expression_infix_chain.txt b/...concrete/lower_expression_infix_chain.txt → ...concrete/lower_expression_infix_chain.txt
diff --git a/...ests/concrete/lower_expression_lambda.txt → ...ests/concrete/lower_expression_lambda.txt b/...ests/concrete/lower_expression_lambda.txt → ...ests/concrete/lower_expression_lambda.txt
diff --git a/...ests/concrete/lower_expression_let_in.txt → ...ests/concrete/lower_expression_let_in.txt b/...ests/concrete/lower_expression_let_in.txt → ...ests/concrete/lower_expression_let_in.txt
diff --git a/.../tests/concrete/lower_expression_name.txt → .../tests/concrete/lower_expression_name.txt b/.../tests/concrete/lower_expression_name.txt → .../tests/concrete/lower_expression_name.txt
diff --git a/...ests/concrete/lower_expression_negate.txt → ...ests/concrete/lower_expression_negate.txt b/...ests/concrete/lower_expression_negate.txt → ...ests/concrete/lower_expression_negate.txt
diff --git a/...crete/lower_expression_operator_chain.txt → ...crete/lower_expression_operator_chain.txt b/...crete/lower_expression_operator_chain.txt → ...crete/lower_expression_operator_chain.txt
diff --git a/...ncrete/lower_expression_parenthesized.txt → ...ncrete/lower_expression_parenthesized.txt b/...ncrete/lower_expression_parenthesized.txt → ...ncrete/lower_expression_parenthesized.txt
diff --git a/...ests/concrete/lower_expression_record.txt → ...ests/concrete/lower_expression_record.txt b/...ests/concrete/lower_expression_record.txt → ...ests/concrete/lower_expression_record.txt
diff --git a/...ncrete/lower_expression_record_access.txt → ...ncrete/lower_expression_record_access.txt b/...ncrete/lower_expression_record_access.txt → ...ncrete/lower_expression_record_access.txt
diff --git a/...ncrete/lower_expression_record_update.txt → ...ncrete/lower_expression_record_update.txt b/...ncrete/lower_expression_record_update.txt → ...ncrete/lower_expression_record_update.txt
diff --git a/...tests/concrete/lower_expression_typed.txt → ...tests/concrete/lower_expression_typed.txt b/...tests/concrete/lower_expression_typed.txt → ...tests/concrete/lower_expression_typed.txt
diff --git a/...ng/tests/concrete/lower_foreign_value.txt → ...v1/tests/concrete/lower_foreign_value.txt b/...ng/tests/concrete/lower_foreign_value.txt → ...v1/tests/concrete/lower_foreign_value.txt
diff --git a/...concrete/lower_type_application_chain.txt → ...concrete/lower_type_application_chain.txt b/...concrete/lower_type_application_chain.txt → ...concrete/lower_type_application_chain.txt
diff --git a/...ering/tests/concrete/lower_type_arrow.txt → ...ng_v1/tests/concrete/lower_type_arrow.txt b/...ering/tests/concrete/lower_type_arrow.txt → ...ng_v1/tests/concrete/lower_type_arrow.txt
diff --git a/...tests/concrete/lower_type_constrained.txt → ...tests/concrete/lower_type_constrained.txt b/...tests/concrete/lower_type_constrained.txt → ...tests/concrete/lower_type_constrained.txt
diff --git a/...tests/concrete/lower_type_constructor.txt → ...tests/concrete/lower_type_constructor.txt b/...tests/concrete/lower_type_constructor.txt → ...tests/concrete/lower_type_constructor.txt
diff --git a/...ring/tests/concrete/lower_type_forall.txt → ...g_v1/tests/concrete/lower_type_forall.txt b/...ring/tests/concrete/lower_type_forall.txt → ...g_v1/tests/concrete/lower_type_forall.txt
diff --git a/...ring/tests/concrete/lower_type_kinded.txt → ...g_v1/tests/concrete/lower_type_kinded.txt b/...ring/tests/concrete/lower_type_kinded.txt → ...g_v1/tests/concrete/lower_type_kinded.txt
diff --git a/...ng/tests/concrete/lower_type_operator.txt → ...v1/tests/concrete/lower_type_operator.txt b/...ng/tests/concrete/lower_type_operator.txt → ...v1/tests/concrete/lower_type_operator.txt
diff --git a/...ts/concrete/lower_type_operator_chain.txt → ...ts/concrete/lower_type_operator_chain.txt b/...ts/concrete/lower_type_operator_chain.txt → ...ts/concrete/lower_type_operator_chain.txt
diff --git a/...sts/concrete/lower_type_parenthesized.txt → ...sts/concrete/lower_type_parenthesized.txt b/...sts/concrete/lower_type_parenthesized.txt → ...sts/concrete/lower_type_parenthesized.txt
diff --git a/...ring/tests/concrete/lower_type_record.txt → ...g_v1/tests/concrete/lower_type_record.txt b/...ring/tests/concrete/lower_type_record.txt → ...g_v1/tests/concrete/lower_type_record.txt
diff --git a/...owering/tests/concrete/lower_type_row.txt → ...ring_v1/tests/concrete/lower_type_row.txt b/...owering/tests/concrete/lower_type_row.txt → ...ring_v1/tests/concrete/lower_type_row.txt
diff --git a/...ng/tests/concrete/lower_type_variable.txt → ...v1/tests/concrete/lower_type_variable.txt b/...ng/tests/concrete/lower_type_variable.txt → ...v1/tests/concrete/lower_type_variable.txt
diff --git a/...sts/concrete/lower_value_class_member.txt → ...sts/concrete/lower_value_class_member.txt b/...sts/concrete/lower_value_class_member.txt → ...sts/concrete/lower_value_class_member.txt
diff --git a/...g/tests/concrete/lower_value_equation.txt → ...1/tests/concrete/lower_value_equation.txt b/...g/tests/concrete/lower_value_equation.txt → ...1/tests/concrete/lower_value_equation.txt
diff --git a/...concrete/lower_value_equation_partial.txt → ...concrete/lower_value_equation_partial.txt b/...concrete/lower_value_equation_partial.txt → ...concrete/lower_value_equation_partial.txt
diff --git a/...g/tests/concrete/lower_value_instance.txt → ...1/tests/concrete/lower_value_instance.txt b/...g/tests/concrete/lower_value_instance.txt → ...1/tests/concrete/lower_value_instance.txt
diff --git a/...g/tests/concrete/lower_value_operator.txt → ...1/tests/concrete/lower_value_operator.txt b/...g/tests/concrete/lower_value_operator.txt → ...1/tests/concrete/lower_value_operator.txt
diff --git a/...apshots/concrete__lower_binder_array.snap → ...apshots/concrete__lower_binder_array.snap b/...apshots/concrete__lower_binder_array.snap → ...apshots/concrete__lower_binder_array.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...napshots/concrete__lower_binder_char.snap → ...napshots/concrete__lower_binder_char.snap b/...napshots/concrete__lower_binder_char.snap → ...napshots/concrete__lower_binder_char.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...s/concrete__lower_binder_constructor.snap → ...s/concrete__lower_binder_constructor.snap b/...s/concrete__lower_binder_constructor.snap → ...s/concrete__lower_binder_constructor.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...shots/concrete__lower_binder_integer.snap → ...shots/concrete__lower_binder_integer.snap b/...shots/concrete__lower_binder_integer.snap → ...shots/concrete__lower_binder_integer.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...apshots/concrete__lower_binder_named.snap → ...apshots/concrete__lower_binder_named.snap b/...apshots/concrete__lower_binder_named.snap → ...apshots/concrete__lower_binder_named.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...pshots/concrete__lower_binder_number.snap → ...pshots/concrete__lower_binder_number.snap b/...pshots/concrete__lower_binder_number.snap → ...pshots/concrete__lower_binder_number.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...oncrete__lower_binder_operator_chain.snap → ...oncrete__lower_binder_operator_chain.snap b/...oncrete__lower_binder_operator_chain.snap → ...oncrete__lower_binder_operator_chain.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...concrete__lower_binder_parenthesized.snap → ...concrete__lower_binder_parenthesized.snap b/...concrete__lower_binder_parenthesized.snap → ...concrete__lower_binder_parenthesized.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...pshots/concrete__lower_binder_record.snap → ...pshots/concrete__lower_binder_record.snap b/...pshots/concrete__lower_binder_record.snap → ...pshots/concrete__lower_binder_record.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...pshots/concrete__lower_binder_string.snap → ...pshots/concrete__lower_binder_string.snap b/...pshots/concrete__lower_binder_string.snap → ...pshots/concrete__lower_binder_string.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ts/concrete__lower_binder_true_false.snap → ...ts/concrete__lower_binder_true_false.snap b/...ts/concrete__lower_binder_true_false.snap → ...ts/concrete__lower_binder_true_false.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...apshots/concrete__lower_binder_typed.snap → ...apshots/concrete__lower_binder_typed.snap b/...apshots/concrete__lower_binder_typed.snap → ...apshots/concrete__lower_binder_typed.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...hots/concrete__lower_binder_variable.snap → ...hots/concrete__lower_binder_variable.snap b/...hots/concrete__lower_binder_variable.snap → ...hots/concrete__lower_binder_variable.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...hots/concrete__lower_binder_wildcard.snap → ...hots/concrete__lower_binder_wildcard.snap b/...hots/concrete__lower_binder_wildcard.snap → ...hots/concrete__lower_binder_wildcard.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ts/concrete__lower_constructor_value.snap → ...ts/concrete__lower_constructor_value.snap b/...ts/concrete__lower_constructor_value.snap → ...ts/concrete__lower_constructor_value.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.lowering_map"
 snapshot_kind: text
 ---

diff --git a/...shots/concrete__lower_expression_ado.snap → ...shots/concrete__lower_expression_ado.snap b/...shots/concrete__lower_expression_ado.snap → ...shots/concrete__lower_expression_ado.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---
@@ -99,7 +99,7 @@ SourceMap {
                 kind: LetBindingEquation,
                 range: 55..68,
             },
-        }: Id<lowering::concrete::LetBinding>(0),
+        }: Id<lowering_v1::concrete::LetBinding>(0),
     },
     let_bindings_grouped: [
         Value {

diff --git a/...__lower_expression_application_chain.snap → ...__lower_expression_application_chain.snap b/...__lower_expression_application_chain.snap → ...__lower_expression_application_chain.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ots/concrete__lower_expression_array.snap → ...ots/concrete__lower_expression_array.snap b/...ots/concrete__lower_expression_array.snap → ...ots/concrete__lower_expression_array.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...s/concrete__lower_expression_case_of.snap → ...s/concrete__lower_expression_case_of.snap b/...s/concrete__lower_expression_case_of.snap → ...s/concrete__lower_expression_case_of.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...crete__lower_expression_conditionals.snap → ...crete__lower_expression_conditionals.snap b/...crete__lower_expression_conditionals.snap → ...crete__lower_expression_conditionals.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.lowering_map"
 snapshot_kind: text
 ---

diff --git a/...pshots/concrete__lower_expression_do.snap → ...pshots/concrete__lower_expression_do.snap b/...pshots/concrete__lower_expression_do.snap → ...pshots/concrete__lower_expression_do.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---
@@ -193,7 +193,7 @@ SourceMap {
                 kind: LetBindingEquation,
                 range: 69..84,
             },
-        }: Id<lowering::concrete::LetBinding>(0),
+        }: Id<lowering_v1::concrete::LetBinding>(0),
     },
     let_bindings_grouped: [
         Value {

diff --git a/...crete__lower_expression_if_then_else.snap → ...crete__lower_expression_if_then_else.snap b/...crete__lower_expression_if_then_else.snap → ...crete__lower_expression_if_then_else.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ncrete__lower_expression_infix_chain.snap → ...ncrete__lower_expression_infix_chain.snap b/...ncrete__lower_expression_infix_chain.snap → ...ncrete__lower_expression_infix_chain.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ts/concrete__lower_expression_lambda.snap → ...ts/concrete__lower_expression_lambda.snap b/...ts/concrete__lower_expression_lambda.snap → ...ts/concrete__lower_expression_lambda.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ts/concrete__lower_expression_let_in.snap → ...ts/concrete__lower_expression_let_in.snap b/...ts/concrete__lower_expression_let_in.snap → ...ts/concrete__lower_expression_let_in.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---
@@ -82,25 +82,25 @@ SourceMap {
                 kind: LetBindingSignature,
                 range: 32..48,
             },
-        }: Id<lowering::concrete::LetBinding>(0),
+        }: Id<lowering_v1::concrete::LetBinding>(0),
         AstPtr {
             raw: SyntaxNodePtr {
                 kind: LetBindingEquation,
                 range: 48..62,
             },
-        }: Id<lowering::concrete::LetBinding>(0),
+        }: Id<lowering_v1::concrete::LetBinding>(0),
         AstPtr {
             raw: SyntaxNodePtr {
                 kind: LetBindingEquation,
                 range: 90..107,
             },
-        }: Id<lowering::concrete::LetBinding>(1),
+        }: Id<lowering_v1::concrete::LetBinding>(1),
         AstPtr {
             raw: SyntaxNodePtr {
                 kind: LetBindingPattern,
                 range: 62..107,
             },
-        }: Id<lowering::concrete::LetBinding>(2),
+        }: Id<lowering_v1::concrete::LetBinding>(2),
     },
     let_bindings_grouped: [
         Value {

diff --git a/...hots/concrete__lower_expression_name.snap → ...hots/concrete__lower_expression_name.snap b/...hots/concrete__lower_expression_name.snap → ...hots/concrete__lower_expression_name.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ts/concrete__lower_expression_negate.snap → ...ts/concrete__lower_expression_negate.snap b/...ts/concrete__lower_expression_negate.snap → ...ts/concrete__lower_expression_negate.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ete__lower_expression_operator_chain.snap → ...ete__lower_expression_operator_chain.snap b/...ete__lower_expression_operator_chain.snap → ...ete__lower_expression_operator_chain.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...rete__lower_expression_parenthesized.snap → ...rete__lower_expression_parenthesized.snap b/...rete__lower_expression_parenthesized.snap → ...rete__lower_expression_parenthesized.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ts/concrete__lower_expression_record.snap → ...ts/concrete__lower_expression_record.snap b/...ts/concrete__lower_expression_record.snap → ...ts/concrete__lower_expression_record.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...rete__lower_expression_record_access.snap → ...rete__lower_expression_record_access.snap b/...rete__lower_expression_record_access.snap → ...rete__lower_expression_record_access.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...rete__lower_expression_record_update.snap → ...rete__lower_expression_record_update.snap b/...rete__lower_expression_record_update.snap → ...rete__lower_expression_record_update.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ots/concrete__lower_expression_typed.snap → ...ots/concrete__lower_expression_typed.snap b/...ots/concrete__lower_expression_typed.snap → ...ots/concrete__lower_expression_typed.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...pshots/concrete__lower_foreign_value.snap → ...pshots/concrete__lower_foreign_value.snap b/...pshots/concrete__lower_foreign_value.snap → ...pshots/concrete__lower_foreign_value.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.lowering_map"
 snapshot_kind: text
 ---

diff --git a/...ncrete__lower_type_application_chain.snap → ...ncrete__lower_type_application_chain.snap b/...ncrete__lower_type_application_chain.snap → ...ncrete__lower_type_application_chain.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...snapshots/concrete__lower_type_arrow.snap → ...snapshots/concrete__lower_type_arrow.snap b/...snapshots/concrete__lower_type_arrow.snap → ...snapshots/concrete__lower_type_arrow.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ots/concrete__lower_type_constrained.snap → ...ots/concrete__lower_type_constrained.snap b/...ots/concrete__lower_type_constrained.snap → ...ots/concrete__lower_type_constrained.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...ots/concrete__lower_type_constructor.snap → ...ots/concrete__lower_type_constructor.snap b/...ots/concrete__lower_type_constructor.snap → ...ots/concrete__lower_type_constructor.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...napshots/concrete__lower_type_forall.snap → ...napshots/concrete__lower_type_forall.snap b/...napshots/concrete__lower_type_forall.snap → ...napshots/concrete__lower_type_forall.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...napshots/concrete__lower_type_kinded.snap → ...napshots/concrete__lower_type_kinded.snap b/...napshots/concrete__lower_type_kinded.snap → ...napshots/concrete__lower_type_kinded.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...pshots/concrete__lower_type_operator.snap → ...pshots/concrete__lower_type_operator.snap b/...pshots/concrete__lower_type_operator.snap → ...pshots/concrete__lower_type_operator.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/.../concrete__lower_type_operator_chain.snap → .../concrete__lower_type_operator_chain.snap b/.../concrete__lower_type_operator_chain.snap → .../concrete__lower_type_operator_chain.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...s/concrete__lower_type_parenthesized.snap → ...s/concrete__lower_type_parenthesized.snap b/...s/concrete__lower_type_parenthesized.snap → ...s/concrete__lower_type_parenthesized.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---

diff --git a/...napshots/concrete__lower_type_record.snap → ...napshots/concrete__lower_type_record.snap b/...napshots/concrete__lower_type_record.snap → ...napshots/concrete__lower_type_record.snap
@@ -1,5 +1,5 @@
 ---
-source: crates/lowering/tests/concrete.rs
+source: crates/lowering_v1/tests/concrete.rs
 expression: "&lower.source_map"
 snapshot_kind: text
 ---