tests/syntax/enumeration/enumerationvalue.txt
author mjsousa
Sun, 13 Jul 2014 13:47:16 +0100
changeset 910 a0518971127d
parent 109 3af0b849b9c6
permissions -rwxr-xr-x
Narrow array subscripts correctly, even in the presence of other datatype errors (so we do not generate error messages for array subscripts that do not contain errors).
109
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     1
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     2
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     3
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     4
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     5
 enum_type00 : (enum_v1, XXXX, enum_v2) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     6
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     7
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     8
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     9
 enum_type01 : (XXXX, enum_v2) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    10
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    11
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    12
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    13
 enum_type02 : (enum_v1, XXXX) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    14
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    15
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    16
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    17
 enum_type03 : (XXXX) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    18
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    19
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    20
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    21
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    22
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    23
function foo : int
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    24
 var_input
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    25
  a_1, b_1: int;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    26
 end_var
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    27
 var
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    28
  c_1, d_1: enum_type00;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    29
(*
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    30
  enum_v1 : enum_type00;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    31
*)
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    32
 end_var
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    33
  c_1 := enum_type00#XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    34
  c_1 := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    35
  c_1 := enum_v1;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    36
(*
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    37
  enum_v1 := enum_v1;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    38
*)
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    39
end_function
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    40
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    41