2024-01-10 17:05:23 +03:00
|
|
|
|
---
|
|
|
|
|
source: tests/golden_tests.rs
|
2024-05-15 01:25:46 +03:00
|
|
|
|
input_file: tests/golden_tests/run_file/let_tup_readback.bend
|
2024-01-10 17:05:23 +03:00
|
|
|
|
---
|
2024-05-18 15:01:20 +03:00
|
|
|
|
NumScott:
|
|
|
|
|
[4m[1m[33mWarnings:[0m
|
|
|
|
|
[1mDuring readback:[0m
|
2024-05-20 15:50:49 +03:00
|
|
|
|
Unable to interpret the HVM result as a valid Bend term. (Reached Root)
|
2024-05-18 15:01:20 +03:00
|
|
|
|
|
|
|
|
|
λa ($b (a λc (<Invalid> λ$b c)))
|
|
|
|
|
|
|
|
|
|
Scott:
|
2024-05-09 19:05:52 +03:00
|
|
|
|
[4m[1m[33mWarnings:[0m
|
|
|
|
|
[1mDuring readback:[0m
|
2024-05-19 15:37:54 +03:00
|
|
|
|
Unable to interpret the HVM result as a valid Bend term. (Reached Root)
|
2024-03-08 21:28:43 +03:00
|
|
|
|
|
2024-04-26 23:38:20 +03:00
|
|
|
|
λa ($b (a λc (<Invalid> λ$b c)))
|