summaryrefslogtreecommitdiff
path: root/test/example/c-api-kitchen-sink.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/example/c-api-kitchen-sink.c')
-rw-r--r--test/example/c-api-kitchen-sink.c12
1 files changed, 12 insertions, 0 deletions
diff --git a/test/example/c-api-kitchen-sink.c b/test/example/c-api-kitchen-sink.c
index f619e6db5..442394e12 100644
--- a/test/example/c-api-kitchen-sink.c
+++ b/test/example/c-api-kitchen-sink.c
@@ -217,6 +217,18 @@ void test_types() {
BinaryenTypeExpand(anyref, &valueType);
assert(valueType == anyref);
+ BinaryenType eqref = BinaryenTypeEqref();
+ printf(" // BinaryenTypeEqref: %d\n", eqref);
+ assert(BinaryenTypeArity(eqref) == 1);
+ BinaryenTypeExpand(eqref, &valueType);
+ assert(valueType == eqref);
+
+ BinaryenType i31ref = BinaryenTypeI31ref();
+ printf(" // BinaryenTypeI31ref: %d\n", i31ref);
+ assert(BinaryenTypeArity(i31ref) == 1);
+ BinaryenTypeExpand(i31ref, &valueType);
+ assert(valueType == i31ref);
+
printf(" // BinaryenTypeAuto: %d\n", BinaryenTypeAuto());
BinaryenType pair[] = {i32, i32};