@@ -46,7 +46,24 @@ urlPrefix: https://tc39.github.io/ecma262/; spec: ECMASCRIPT
4646 url: sec-returnifabrupt-shorthands
4747 text: !
4848 text: ?
49- text: Type; url: sec-ecmascript-data-types-and-values
49+ url: sec-ecmascript-language-types-bigint-type
50+ text: is a BigInt
51+ text: is not a BigInt
52+ url: sec-ecmascript-language-types-boolean-type
53+ text: is a Boolean
54+ text: is not a Boolean
55+ url: sec-ecmascript-language-types-number-type
56+ text: is a Number
57+ text: is not a Number
58+ url: sec-ecmascript-language-types-string-type
59+ text: is a String
60+ text: is not a String
61+ url: sec-ecmascript-language-types-symbol-type
62+ text: is a Symbol
63+ text: is not a Symbol
64+ url: sec-object-type
65+ text: is an Object
66+ text: is not an Object
5067 text: current Realm; url: current-realm
5168 text: Built-in Function Objects; url: sec-built-in-function-objects
5269 text: NativeError Object Structure; url: sec-nativeerror-object-structure
@@ -347,7 +364,7 @@ A {{Module}} object represents a single WebAssembly module. Each {{Module}} obje
347364 1. Let |imports| be « ».
348365 1. [=list/iterate|For each=] (|moduleName|, |componentName|, |externtype|) of [=module_imports=] (|module|),
349366 1. Let |o| be [=?=] [$Get$] (|importObject|, |moduleName|).
350- 1. If [=Type=] ( |o|) is not Object, throw a {{TypeError}} exception.
367+ 1. If |o| [= is not an Object=] , throw a {{TypeError}} exception.
351368 1. Let |v| be [=?=] [$Get$] (|o|, |componentName|).
352369 1. If |externtype| is of the form [=func=] |functype|,
353370 1. If [$IsCallable$] (|v|) is false, throw a {{LinkError}} exception.
@@ -359,10 +376,10 @@ A {{Module}} object represents a single WebAssembly module. Each {{Module}} obje
359376 1. Let |externfunc| be the [=external value=] [=external value|func=] |funcaddr|.
360377 1. [=list/Append=] |externfunc| to |imports|.
361378 1. If |externtype| is of the form [=global=] <var ignore> mut</var> |valtype|,
362- 1. If [=Type=] ( |v|) is Number or BigInt,
363- 1. If |valtype| is [=i64=] and [=Type=] ( |v|) is Number,
379+ 1. If |v| [=is a Number=] or |v| [= is a BigInt=] ,
380+ 1. If |valtype| is [=i64=] and |v| [= is a Number=] ,
364381 1. Throw a {{LinkError}} exception.
365- 1. If |valtype| is not [=i64=] and [=Type=] ( |v|) is BigInt,
382+ 1. If |valtype| is not [=i64=] and |v| [= is a BigInt=] ,
366383 1. Throw a {{LinkError}} exception.
367384 1. If |valtype| is [=v128=] ,
368385 1. Throw a {{LinkError}} exception.
0 commit comments