aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier/typedef_alias.good
blob: 56b154c5fa47142b279d7f8944bcc793dcae5c80 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44


typedef alias integer = int;
typedef alias whole_num = int;

typedef point = (int x, int y);
typedef alias pnt = point;
typedef alias xy = point;

() test_int() {
    var int a = 1;
    var integer b = 1;
    var whole_num c = 1;
    
    a = a;
    a = b;
    a = c;
    
    b = a;
    b = b;
    b = c;
    
    c = a;
    c = b;
    c = c;
}

() test_struct() {
    var point a = (1, 2);
    var pnt b =   (1, 2);
    var xy c =    (1, 2);
    
    a = a;
    a = b;
    a = c;
    
    b = a;
    b = b;
    b = c;
    
    c = a;
    c = b;
    c = c;
}