Gitly


1 module main
2 
3 enum Test {
4     a
5     b
6 }
7 
8 type Sumtype = Test | int
9 
10 fn test_main() {
11     t := ?Sumtype(Test.a)
12     match true {
13         t == ?Sumtype(5) {
14             assert false
15         }
16         t == ?Sumtype(Test.a) {
17             assert true
18         }
19         else {
20             assert false
21         }
22     }
23 }
24

1	module main
2
3	enum Test {
4	a
5	b
6	}
7
8	type Sumtype = Test \| int
9
10	fn test_main() {
11	t := ?Sumtype(Test.a)
12	match true {
13	t == ?Sumtype(5) {
14	assert false
15	}
16	t == ?Sumtype(Test.a) {
17	assert true
18	}
19	else {
20	assert false
21	}
22	}
23	}
24