Bend/tests/snapshots/compile_file_o_all__num_pattern_with_var.bend.snap

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/compile_file_o_all/num_pattern_with_var.bend
---
@Foo = ((@Foo__C2 a) a)

@Foo__C0 = ($([+0x0000001] a) a)

@Foo__C1 = (* (?((0 @Foo__C0) a) a))

@Foo__C2 = (?(((* 0) @Foo__C1) a) a)

@bool/true = ((1 a) a)

@main = a
  & @Foo ~ (@bool/true (3 a))
Change dir test names 2024-01-19 17:02:22 +03:00			`---`
			`source: tests/golden_tests.rs`
Update tests to use .bend extension, fix test uite 2024-05-15 01:25:46 +03:00			`input_file: tests/golden_tests/compile_file_o_all/num_pattern_with_var.bend`
Change dir test names 2024-01-19 17:02:22 +03:00			`---`
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`@Foo = ((@Foo__C2 a) a)`
update snapshots 2024-03-21 15:11:16 +03:00
Add raw hvm function syntax 2024-06-15 17:07:51 +03:00			`@Foo__C0 = ($([+0x0000001] a) a)`
[sc-517] Use kind2-like pattern matching terms, remove nested lets and adt lets 2024-03-28 00:19:15 +03:00
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`@Foo__C1 = (* (?((0 @Foo__C0) a) a))`
update snapshots 2024-03-21 15:11:16 +03:00
[sc-663] Add num-scott adt encoding, it a cli opt 2024-05-18 15:01:20 +03:00			`@Foo__C2 = (?(((* 0) @Foo__C1) a) a)`

			`@bool/true = ((1 a) a)`
update snapshots 2024-03-21 15:11:16 +03:00
Constructors inherit type name 2024-05-10 22:42:32 +03:00			`@main = a`
			`& @Foo ~ (@bool/true (3 a))`