test/regress/regress0/datatypes/empty_tuprec.cvc

   1 OPTION "incremental";
   2
   3 a1, a2 : []; % empty tuples (a unit type)
   4 b1, b2 : [##]; % empty records (a unit type)
   5 c1, c2 : [[]]; % 1-tuples of the empty tuple (a unit type)
   6 d1, d2 : [#x:[[##]],y:[#z:[]#]#]; % more complicated records (still a unit type)
   7
   8 % EXPECT: valid
   9 QUERY a1 = a2;
  10
  11 % EXPECT: valid
  12 QUERY b1 = b2;
  13
  14 % EXPECT: valid
  15 QUERY c1 = c2;
  16
  17 % EXPECT: valid
  18 QUERY d1 = d2;
  19
  20 % EXIT: 20