[sc-505] Include strict and lazy results

cspell.json

@@ -13,6 +13,7 @@
     "chumsky",
     "combinators",
     "ctrs",
+    "Dall",
     "datatypes",
     "desugared",
     "desugars",
@@ -49,9 +50,8 @@
     "oprune",
     "oref",
     "postcondition",
-    "redex",
-    "redexes",
     "readback",
+    "redex",
     "redexes",
     "resugar",
     "resugared",

tests/golden_tests.rs

@@ -48,7 +48,12 @@ fn run_single_golden_test(
   let file_path = format!("{}{}", &TESTS_PATH[1 ..], file_name);
   let file_path = Path::new(&file_path);
 
-  let results = run.iter().map(|x| x(&code, file_path).unwrap_or_else(|err| err.to_string()));
+  let mut results: HashMap<&Path, Vec<String>> = HashMap::new();
+  for fun in run {
+    let result = fun(&code, file_path).unwrap_or_else(|err| err.to_string());
+    results.entry(file_path).or_default().push(result);
+  }
+  let results = results.into_values().map(|v| v.join("\n")).collect_vec();
 
   let mut settings = insta::Settings::clone_current();
   settings.set_prepend_module_to_snapshot(false);
@@ -151,7 +156,7 @@ fn run_file() {
         .output()
         .expect("Run process");
 
-      Ok(format_output(output))
+      Ok(format!("Lazy mode:\n{}", format_output(output)))
     }),
     (&|_code, path| {
       let output = std::process::Command::new(env!("CARGO_BIN_EXE_hvml"))
@@ -159,7 +164,7 @@ fn run_file() {
         .output()
         .expect("Run process");
 
-      Ok(format_output(output))
+      Ok(format!("Strict mode:\n{}", format_output(output)))
     }),
   ])
 }

tests/snapshots/run_file__addition.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/addition.hvm
 ---
+Lazy mode:
+
+10
+
+Strict mode:
+
 10

tests/snapshots/run_file__adt_match.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/adt_match.hvm
 ---
+Lazy mode:
+
+(Some 2)
+
+Strict mode:
+
 (Some 2)

tests/snapshots/run_file__adt_match_wrong_tag.hvm.snap

@@ -2,6 +2,15 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/adt_match_wrong_tag.hvm
 ---
