// Globals have identity now const { g, same } = wasmEvalText(`(module"g" ) eqref (struct.new 0))"same" ) (param eqref) (result i32)if (call $same (global.get 0)) (then return ))"global had different identity when exported" );// Subtypes with func refs null $s1)))))null $t1) ref.func $a)null func) ref.func $a)null $t2) ref.func $b)null $t1) ref.func $b)null func) ref.func $b)null $s1)))) ;; not a subtype of t1// Subtypes with struct refs null $t1) struct.new_default $t1)null struct) struct.new_default $t1)null eq) struct.new_default $t1)null any) struct.new_default $t1)null $t2) struct.new_default $t2)null $t1) struct.new_default $t2)null struct) struct.new_default $t2)null eq) struct.new_default $t2)null any) struct.new_default $t2)// Subtypes with array refs null $s))))null $t1) array.new_fixed $t1 0)null array) array.new_fixed $t1 0)null eq) array.new_fixed $t1 0)null any) array.new_fixed $t1 0)null $t2) array.new_fixed $t2 0)null $t1) array.new_fixed $t2 0)null array) array.new_fixed $t2 0)null eq) array.new_fixed $t2 0)null any) array.new_fixed $t2 0)null $s)))// Subtypes should be respected on imports and exports const { struct, mut_struct, eq, mut_eq, any, mut_any } = wasmEvalText(`(module"struct" ) structref (struct.new 0))"mut_struct" ) (mut structref) (struct.new 0))"eq" ) eqref (struct.new 0))"mut_eq" ) (mut eqref) (struct.new 0))"any" ) anyref (struct.new 0))"mut_any" ) (mut anyref) (struct.new 0))function importGlobalIntoType(g, t) {import "test" "g" ) ${t})"test" : { "g" : g } });LinkError, /global type mismatch/);.LinkError, /global type mismatch/);, /global type mismatch/);LinkError, /global type mismatch/);kError, /global type mismatch/);r, /global type mismatch/);lobal type mismatch/);.LinkError, /global type mismatch/);kError, /global type mismatch/);// Importing globals with ref types const { struct, array, func } = wasmEvalText(`(module"struct" ) structref (struct.new 0))"array" ) arrayref (array.new_fixed 1 0))"func" ) funcref (ref.func $f))function importValueIntoType(v, t) {import "test" "v" ) ${t})"test" : { "v" : v } });mbly.LinkError, /global mutability mismatch/);null , `structref`);null , `(ref struct)`), TypeError, /cannot pass null /););n only pass/);null , `i31ref`);null , `(ref i31)`), TypeError, /cannot pass null ;"test" , `i31ref`), TypeError, /can only pass/);nly pass/);null , `eqref`);null , `(ref eq)`), TypeError, /cannot pass null /);y pass/););"test" , `eqref`), TypeError, /can only pass/);pass/);null , `anyref`);null , `(ref any)`), TypeError, /cannot pass null "test" , `anyref`);null , `externref`);null , `(ref extern)`), TypeError, /cannot pass null /);"test" , `externref`);null , `funcref`);null , `(ref func)`), TypeError, /cannot pass null /);s/);
Messung V0.5 C=87 H=98 G=92
¤ Dauer der Verarbeitung: 0.4 Sekunden
¤ *© Formatika GbR, Deutschland
