HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-11-05 04:51:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add recursive merge test

Browse Source
This commit is contained in:
LunaAmora 2024-02-01 12:29:24 -03:00
parent cef06bf71d
commit eb96960ae9
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/golden_tests/encode_pattern_match/merge_recursive.hvm Normal file
View File

@ -0,0 +1,5 @@
foo_1 = @x (x foo_2)
foo_2 = @a @b (a, b)
bar_1 = @x (x bar_2)
bar_2 = @a @b (a, b)

7
tests/snapshots/encode_pattern_match__merge_recursive.hvm.snap Normal file
View File

@ -0,0 +1,7 @@
---
source: tests/golden_tests.rs
input_file: tests/golden_tests/encode_pattern_match/merge_recursive.hvm
---
(foo_1_$_bar_1) = λx (x foo_2_$_bar_2)
(foo_2_$_bar_2) = λa λb (a, b)