Bend/tests/snapshots/run_file__let_tup_readback.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/run_file/let_tup_readback.bend
---
NumScott:
[4m[1m[33mWarnings:[0m
[1mDuring readback:[0m
  Unable to interpret the HVM result as a valid Bend term. (Reached Root)

λa ($b (a λc (<Invalid> λ$b c)))

Scott:
[4m[1m[33mWarnings:[0m
[1mDuring readback:[0m
  Unable to interpret the HVM result as a valid Bend term. (Reached Root)

λa ($b (a λc (<Invalid> λ$b c)))
-												Rename test suite that runs programs

											
										
										
											2024-01-10 17:05:23 +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/let_tup_readback.bend
-												Rename test suite that runs programs

											
										
										
											2024-01-10 17:05:23 +03:00
+								---
-												[sc-663] Add num-scott adt encoding, it a cli opt

											
										
										
											2024-05-18 15:01:20 +03:00
+								NumScott:
 								[4m[1m[33mWarnings:[0m
 								[1mDuring readback:[0m
-												[sc-663] Update tests for rebase

											
										
										
											2024-05-20 15:50:49 +03:00
+								  Unable to interpret the HVM result as a valid Bend term. (Reached Root)
-												[sc-663] Add num-scott adt encoding, it a cli opt

											
										
										
											2024-05-18 15:01:20 +03:00
 								λa ($b (a λc (<Invalid> λ$b c)))
 								Scott:
-												Improve mutual recursion err msg and add some colors

											
										
										
											2024-05-09 19:05:52 +03:00
+								[4m[1m[33mWarnings:[0m
 								[1mDuring readback:[0m
-												Explain dependencies, add to FAQ, improve readback err msg

											
										
										
											2024-05-19 15:37:54 +03:00
+								  Unable to interpret the HVM result as a valid Bend term. (Reached Root)
-												[sc-505] Include strict and lazy results

											
										
										
											2024-03-08 21:28:43 +03:00
-												Update tests for hvm32

											
										
										
											2024-04-26 23:38:20 +03:00
+								λa ($b (a λc (<Invalid> λ$b c)))