diff options
Diffstat (limited to 'test/example/c-api-kitchen-sink.c')
-rw-r--r-- | test/example/c-api-kitchen-sink.c | 12 |
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}; |