mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-08-15 14:50:42 +03:00
15 lines
327 B
Plaintext
15 lines
327 B
Plaintext
---
|
|
source: tests/golden_tests.rs
|
|
input_file: tests/golden_tests/compile_file_o_all/sum_predicates.bend
|
|
---
|
|
@main = a
|
|
& @sum_pred ~ (8 (5 a))
|
|
|
|
@sum_pred = (?((@sum_pred__C1 @sum_pred__C2) a) a)
|
|
|
|
@sum_pred__C0 = (a ($([+] $(a b)) b))
|
|
|
|
@sum_pred__C1 = (?((0 (a a)) b) b)
|
|
|
|
@sum_pred__C2 = (b (?(((a a) @sum_pred__C0) (b c)) c))
|