compiler/tests/verifier/typedef_enum.good


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15


typedef a = enum(v=0,w);
typedef b = bool enum(v=:false,w=:true);
typedef c = struc1 enum(v=(0,));
typedef d = struc2 enum(v=(0,1),w=(1,0));
typedef e = enum(v,w,x,y);
typedef f = enum(v,w=5,x,y);
typedef g = enum(v=9,w,x,y,z);
typedef h = enum(v=98,w,x,y,z);
typedef i = enum(v=999,w,x,y,z);
typedef j = enum(v=1,w,x=enumbase(j:v),y=enumbase(j:v)+10);

typedef struc1 = (int x);
typedef struc2 = (int x, int y);