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

Revert adt_option_and change

Browse Source
This commit is contained in:
LunaAmora 2024-01-19 09:56:36 -03:00
parent 4bc5ab45f7
commit e3869bd687
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/golden_tests/run_file/adt_option_and.hvm
View File

@ -8,4 +8,4 @@ Option.and = @a @b match a {
None: None
}
main = (Option.and (Some 1))
main = Option.and

2
tests/snapshots/run_file__adt_option_and.hvm.snap
View File

@ -2,4 +2,4 @@
source: tests/golden_tests.rs
input_file: tests/golden_tests/run_file/adt_option_and.hvm
---
λa (match a { (Some e): (#Option.Some.val λb λc (Some (c, b)) e); (None): λ* None } 1)
λa match a { (Some g): (#Option.Some.val λb λc (match c { (Some h): (#Option.Some.val λd (λe λf (Some (f, e)) d) h); (None): λ* None } b) g); (None): λ* None }