+Lazy mode:
+
+Readback Warning:
+Unexpected tag found during Adt readback, expected '#Option', but found '#wrong_tag'
+Invalid Adt Match
+λa match a { (Some Some.val): #Option (#wrong_tag λb b Some.val); (None): * }
+
+Strict mode:
+
 Readback Warning:
 Unexpected tag found during Adt readback, expected '#Option', but found '#wrong_tag'
 Invalid Adt Match

tests/snapshots/run_file__adt_option_and.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/adt_option_and.hvm
 ---
+Lazy mode:
+
+λa λb match a { (Some c): match b { (Some d): (Some (c, d)); (None): None }; (None): None }
+
+Strict mode:
+
 λa match a { (Some b): λc (match c { (Some d): λe (Some (e, d)); (None): λ* None } b); (None): λ* None }

tests/snapshots/run_file__adt_wrong_tag.hvm.snap

@@ -2,6 +2,15 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/adt_wrong_tag.hvm
 ---
+Lazy mode:
+
+Readback Warning:
+Unexpected tag found during Adt readback, expected '#Option', but found '#wrong_tag'
+Invalid Adt Match
+λa match a { (Some Some.val): #Option (#wrong_tag λb b Some.val); (None): * }
+
+Strict mode:
+
 Readback Warning:
 Unexpected tag found during Adt readback, expected '#Option', but found '#wrong_tag'
 Invalid Adt Match

tests/snapshots/run_file__and.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/and.hvm
 ---
+Lazy mode:
+
+false
+
+Strict mode:
+
 false

tests/snapshots/run_file__bitonic_sort.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/bitonic_sort.hvm
 ---
+Lazy mode:
+
+120
+
+Strict mode:
+
 120

tests/snapshots/run_file__bitonic_sort_lam.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/bitonic_sort_lam.hvm
 ---
+Lazy mode:
+
+32640
+
+Strict mode:
+
 32640

tests/snapshots/run_file__box.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/box.hvm
 ---
+Lazy mode:
+
+(Box 10)
+
+Strict mode:
+
 (Box 10)

tests/snapshots/run_file__box2.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/box2.hvm
 ---
+Lazy mode:
+
+(Box 4)
+
+Strict mode:
+
 (Box 4)

tests/snapshots/run_file__callcc.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/callcc.hvm
 ---
+Lazy mode:
+
+52
+
+Strict mode:
+
 52

tests/snapshots/run_file__chars.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/chars.hvm
 ---
+Lazy mode:
+
+"ሴ!7"
+
+Strict mode:
+
 "ሴ!7"

tests/snapshots/run_file__chars_forall.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/chars_forall.hvm
 ---
+Lazy mode:
+
+8704
+
+Strict mode:
+
 8704

tests/snapshots/run_file__chars_lambda.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/chars_lambda.hvm
 ---
+Lazy mode:
+
+955
+
+Strict mode:
+
 955

tests/snapshots/run_file__def_bool_num.hvm.snap

@@ -2,7 +2,16 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/def_bool_num.hvm
 ---
+Lazy mode:
+
 In definition 'go':
   Non-exhaustive pattern matching. Hint:
     Case '+' not covered.
 
+
+
+Strict mode:
+
+In definition 'go':
+  Non-exhaustive pattern matching. Hint:
+    Case '+' not covered.

tests/snapshots/run_file__def_num_bool.hvm.snap

@@ -2,7 +2,16 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/def_num_bool.hvm
 ---
+Lazy mode:
+
 In definition 'go':
   Non-exhaustive pattern matching. Hint:
     Case '+' not covered.
 
+
+
+Strict mode:
+
+In definition 'go':
+  Non-exhaustive pattern matching. Hint:
+    Case '+' not covered.

tests/snapshots/run_file__def_tups.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/def_tups.hvm
 ---
+Lazy mode:
+
+15
+
+Strict mode:
+
 15

tests/snapshots/run_file__dup_global_lam.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/dup_global_lam.hvm
 ---
+Lazy mode:
+
+λa a
+
+Strict mode:
+
 λa a

tests/snapshots/run_file__empty.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/empty.hvm
 ---
+Lazy mode:
+File has no 'main' definition.
+
+
+
+Strict mode:
 File has no 'main' definition.

tests/snapshots/run_file__escape_sequences.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/escape_sequences.hvm
 ---
+Lazy mode:
+
+("\n\r\t\0\"'\u{afe}`", "\n\r\t\0\"'\u{afe}`")
+
+Strict mode:
+
 ("\n\r\t\0\"'\u{afe}`", "\n\r\t\0\"'\u{afe}`")

tests/snapshots/run_file__eta.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/eta.hvm
 ---
+Lazy mode:
+
+λa a
+
+Strict mode:
+
 λa a

tests/snapshots/run_file__example.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/example.hvm
 ---
+Lazy mode:
+
+8
+
+Strict mode:
+
 8

tests/snapshots/run_file__exp.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/exp.hvm
 ---
+Lazy mode:
+
+λa λb (a (a (a (a b))))
+
+Strict mode:
+
 λa λb (a (a (a (a b))))

tests/snapshots/run_file__extracted_match_pred.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/extracted_match_pred.hvm
 ---
+Lazy mode:
+
+0
+
+Strict mode:
+
 0

tests/snapshots/run_file__field_vectorization.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/field_vectorization.hvm
 ---
+Lazy mode:
+
+(Cons T (Cons T (Cons F (Cons T Nil))))
+
+Strict mode:
+
 (Cons T (Cons T (Cons F (Cons T Nil))))

tests/snapshots/run_file__id_underscore.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/id_underscore.hvm
 ---
+Lazy mode:
+
+(2, 3)
+
+Strict mode:
+
 (2, 3)

tests/snapshots/run_file__lam_op2.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/lam_op2.hvm
 ---
+Lazy mode:
+
+λa (+ a 2)
+
+Strict mode:
+
 λa (+ a 2)

tests/snapshots/run_file__lam_op2_nested.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/lam_op2_nested.hvm
 ---
+Lazy mode:
+
+λa (+ (* a a) (+ (+ a 2) 3))
+
+Strict mode:
+
 λa (+ (* a a) (+ (+ a 2) 3))

tests/snapshots/run_file__let_tup_readback.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/let_tup_readback.hvm
 ---
+Lazy mode:
+
+λa let (b, c) = a; (b c)
+
+Strict mode:
+
 λa let (b, c) = a; (b c)

tests/snapshots/run_file__linearize_match.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/linearize_match.hvm
 ---
+Lazy mode:
+
+λa match a { 0: λb b; 1+c: λd (+ c d) }
+
+Strict mode:
+
 λa match a { 0: λb b; 1+c: λd (+ c d) }

tests/snapshots/run_file__list_resugar.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/list_resugar.hvm
 ---
+Lazy mode:
+
+[42, [λd d]]
+
+Strict mode:
+
 [42, [λd d]]

tests/snapshots/run_file__list_reverse.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/list_reverse.hvm
 ---
+Lazy mode:
+
+(cons 1 (cons 2 (cons 3 nil)))
+
+Strict mode:
+
 (cons 1 (cons 2 (cons 3 nil)))

tests/snapshots/run_file__list_take.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/list_take.hvm
 ---
+Lazy mode:
+
+[3, 2]
+
+Strict mode:
+
 [3, 2]

tests/snapshots/run_file__list_to_tree.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/list_to_tree.hvm
 ---
+Lazy mode:
+
+((1, 2), (3, (4, 5)))
+
+Strict mode:
+
 ((1, 2), (3, (4, 5)))

tests/snapshots/run_file__log.hvm.snap

@@ -2,6 +2,14 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/log.hvm
 ---
+Lazy mode:
+
+59
+(Some "Hello world")
+"Hi"
+
+Strict mode:
+
 59
 (Some "Hello world")
 "Hi"

tests/snapshots/run_file__match.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match.hvm
 ---
+Lazy mode:
+
+λ* λa a
+
+Strict mode:
+
 λ* λa a

tests/snapshots/run_file__match_builtins.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_builtins.hvm
 ---
+Lazy mode:
+
+("ello", "world")
+
+Strict mode:
+
 ("ello", "world")

tests/snapshots/run_file__match_mult_linearization.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_mult_linearization.hvm
 ---
+Lazy mode:
+
+λa match a { 0: λb λc λd (+ (+ b c) d); 1+e: λf λg λh (+ (+ (+ e f) g) h) }
+
+Strict mode:
+
 λa match a { 0: λb λc λd (+ (+ b c) d); 1+e: λf λg λh (+ (+ (+ e f) g) h) }

tests/snapshots/run_file__match_num_adt_tup_parser.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_num_adt_tup_parser.hvm
 ---
+Lazy mode:
+
+(40, (Err ("+", *)))
+
+Strict mode:
+
 (40, (Err ("+", *)))

tests/snapshots/run_file__match_num_explicit_bind.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_num_explicit_bind.hvm
 ---
+Lazy mode:
+
+3
+
+Strict mode:
+
 3

tests/snapshots/run_file__match_num_num_to_char.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_num_num_to_char.hvm
 ---
+Lazy mode:
+
+(([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 1152921504606846975]), [48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 0])
+
+Strict mode:
+
 (([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 1152921504606846975]), [48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 0])

tests/snapshots/run_file__match_num_succ_complex.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_num_succ_complex.hvm
 ---
+Lazy mode:
+
+[[5, 5, 0, 0, 0, 6], [5, 5, 0, 0, 0, 6], [5, 5, 0, 0, 0, 6]]
+
+Strict mode:
+
 [[5, 5, 0, 0, 0, 6], [5, 5, 0, 0, 0, 6], [5, 5, 0, 0, 0, 6]]

tests/snapshots/run_file__match_str.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_str.hvm
 ---
+Lazy mode:
+
+[2, 2, 1, 0, 0, 0]
+
+Strict mode:
+
 [2, 2, 1, 0, 0, 0]

tests/snapshots/run_file__match_sup.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_sup.hvm
 ---
+Lazy mode:
+
+#a{1 2}
+
+Strict mode:
+
 #a{1 2}

tests/snapshots/run_file__match_vars.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/match_vars.hvm
 ---
+Lazy mode:
+
+1
+
+Strict mode:
+
 1

tests/snapshots/run_file__merge_sort.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/merge_sort.hvm
 ---
+Lazy mode:
+
+120
+
+Strict mode:
+
 120

tests/snapshots/run_file__names_hyphen.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/names_hyphen.hvm
 ---
+Lazy mode:
+
+1
+
+Strict mode:
+
 1

tests/snapshots/run_file__names_hyphen_toplevel.hvm.snap

@@ -2,6 +2,17 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/names_hyphen_toplevel.hvm
 ---
+Lazy mode:
+At tests/golden_tests/run_file/names_hyphen_toplevel.hvm:1:1: Names with '-' are not supported at top level.
+  1 | this-is-not-allowed = 1
+At tests/golden_tests/run_file/names_hyphen_toplevel.hvm:3:6: Names with '-' are not supported at top level.
+  3 | data Foo-Bar = Baz-Qux
+At tests/golden_tests/run_file/names_hyphen_toplevel.hvm:3:16: Names with '-' are not supported at top level.
+  3 | data Foo-Bar = Baz-Qux
+
+
+
+Strict mode:
 At tests/golden_tests/run_file/names_hyphen_toplevel.hvm:1:1: Names with '-' are not supported at top level.
   1 | this-is-not-allowed = 1
 At tests/golden_tests/run_file/names_hyphen_toplevel.hvm:3:6: Names with '-' are not supported at top level.

tests/snapshots/run_file__nested_let_tup.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/nested_let_tup.hvm
 ---
+Lazy mode:
+
+2
+
+Strict mode:
+
 2

tests/snapshots/run_file__nested_list_and_string.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/nested_list_and_string.hvm
 ---
+Lazy mode:
+
+λa [a, (*, 2), (String.cons [7, "1234", 9] (String.cons a (String.cons * "42")))]
+
+Strict mode:
+
 λa [a, (*, 2), (String.cons [7, "1234", 9] (String.cons a (String.cons * "42")))]

tests/snapshots/run_file__nested_str.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/nested_str.hvm
 ---
+Lazy mode:
+
+((String.cons "a" String.nil), ((String.cons 97 (String.cons "bc" String.nil)), ((String.cons "ab" "c"), (String.cons "ab" (String.cons "cd" String.nil)))))
+
+Strict mode:
+
 ((String.cons "a" String.nil), ((String.cons 97 (String.cons "bc" String.nil)), ((String.cons "ab" "c"), (String.cons "ab" (String.cons "cd" String.nil)))))

tests/snapshots/run_file__num_match_missing_var.hvm.snap

@@ -2,6 +2,18 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/num_match_missing_var.hvm
 ---
+Lazy mode:
+
+In definition 'if':
+  Non-exhaustive pattern matching. Hint:
+    Case '+' not covered.
+In definition 'if4':
+  Expected a sequence of incrementing numbers ending with '1+', found '1'.
+
+
+
+Strict mode:
+
 In definition 'if':
   Non-exhaustive pattern matching. Hint:
     Case '+' not covered.

tests/snapshots/run_file__num_pred.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/num_pred.hvm
 ---
+Lazy mode:
+
+42
+
+Strict mode:
+
 42

tests/snapshots/run_file__override_list_ctr.hvm.snap

@@ -2,5 +2,12 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/override_list_ctr.hvm
 ---
+Lazy mode:
+At tests/golden_tests/run_file/override_list_ctr.hvm:2:5: List.nil is a built-in constructor and should not be overridden.
+  2 |   = List.nil
+
+
+
+Strict mode:
 At tests/golden_tests/run_file/override_list_ctr.hvm:2:5: List.nil is a built-in constructor and should not be overridden.
   2 |   = List.nil

tests/snapshots/run_file__override_str_ctr.hvm.snap

@@ -2,5 +2,12 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/override_str_ctr.hvm
 ---
+Lazy mode:
+At tests/golden_tests/run_file/override_str_ctr.hvm:2:5: String.cons is a built-in constructor and should not be overridden.
+  2 |   = (String.cons any)
+
+
+
+Strict mode:
 At tests/golden_tests/run_file/override_str_ctr.hvm:2:5: String.cons is a built-in constructor and should not be overridden.
   2 |   = (String.cons any)

tests/snapshots/run_file__pred.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/pred.hvm
 ---
+Lazy mode:
+
+2
+
+Strict mode:
+
 2

tests/snapshots/run_file__print.hvm.snap

@@ -2,5 +2,12 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/print.hvm
 ---
+Lazy mode:
+
+hello world
+"goodbye world"
+
+Strict mode:
+
 hello world
 "goodbye world"

tests/snapshots/run_file__queue.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/queue.hvm
 ---
+Lazy mode:
+
+λa λ* (a 1 λb λ* (b 2 λc λ* (c 3 λ* λd d)))
+
+Strict mode:
+
 λa λ* (a 1 λb λ* (b 2 λc λ* (c 3 λ* λd d)))

tests/snapshots/run_file__radix_sort_ctr.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/radix_sort_ctr.hvm
 ---
+Lazy mode:
+
+120
+
+Strict mode:
+
 120

tests/snapshots/run_file__readback_hvm1_main.hvm.snap

@@ -2,6 +2,14 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/readback_hvm1_main.hvm
 ---
+Lazy mode:
+
 In definition 'Main':
   Main definition can't be referenced inside the program.
 
+
+
+Strict mode:
+
+In definition 'Main':
+  Main definition can't be referenced inside the program.

tests/snapshots/run_file__readback_list_other_ctr.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/readback_list_other_ctr.hvm
 ---
+Lazy mode:
+
+(List.cons (String.cons 97 (pair 98 "c")) (List.cons 1 (pair 2 [3, 4])))
+
+Strict mode:
+
 (List.cons (String.cons 97 (pair 98 "c")) (List.cons 1 (pair 2 [3, 4])))

tests/snapshots/run_file__recursive_combinator.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/recursive_combinator.hvm
 ---
+Lazy mode:
+
+0
+
+Strict mode:
+
 0

tests/snapshots/run_file__recursive_combinator_nested.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/recursive_combinator_nested.hvm
 ---
+Lazy mode:
+
+#a{8 0}
+
+Strict mode:
+
 #a{8 0}

tests/snapshots/run_file__recursive_match_native.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/recursive_match_native.hvm
 ---
+Lazy mode:
+
+512
+
+Strict mode:
+
 512

tests/snapshots/run_file__ref_resolution.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/ref_resolution.hvm
 ---
+Lazy mode:
+
+42
+
+Strict mode:
+
 42

tests/snapshots/run_file__repeated_name_truncation.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/repeated_name_truncation.hvm
 ---
+Lazy mode:
+
+λ* 2
+
+Strict mode:
+
 λ* 2

tests/snapshots/run_file__scopeless_discard.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/scopeless_discard.hvm
 ---
+Lazy mode:
+
+(2, *)
+
+Strict mode:
+
 (2, *)

tests/snapshots/run_file__str_backtick.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/str_backtick.hvm
 ---
+Lazy mode:
+
+"abc369*`asdf\"asdf"
+
+Strict mode:
+
 "abc369*`asdf\"asdf"

tests/snapshots/run_file__str_concat.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/str_concat.hvm
 ---
+Lazy mode:
+
+"hello world"
+
+Strict mode:
+
 "hello world"

tests/snapshots/run_file__str_inc.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/str_inc.hvm
 ---
+Lazy mode:
+
+(11, #str λa (105, (102, (109, (109, (112, (33, (120, (112, (115, (109, (101, a))))))))))))
+
+Strict mode:
+
 (11, #str λa (105, (102, (109, (109, (112, (33, (120, (112, (115, (109, (101, a))))))))))))

tests/snapshots/run_file__str_inc_eta.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/str_inc_eta.hvm
 ---
+Lazy mode:
+
+(11, #str λa (105, (102, (109, (109, (112, (33, (120, (112, (115, (109, (101, a))))))))))))
+
+Strict mode:
+
 (11, #str λa (105, (102, (109, (109, (112, (33, (120, (112, (115, (109, (101, a))))))))))))

tests/snapshots/run_file__str_len.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/str_len.hvm
 ---
+Lazy mode:
+
+4
+
+Strict mode:
+
 4

tests/snapshots/run_file__sum_tree.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/sum_tree.hvm
 ---
+Lazy mode:
+
+256
+
+Strict mode:
+
 256

tests/snapshots/run_file__sup_app.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/sup_app.hvm
 ---
+Lazy mode:
+
+#id{3 3}
+
+Strict mode:
+
 #id{3 3}

tests/snapshots/run_file__sup_reconstruction.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/sup_reconstruction.hvm
 ---
+Lazy mode:
+
+λa a
+
+Strict mode:
+
 λa a

tests/snapshots/run_file__superposed_is_even.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/superposed_is_even.hvm
 ---
+Lazy mode:
+
+#0{#1{T F} #2{T F}}
+
+Strict mode:
+
 #0{#1{T F} #2{T F}}

tests/snapshots/run_file__tagged_lam.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/tagged_lam.hvm
 ---
+Lazy mode:
+
+(3, 4)
+
+Strict mode:
+
 (3, 4)

tests/snapshots/run_file__tup_list_strings.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/tup_list_strings.hvm
 ---
+Lazy mode:
+
+([("foo", 0), ("foo", 0), ("foo", 1)], 4)
+
+Strict mode:
+
 ([("foo", 0), ("foo", 0), ("foo", 1)], 4)

tests/snapshots/run_file__tup_reconstruction.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/tup_reconstruction.hvm
 ---
+Lazy mode:
+
+λa a
+
+Strict mode:
+
 λa a

tests/snapshots/run_file__tuple_rots.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/tuple_rots.hvm
 ---
+Lazy mode:
+
+λa (a 5 6 7 8 1 2 3 4)
+
+Strict mode:
+
 λa (a 5 6 7 8 1 2 3 4)

tests/snapshots/run_file__unaplied_str.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/unaplied_str.hvm
 ---
+Lazy mode:
+
+λa λb (String.cons a (String.cons 98 (String.cons 99 (String.cons b String.nil))))
+
+Strict mode:
+
 λa λb (String.cons a (String.cons 98 (String.cons 99 (String.cons b String.nil))))

tests/snapshots/run_file__unscoped_never_used.hvm.snap

@@ -2,6 +2,14 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/unscoped_never_used.hvm
 ---
+Lazy mode:
+
 In definition 'main':
   Unscoped variable from lambda 'λ$x' is never used.
 
+
+
+Strict mode:
+
+In definition 'main':
+  Unscoped variable from lambda 'λ$x' is never used.

tests/snapshots/run_file__unused_dup_var.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/unused_dup_var.hvm
 ---
+Lazy mode:
+
+λa (a λb b)
+
+Strict mode:
+
 λa (a λb b)

tests/snapshots/run_file__world.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/world.hvm
 ---
+Lazy mode:
+
+"🌎"
+
+Strict mode:
+
 "🌎"

tests/snapshots/run_file__wrong_string.hvm.snap

@@ -2,4 +2,10 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/run_file/wrong_string.hvm
 ---
+Lazy mode:
+
+(String.cons (*, 4) (String.cons * String.nil))
+
+Strict mode:
+
 (String.cons (*, 4) (String.cons * String.nil))