Skip to content

Commit 308479b

Browse files
committed
Dogfood the c_vect provisional
1 parent 6a6f73e commit 308479b

File tree

10 files changed

+13
-8
lines changed

10 files changed

+13
-8
lines changed

test/1.2/errors/T_EIDENT.dml

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.2;
6+
provisional c_vect;
7+
68
device test;
79

810
port p {

test/1.2/errors/T_ETREC.dml

+2
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.2;
6+
provisional c_vect;
7+
68
device test;
79
import "testing.dml";
810

test/1.2/errors/T_strict.dml

+1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.2;
6+
provisional c_vect;
67

78
/* <add id="dml changes strict"/> */
89

test/1.2/internal/T_vect.dml

+1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.2;
6+
provisional c_vect;
67

78
device test;
89

test/1.2/internal/T_vect_select.dml

+1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.2;
6+
provisional c_vect;
67

78
device test;
89

test/1.2/statements/T_if_ambiguity.dml

+1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.2;
6+
provisional c_vect;
67

78
device test;
89

test/1.4/errors/T_ECAST.dml

+1-2
Original file line numberDiff line numberDiff line change
@@ -3,14 +3,13 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.4;
6+
provisional c_vect;
67

78
device test;
89

910
typedef struct { uint32 x; } s_t;
1011
typedef layout "little-endian" { uint32 x; } l_t;
11-
/// WARNING WEXPERIMENTAL
1212
typedef int vect v_t;
13-
/// WARNING WEXPERIMENTAL
1413
typedef int vect alt_v_t;
1514
typedef int a_t[1];
1615
typedef void f_t(void);

test/1.4/errors/T_EEXTERNINCOMP.dml

+1-2
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,10 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.4;
6+
provisional c_vect;
67

78
device test;
89

9-
/// WARNING WEXPERIMENTAL T_EEXTERNINCOMP.dml
10-
1110
typedef int vect int_vect_t;
1211

1312
typedef object object_t;

test/1.4/errors/T_ESERIALIZE.dml

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.4;
6+
provisional c_vect;
67

78
device test;
89

@@ -34,7 +35,6 @@ typedef void (*f)();
3435
saved f f_ptr;
3536

3637
// TODO: vectors should be serializable
37-
/// WARNING WEXPERIMENTAL
3838
typedef int vect int_vect;
3939
/// ERROR ESERIALIZE
4040
saved int_vect x;

test/1.4/errors/T_EVOID.dml

+2-3
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
SPDX-License-Identifier: MPL-2.0
44
*/
55
dml 1.4;
6+
provisional c_vect;
67

78
device test;
89

@@ -34,9 +35,7 @@ typedef void void_t;
3435
extern typedef const void ext_void_t;
3536

3637
/// ERROR EVOID
37-
session void
38-
/// WARNING WEXPERIMENTAL
39-
vect v;
38+
session void vect v;
4039

4140
// this is allowed in 1.2, and even used by dml-builtins, unclear why
4241
/// ERROR EVOID

0 commit comments

Comments
 (0)