Bend/tests/snapshots/run_file__match_sup.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/run_file/match_sup.bend
---
[4m[1m[31mErrors:[0m
[1mIn [4mtests/golden_tests/run_file/match_sup.bend[0m[1m :[0m
[1m- expected:[0m term
[1m- detected:[0m end of input
[0m  7 | [4m[31m [0m
-												Make hvm lang compatible with ptr refactor [sc-362]

Add `HVM.log` and `HVM.black_box`, together with their documentation.

Add basic CLI support for limiting rewrites.

Trimming names and adapting them for hvm-core is not necessary anymore.

Update `pre_reduce`. `pre_reduce` can now reduce unrelated redexes in defs that use builtin defs. This is done by making builtin defs "inert" on pre-reduction, and then adding back their interactions to the reduced net. `pre_reduce_refs` is redundant now and has been removed.

Make `Ctx` and `compile_book` take a mutable borrow of `Book`.

Sister PR: https://github.com/HigherOrderCO/hvm-core/pull/60

											
										
										
											2024-02-22 20:57:58 +03:00
+								---
 								source: tests/golden_tests.rs
-												Update tests to use .bend extension, fix test uite

											
										
										
											2024-05-15 01:25:46 +03:00
+								input_file: tests/golden_tests/run_file/match_sup.bend
-												Make hvm lang compatible with ptr refactor [sc-362]

Add `HVM.log` and `HVM.black_box`, together with their documentation.

Add basic CLI support for limiting rewrites.

Trimming names and adapting them for hvm-core is not necessary anymore.

Update `pre_reduce`. `pre_reduce` can now reduce unrelated redexes in defs that use builtin defs. This is done by making builtin defs "inert" on pre-reduction, and then adding back their interactions to the reduced net. `pre_reduce_refs` is redundant now and has been removed.

Make `Ctx` and `compile_book` take a mutable borrow of `Book`.

Sister PR: https://github.com/HigherOrderCO/hvm-core/pull/60

											
										
										
											2024-02-22 20:57:58 +03:00
+								---
-												Improve mutual recursion err msg and add some colors

											
										
										
											2024-05-09 19:05:52 +03:00
+								[4m[1m[31mErrors:[0m
-												Refactor range reporting system to be a simple `Source`

											
										
										
											2024-08-16 01:07:02 +03:00
+								[1mIn [4mtests/golden_tests/run_file/match_sup.bend[0m[1m :[0m
-												Change comments to #

											
										
										
											2024-05-15 22:26:16 +03:00
+								[1m- expected:[0m term
 								[1m- detected:[0m end of input
 								[0m  7 | [4m[31m [0m