@@ -21,41 +21,15 @@ fn basic_assertion() {
2121
2222fn struct_with_default_values () {
2323 foo := Foo{}
24-
2524 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 ('' )
5229
5330 // 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('')))
5933}
6034
6135fn struct_with_values () {
@@ -68,56 +42,20 @@ fn struct_with_values() {
6842 field_4 : f32 (3.14 )
6943 field_5 : true
7044 }
71-
7245 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
10351
10452 // test 1
10553 f1 := Foo{
10654 field_4 : Type3 (100 )
10755 field_5 : Type4 (Type3 (Type0 ('hello' )))
10856 }
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' )))
12159}
12260
12361fn main () {
0 commit comments