mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-19 07:37:56 +03:00
f51e4eb22e
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
10 lines
187 B
Plaintext
10 lines
187 B
Plaintext
---
|
|
source: tests/golden_tests.rs
|
|
input_file: tests/golden_tests/compile_file_o_all/tagged_sup.hvm
|
|
---
|
|
@a_$_b = {3 (a a) (b b)}
|
|
@c = {5 (a a) (b b)}
|
|
@main = a
|
|
& @a_$_b ~ (@a_$_b (@c a))
|
|
|