Sha256: c59f63a7cde14934a6cfc1a27ea66f0cf80f2aad6506e11cd7eaf345d6df8b4e
Contents?: true
Size: 558 Bytes
Versions: 38
Compression:
Stored size: 558 Bytes
Contents
;; B uses A, and C uses A.
(witx $multi
(load "multimodule/type_b.witx" "multimodule/type_c.witx")
)
(witx $reference
(typename $a u32)
(typename $b (record (field $member_a $a)))
(typename $c (record (field $first_a $a) (field $second_a $a)))
)
(assert_representable eq $reference "a" $multi "a")
(assert_representable eq $reference "b" $multi "b")
(assert_representable eq $reference "c" $multi "c")
(assert_invalid
(witx
(load
"multimodule/type_a.witx"
"multimodule/redefine_a.witx")
)
"Redefinition of name `a`")
Version data entries
38 entries across 38 versions & 1 rubygems