@@ -21,41 +21,15 @@ fn basic_assertion() {
21
21
22
22
fn struct_with_default_values () {
23
23
foo := Foo{}
24
-
25
24
assert foo.field_0 == ''
26
-
27
- if foo.field_1 is int {
28
- assert foo.field_1 == 0
29
- } else {
30
- assert false
31
- }
32
-
33
- if foo.field_2 is string {
34
- assert foo.field_2 == ''
35
- } else {
36
- assert false
37
- }
38
-
39
- if foo.field_3 is Type0 {
40
- assert foo.field_3 == ''
41
- assert foo.field_3 == Type0 ('' )
42
- } else {
43
- assert false
44
- }
45
-
46
- // TODO: uncomment until the C backend is improved
47
- // if foo.field_4 is Type3 {
48
- // assert foo.field_4 == Type3(Type0(''))
49
- // } else {
50
- // assert false
51
- // }
25
+ assert foo.field_1 is int && foo.field_1 == 0
26
+ assert foo.field_2 is string && foo.field_2 == ''
27
+ assert foo.field_3 is Type0 && foo.field_3 == ''
28
+ assert foo.field_3 is Type0 && foo.field_3 == Type0 ('' )
52
29
53
30
// TODO: uncomment until the C backend is improved
54
- // if foo.field_5 is Type4 {
55
- // assert foo.field_4 == Type4(Type3(Type0('')))
56
- // } else {
57
- // assert false
58
- // }
31
+ // assert foo.field_4 is Type3 && foo.field_4 == Type3(Type0(''))
32
+ // assert foo.field_5 is Type4 && foo.field_4 == Type4(Type3(Type0('')))
59
33
}
60
34
61
35
fn struct_with_values () {
@@ -68,56 +42,20 @@ fn struct_with_values() {
68
42
field_4 : f32 (3.14 )
69
43
field_5 : true
70
44
}
71
-
72
45
assert f0 .field_0 == 'hello'
73
-
74
- if f0 .field_1 is string {
75
- assert f0 .field_1 == 'world'
76
- } else {
77
- assert false
78
- }
79
-
80
- if f0 .field_2 is int {
81
- assert f0 .field_2 == 100
82
- } else {
83
- assert false
84
- }
85
-
86
- if f0 .field_3 is int {
87
- assert f0 .field_3 == 200
88
- } else {
89
- assert false
90
- }
91
-
92
- if f0 .field_4 is f32 {
93
- assert f0 .field_4 == 3.14
94
- } else {
95
- assert false
96
- }
97
-
98
- if f0 .field_5 is bool {
99
- assert f0 .field_5
100
- } else {
101
- assert false
102
- }
46
+ assert f0 .field_1 is string && f0 .field_1 == 'world'
47
+ assert f0 .field_2 is int && f0 .field_2 == 100
48
+ assert f0 .field_3 is int && f0 .field_3 == 200
49
+ assert f0 .field_4 is f32 && f0 .field_4 == 3.14
50
+ assert f0 .field_5 is bool && f0 .field_5
103
51
104
52
// test 1
105
53
f1 := Foo{
106
54
field_4 : Type3 (100 )
107
55
field_5 : Type4 (Type3 (Type0 ('hello' )))
108
56
}
109
-
110
- if f1 .field_4 is Type3 {
111
- assert f1 .field_4 == Type3 (100 )
112
- } else {
113
- assert false
114
- }
115
-
116
- if f1 .field_5 is Type4 {
117
- assert f1 .field_5 == Type4 (Type3 (Type0 ('hello' )))
118
- } else {
119
- assert false
120
- }
57
+ assert f1 .field_4 is Type3 && f1 .field_4 == Type3 (100 )
58
+ assert f1 .field_5 is Type4 && f1 .field_5 == Type4 (Type3 (Type0 ('hello' )))
121
59
}
122
60
123
61
fn main () {
0 commit comments