Sha256: 0890dae36125b7201f338a070d48eb0a45f193fa33e600b1be64f3cca92a8103
Contents?: true
Size: 1.15 KB
Versions: 38
Compression:
Stored size: 1.15 KB
Contents
;; Ensure that anonymous structured types are not allowed in type positions at
;; this time, everything has to be named to assist in binding in languages.
(assert_invalid
(witx
(typename $a (@witx pointer (record (field $b u8))))
)
"Anonymous structured types")
(assert_invalid
(witx
(typename $a (@witx pointer (union)))
)
"Anonymous structured types")
(assert_invalid
(witx
(typename $a (@witx pointer (enum $b)))
)
"Anonymous structured types")
(assert_invalid
(witx
(typename $a (@witx pointer (flags $b)))
)
"Anonymous structured types")
(assert_invalid
(witx
(typename $a (@witx pointer (handle)))
)
"Anonymous structured types")
(assert_invalid
(witx
(typename $a (record (field $b (record (field $c u8)))))
)
"Anonymous structured types")
(assert_invalid
(witx
(typename $tag (enum $c))
(typename $a (record (field $b (union))))
)
"Anonymous structured types")
;; pointers don't count for anonymous indirections
(witx
(typename $a (@witx pointer u8)))
(witx
(typename $a (@witx pointer (@witx const_pointer u8))))
(witx
(typename $a (record (field $b (@witx pointer u8)))))
Version data entries
38 entries across 38 versions & 1 rubygems