Add broken black box pre-reduce test

HigherOrderCO · Feb 23, 2024 · 751af02 · 751af02
1 parent 53fea88
commit 751af02
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/tests/golden_tests/compile_file_o_all/black_box.hvm b/tests/golden_tests/compile_file_o_all/black_box.hvm
@@ -1,2 +1,2 @@
-def_that_uses_black_box = (* (HVM.black_box 6) 7)
-main = def_that_uses_black_box
+def_that_uses_black_box = @a (* (HVM.black_box a) 7)
+main = (def_that_uses_black_box 6)
diff --git a/tests/golden_tests/compile_file_o_all/black_box_ref.hvm b/tests/golden_tests/compile_file_o_all/black_box_ref.hvm
@@ -0,0 +1,2 @@
+def_that_uses_black_box = (* (HVM.black_box 6) 7)
+main = def_that_uses_black_box
diff --git a/tests/snapshots/compile_file_o_all__black_box_ref.hvm.snap b/tests/snapshots/compile_file_o_all__black_box_ref.hvm.snap
@@ -0,0 +1,6 @@
+---
+source: tests/golden_tests.rs
+input_file: tests/golden_tests/compile_file_o_all/black_box_ref.hvm
+---
+@main = a
+& @HVM.black_box ~ (#6 <* #7 a>)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		def_that_uses_black_box = (* (HVM.black_box 6) 7)
		main = def_that_uses_black_box