2024-01-19 17:02:22 +03:00
|
|
|
---
|
|
|
|
source: tests/golden_tests.rs
|
2024-05-15 01:25:46 +03:00
|
|
|
input_file: tests/golden_tests/compile_file_o_all/sum_predicates.bend
|
2024-01-19 17:02:22 +03:00
|
|
|
---
|
|
|
|
@main = a
|
2024-04-23 13:44:01 +03:00
|
|
|
& @sum_pred ~ (8 (5 a))
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2024-04-26 23:38:20 +03:00
|
|
|
@sum_pred = (?((@sum_pred__C1 @sum_pred__C2) a) a)
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2024-05-16 23:21:36 +03:00
|
|
|
@sum_pred__C0 = (a ($([+] $(a b)) b))
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2024-04-26 23:38:20 +03:00
|
|
|
@sum_pred__C1 = (?((0 (a a)) b) b)
|
2024-03-21 15:11:16 +03:00
|
|
|
|
2024-04-26 23:38:20 +03:00
|
|
|
@sum_pred__C2 = (b (?(((a a) @sum_pred__C0) (b c)) c))
|