functionalscript 0.3.4 → 0.3.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/com/cpp/module.f.d.ts +10 -0
- package/com/cpp/module.f.js +107 -0
- package/com/cpp/test.f.d.ts +2 -0
- package/com/cpp/{test.f.ts → test.f.js} +9 -11
- package/com/cpp/testlib.f.d.ts +2 -0
- package/com/cpp/testlib.f.js +5 -0
- package/com/cs/module.f.d.ts +12 -0
- package/com/cs/module.f.js +80 -0
- package/com/cs/test.f.d.ts +2 -0
- package/com/cs/{test.f.ts → test.f.js} +9 -11
- package/com/cs/testlib.f.d.ts +2 -0
- package/com/cs/testlib.f.js +5 -0
- package/com/rust/module.f.d.ts +15 -0
- package/com/rust/module.f.js +169 -0
- package/com/rust/test.f.d.ts +2 -0
- package/com/rust/{test.f.ts → test.f.js} +7 -7
- package/com/rust/testlib.f.d.ts +2 -0
- package/com/rust/testlib.f.js +5 -0
- package/com/test/build.f.d.ts +20 -0
- package/com/test/build.f.js +58 -0
- package/com/types/module.f.d.ts +28 -0
- package/com/types/module.f.js +8 -0
- package/com/types/testlib.f.d.ts +44 -0
- package/com/types/{testlib.f.ts → testlib.f.js} +2 -3
- package/commonjs/build/module.f.d.ts +6 -0
- package/commonjs/build/module.f.js +69 -0
- package/commonjs/build/test.f.d.ts +2 -0
- package/commonjs/build/test.f.js +96 -0
- package/commonjs/module/function/{module.f.ts → module.f.d.ts} +5 -10
- package/commonjs/module/function/module.f.js +4 -0
- package/commonjs/module/module.f.d.ts +18 -0
- package/commonjs/module/module.f.js +12 -0
- package/commonjs/module.f.d.ts +6 -0
- package/commonjs/module.f.js +1 -0
- package/commonjs/package/dependencies/module.f.d.ts +7 -0
- package/commonjs/package/dependencies/module.f.js +13 -0
- package/commonjs/package/dependencies/test.f.d.ts +2 -0
- package/commonjs/package/dependencies/test.f.js +15 -0
- package/commonjs/package/module.f.d.ts +17 -0
- package/commonjs/package/module.f.js +18 -0
- package/commonjs/package/test.f.d.ts +2 -0
- package/commonjs/package/test.f.js +27 -0
- package/commonjs/path/module.f.d.ts +24 -0
- package/commonjs/path/module.f.js +114 -0
- package/commonjs/path/test.f.d.ts +25 -0
- package/commonjs/path/{test.f.ts → test.f.js} +123 -89
- package/crypto/prime_field/module.f.d.ts +43 -0
- package/crypto/prime_field/module.f.js +78 -0
- package/crypto/prime_field/test.f.d.ts +13 -0
- package/crypto/prime_field/test.f.js +149 -0
- package/crypto/secp/module.f.d.ts +68 -0
- package/crypto/secp/module.f.js +127 -0
- package/crypto/secp/test.f.d.ts +5 -0
- package/crypto/secp/test.f.js +72 -0
- package/crypto/sha2/module.f.d.ts +13 -0
- package/crypto/sha2/module.f.js +145 -0
- package/crypto/sha2/test.f.d.ts +9 -0
- package/crypto/sha2/test.f.js +82 -0
- package/dev/module.f.d.ts +1 -0
- package/dev/module.f.js +1 -0
- package/dev/test/module.f.d.ts +20 -0
- package/dev/test/module.f.js +75 -0
- package/dev/test.f.d.ts +9 -0
- package/dev/{test.f.ts → test.f.js} +22 -24
- package/djs/module.f.d.ts +17 -0
- package/djs/module.f.js +63 -0
- package/djs/parser/module.f.d.ts +12 -0
- package/djs/parser/module.f.js +333 -0
- package/djs/parser/test.f.d.ts +12 -0
- package/djs/parser/test.f.js +717 -0
- package/djs/serializer/module.f.d.ts +9 -0
- package/djs/serializer/module.f.js +81 -0
- package/djs/test/input.f.d.ts +2 -0
- package/djs/test/input.f.js +4 -0
- package/djs/test/m.f.d.ts +2 -0
- package/djs/test/m.f.js +1 -0
- package/djs/test.f.d.ts +12 -0
- package/djs/test.f.js +84 -0
- package/djs/tokenizer/module.f.d.ts +8 -0
- package/djs/tokenizer/module.f.js +60 -0
- package/djs/tokenizer/test.f.d.ts +7 -0
- package/djs/tokenizer/test.f.js +529 -0
- package/fsc/module.f.d.ts +5 -0
- package/fsc/module.f.js +75 -0
- package/fsc/test.f.d.ts +4 -0
- package/fsc/test.f.js +19 -0
- package/fsm/module.f.d.ts +13 -0
- package/fsm/module.f.js +59 -0
- package/fsm/test.f.d.ts +5 -0
- package/fsm/test.f.js +137 -0
- package/html/module.f.d.ts +13 -0
- package/html/module.f.js +58 -0
- package/html/test.f.d.ts +9 -0
- package/html/test.f.js +42 -0
- package/issues/test.f.d.ts +16 -0
- package/issues/test.f.js +70 -0
- package/js/tokenizer/module.f.d.ts +86 -0
- package/js/tokenizer/module.f.js +503 -0
- package/js/tokenizer/test.f.d.ts +9 -0
- package/js/tokenizer/test.f.js +905 -0
- package/json/module.f.d.ts +20 -0
- package/json/module.f.js +68 -0
- package/json/parser/module.f.d.ts +5 -0
- package/json/parser/module.f.js +155 -0
- package/json/parser/test.f.d.ts +5 -0
- package/json/parser/test.f.js +328 -0
- package/json/serializer/module.f.d.ts +7 -0
- package/json/serializer/module.f.js +21 -0
- package/json/serializer/test.f.d.ts +8 -0
- package/json/serializer/test.f.js +87 -0
- package/json/test.f.d.ts +8 -0
- package/json/test.f.js +61 -0
- package/json/tokenizer/module.f.d.ts +8 -0
- package/json/tokenizer/module.f.js +52 -0
- package/json/tokenizer/test.f.d.ts +6 -0
- package/json/tokenizer/test.f.js +419 -0
- package/nanvm-lib/tests/test.f.d.ts +27 -0
- package/nanvm-lib/tests/test.f.js +84 -0
- package/nodejs/version/module.f.d.ts +11 -0
- package/nodejs/version/module.f.js +16 -0
- package/nodejs/version/test.f.d.ts +2 -0
- package/nodejs/version/{test.f.ts → test.f.js} +13 -22
- package/package.json +9 -5
- package/text/ascii/module.f.d.ts +129 -0
- package/text/ascii/module.f.js +148 -0
- package/text/ascii/test.f.d.ts +4 -0
- package/text/ascii/test.f.js +14 -0
- package/text/module.f.d.ts +8 -0
- package/text/module.f.js +10 -0
- package/text/sgr/module.f.d.ts +8 -0
- package/text/sgr/module.f.js +8 -0
- package/text/test.f.d.ts +2 -0
- package/text/test.f.js +18 -0
- package/text/utf16/module.f.d.ts +9 -0
- package/text/utf16/module.f.js +66 -0
- package/text/utf16/test.f.d.ts +6 -0
- package/text/utf16/test.f.js +144 -0
- package/text/utf8/module.f.d.ts +6 -0
- package/text/utf8/module.f.js +112 -0
- package/text/utf8/test.f.d.ts +6 -0
- package/text/utf8/test.f.js +175 -0
- package/types/array/module.f.d.ts +21 -0
- package/types/array/module.f.js +23 -0
- package/types/array/test.f.d.ts +10 -0
- package/types/array/test.f.js +116 -0
- package/types/bigfloat/module.f.d.ts +3 -0
- package/types/bigfloat/module.f.js +66 -0
- package/types/bigfloat/test.f.d.ts +6 -0
- package/types/bigfloat/test.f.js +349 -0
- package/types/bigint/module.f.d.ts +54 -0
- package/types/bigint/{module.f.ts → module.f.js} +42 -65
- package/types/bigint/test.f.d.ts +16 -0
- package/types/bigint/test.f.js +199 -0
- package/types/bit_vec/module.f.d.ts +134 -0
- package/types/bit_vec/{module.f.ts → module.f.js} +47 -65
- package/types/bit_vec/test.f.d.ts +22 -0
- package/types/bit_vec/test.f.js +210 -0
- package/types/btree/find/module.f.d.ts +20 -0
- package/types/btree/find/module.f.js +84 -0
- package/types/btree/find/test.f.d.ts +2 -0
- package/types/btree/find/test.f.js +152 -0
- package/types/btree/module.f.d.ts +4 -0
- package/types/btree/module.f.js +31 -0
- package/types/btree/remove/module.f.d.ts +4 -0
- package/types/btree/remove/module.f.js +174 -0
- package/types/btree/remove/test.f.d.ts +5 -0
- package/types/btree/remove/test.f.js +634 -0
- package/types/btree/set/module.f.d.ts +3 -0
- package/types/btree/set/module.f.js +103 -0
- package/types/btree/set/test.f.d.ts +2 -0
- package/types/btree/set/test.f.js +360 -0
- package/types/btree/test.f.d.ts +8 -0
- package/types/btree/test.f.js +75 -0
- package/types/btree/types/module.f.d.ts +11 -0
- package/types/btree/types/module.f.js +1 -0
- package/types/byte_set/module.f.d.ts +16 -0
- package/types/byte_set/module.f.js +28 -0
- package/types/byte_set/test.f.d.ts +12 -0
- package/types/byte_set/test.f.js +122 -0
- package/types/function/compare/module.f.d.ts +10 -0
- package/types/function/compare/module.f.js +7 -0
- package/types/function/compare/test.f.d.ts +2 -0
- package/types/function/compare/test.f.js +8 -0
- package/types/function/module.f.d.ts +28 -0
- package/types/function/module.f.js +19 -0
- package/types/function/operator/module.f.d.ts +20 -0
- package/types/function/operator/module.f.js +18 -0
- package/types/function/test.f.d.ts +2 -0
- package/types/function/test.f.js +12 -0
- package/types/list/module.f.d.ts +50 -0
- package/types/list/module.f.js +171 -0
- package/types/list/test.f.d.ts +22 -0
- package/types/list/test.f.js +395 -0
- package/types/map/module.f.d.ts +14 -0
- package/types/map/module.f.js +31 -0
- package/types/map/test.f.d.ts +5 -0
- package/types/map/test.f.js +114 -0
- package/types/nibble_set/module.f.d.ts +10 -0
- package/types/nibble_set/module.f.js +9 -0
- package/types/nibble_set/test.f.d.ts +12 -0
- package/types/nibble_set/test.f.js +90 -0
- package/types/nullable/module.f.d.ts +3 -0
- package/types/nullable/module.f.js +2 -0
- package/types/nullable/test.f.d.ts +2 -0
- package/types/nullable/test.f.js +12 -0
- package/types/number/module.f.d.ts +6 -0
- package/types/number/module.f.js +8 -0
- package/types/number/test.f.d.ts +11 -0
- package/types/number/test.f.js +124 -0
- package/types/object/module.f.d.ts +10 -0
- package/types/object/module.f.js +12 -0
- package/types/object/test.f.d.ts +5 -0
- package/types/object/test.f.js +17 -0
- package/types/range/module.f.d.ts +3 -0
- package/types/range/module.f.js +2 -0
- package/types/range/test.f.d.ts +2 -0
- package/types/range/test.f.js +18 -0
- package/types/range_map/module.f.d.ts +14 -0
- package/types/range_map/module.f.js +51 -0
- package/types/range_map/test.f.d.ts +6 -0
- package/types/range_map/test.f.js +176 -0
- package/types/result/module.f.d.ts +7 -0
- package/types/result/module.f.js +8 -0
- package/types/sorted_list/module.f.d.ts +16 -0
- package/types/sorted_list/module.f.js +56 -0
- package/types/sorted_list/test.f.d.ts +5 -0
- package/types/sorted_list/test.f.js +64 -0
- package/types/sorted_set/module.f.d.ts +7 -0
- package/types/sorted_set/module.f.js +14 -0
- package/types/sorted_set/test.f.d.ts +6 -0
- package/types/sorted_set/test.f.js +78 -0
- package/types/string/module.f.d.ts +6 -0
- package/types/string/module.f.js +11 -0
- package/types/string/test.f.d.ts +15 -0
- package/types/string/test.f.js +58 -0
- package/types/string_set/module.f.d.ts +9 -0
- package/types/string_set/module.f.js +22 -0
- package/types/string_set/test.f.d.ts +5 -0
- package/types/string_set/test.f.js +65 -0
- package/.github/FUNDING.yml +0 -12
- package/.github/dependabot.yml +0 -11
- package/.github/workflows/ci.yml +0 -88
- package/.github/workflows/npm-publish.yml +0 -53
- package/CHANGELOG.md +0 -29
- package/Cargo.lock +0 -18
- package/Cargo.toml +0 -7
- package/com/README.md +0 -3
- package/com/cpp/README.md +0 -80
- package/com/cpp/module.f.ts +0 -180
- package/com/cpp/nanocom.hpp +0 -195
- package/com/cpp/testlib.f.ts +0 -8
- package/com/cs/module.f.ts +0 -145
- package/com/cs/testlib.f.ts +0 -8
- package/com/proposals.md +0 -28
- package/com/rust/module.f.ts +0 -287
- package/com/rust/nanocom/Cargo.lock +0 -7
- package/com/rust/nanocom/Cargo.toml +0 -15
- package/com/rust/nanocom/README.md +0 -56
- package/com/rust/nanocom/src/class.rs +0 -6
- package/com/rust/nanocom/src/cobject.rs +0 -90
- package/com/rust/nanocom/src/guid.rs +0 -15
- package/com/rust/nanocom/src/hresult.rs +0 -7
- package/com/rust/nanocom/src/interface.rs +0 -9
- package/com/rust/nanocom/src/iunknown.rs +0 -13
- package/com/rust/nanocom/src/lib.rs +0 -20
- package/com/rust/nanocom/src/object.rs +0 -34
- package/com/rust/nanocom/src/ref.rs +0 -57
- package/com/rust/nanocom/src/vmt.rs +0 -7
- package/com/rust/nanocom/tests/it.rs +0 -186
- package/com/rust/nanocom/tests/itmod.rs +0 -195
- package/com/rust/testlib.f.ts +0 -8
- package/com/test/build.f.ts +0 -111
- package/com/test/build.ts +0 -45
- package/com/test/cpp/main.cpp +0 -74
- package/com/test/cs/Program.cs +0 -31
- package/com/test/cs/cs.csproj +0 -16
- package/com/test/rust/Cargo.toml +0 -12
- package/com/test/rust/src/lib.rs +0 -56
- package/com/types/module.f.ts +0 -62
- package/commonjs/README.md +0 -94
- package/commonjs/build/module.f.ts +0 -100
- package/commonjs/build/test.f.ts +0 -107
- package/commonjs/module/module.f.ts +0 -41
- package/commonjs/module.f.ts +0 -7
- package/commonjs/module.ts +0 -31
- package/commonjs/package/dependencies/module.f.ts +0 -22
- package/commonjs/package/dependencies/test.f.ts +0 -8
- package/commonjs/package/module.f.ts +0 -31
- package/commonjs/package/test.f.ts +0 -12
- package/commonjs/path/README.md +0 -17
- package/commonjs/path/module.f.ts +0 -171
- package/commonjs/test.ts +0 -64
- package/crypto/README.md +0 -3
- package/crypto/prime_field/module.f.ts +0 -114
- package/crypto/prime_field/test.f.ts +0 -95
- package/crypto/secp/module.f.ts +0 -182
- package/crypto/secp/test.f.ts +0 -68
- package/crypto/sha2/module.f.ts +0 -215
- package/crypto/sha2/test.f.ts +0 -83
- package/deno.json +0 -71
- package/dev/README.md +0 -8
- package/dev/index.ts +0 -3
- package/dev/module.f.ts +0 -1
- package/dev/module.ts +0 -195
- package/dev/test/module.f.ts +0 -135
- package/dev/test.ts +0 -53
- package/djs/README.md +0 -54
- package/djs/module.f.ts +0 -76
- package/djs/parser/module.f.ts +0 -509
- package/djs/parser/test.f.ts +0 -461
- package/djs/serializer/module.f.ts +0 -90
- package/djs/test.f.ts +0 -67
- package/djs/tokenizer/module.f.ts +0 -99
- package/djs/tokenizer/test.f.ts +0 -364
- package/doc/LANGUAGE.md +0 -255
- package/doc/README.md +0 -61
- package/doc/byte-code.md +0 -59
- package/doc/fa.md +0 -174
- package/doc/predefined.md +0 -143
- package/doc/proposals.md +0 -21
- package/doc/vm/README.md +0 -24
- package/doc/vm-rearchitecture.md +0 -129
- package/doc/vm.md +0 -150
- package/fsc/README.md +0 -111
- package/fsc/module.f.ts +0 -122
- package/fsc/test.f.ts +0 -21
- package/fsm/README.md +0 -113
- package/fsm/module.f.ts +0 -107
- package/fsm/test.f.ts +0 -139
- package/funding.json +0 -61
- package/html/README.md +0 -32
- package/html/module.f.ts +0 -109
- package/html/test.f.ts +0 -37
- package/issues/01-test-debug.md +0 -3
- package/issues/02-esm.md +0 -8
- package/issues/03-djs.md +0 -57
- package/issues/05-publish.md +0 -40
- package/issues/11-fs-load.md +0 -13
- package/issues/17-djs-extension.md +0 -6
- package/issues/README.md +0 -42
- package/issues/lang/1000-json.md +0 -50
- package/issues/lang/2110-default-export.md +0 -11
- package/issues/lang/2120-const.md +0 -14
- package/issues/lang/2130-default-import.md +0 -10
- package/issues/lang/2210-block-comment.md +0 -12
- package/issues/lang/2220-namespace-import.md +0 -25
- package/issues/lang/2310-undefined.md +0 -7
- package/issues/lang/2320-bigint.md +0 -7
- package/issues/lang/2330-property-accessor.md +0 -225
- package/issues/lang/2340-operators.md +0 -41
- package/issues/lang/2350-grouping.md +0 -11
- package/issues/lang/2360-built-in.md +0 -81
- package/issues/lang/2410-identifier-property.md +0 -9
- package/issues/lang/2420-line-comment.md +0 -10
- package/issues/lang/2430-trailing-comma.md +0 -13
- package/issues/lang/2440-shorthand.md +0 -8
- package/issues/lang/2450-destructuring.md +0 -12
- package/issues/lang/3110-function.md +0 -35
- package/issues/lang/3120-parameters.md +0 -9
- package/issues/lang/3130-body-const.md +0 -12
- package/issues/lang/3220-let.md +0 -11
- package/issues/lang/3240-export.md +0 -44
- package/issues/lang/3370-type-inference.md +0 -69
- package/issues/lang/3380-promise.md +0 -22
- package/issues/lang/3390-class.md +0 -3
- package/issues/lang/3410-expression.md +0 -12
- package/issues/lang/3420-one-parameter.md +0 -10
- package/issues/lang/3430-assignments.md +0 -23
- package/issues/lang/README.md +0 -193
- package/issues/test.f.ts +0 -58
- package/js/tokenizer/module.f.ts +0 -882
- package/js/tokenizer/test.f.ts +0 -617
- package/json/html/README.md +0 -49
- package/json/module.f.ts +0 -94
- package/json/parser/module.f.ts +0 -221
- package/json/parser/test.f.ts +0 -255
- package/json/serializer/module.f.ts +0 -74
- package/json/serializer/test.f.ts +0 -64
- package/json/test.f.ts +0 -48
- package/json/tokenizer/module.f.ts +0 -85
- package/json/tokenizer/test.f.ts +0 -290
- package/nanvm-lib/Cargo.toml +0 -6
- package/nanvm-lib/src/extension.rs +0 -130
- package/nanvm-lib/src/interface.rs +0 -133
- package/nanvm-lib/src/lib.rs +0 -7
- package/nanvm-lib/src/naive.rs +0 -236
- package/nanvm-lib/src/nanenum.rs +0 -236
- package/nanvm-lib/src/nullish.rs +0 -7
- package/nanvm-lib/src/sign.rs +0 -5
- package/nanvm-lib/src/simple.rs +0 -32
- package/nanvm-lib/tests/test.f.ts +0 -80
- package/nanvm-lib/tests/test.rs +0 -108
- package/nodejs/version/main.ts +0 -4
- package/nodejs/version/module.f.ts +0 -42
- package/text/README.md +0 -110
- package/text/ascii/module.f.ts +0 -219
- package/text/ascii/test.f.ts +0 -14
- package/text/module.f.ts +0 -30
- package/text/sgr/README.md +0 -3
- package/text/sgr/module.f.ts +0 -11
- package/text/test.f.ts +0 -19
- package/text/utf16/module.f.ts +0 -120
- package/text/utf16/test.f.ts +0 -107
- package/text/utf8/module.f.ts +0 -116
- package/text/utf8/test.f.ts +0 -125
- package/tsconfig.json +0 -104
- package/types/array/module.f.ts +0 -89
- package/types/array/test.f.ts +0 -88
- package/types/bigfloat/module.f.ts +0 -93
- package/types/bigfloat/test.f.ts +0 -218
- package/types/bigint/README.md +0 -35
- package/types/bigint/test.f.ts +0 -144
- package/types/bit_vec/README.md +0 -18
- package/types/bit_vec/test.f.ts +0 -129
- package/types/btree/README.md +0 -160
- package/types/btree/find/module.f.ts +0 -92
- package/types/btree/find/test.f.ts +0 -122
- package/types/btree/module.f.ts +0 -35
- package/types/btree/remove/module.f.ts +0 -151
- package/types/btree/remove/test.f.ts +0 -498
- package/types/btree/set/module.f.ts +0 -89
- package/types/btree/set/test.f.ts +0 -415
- package/types/btree/test.f.ts +0 -92
- package/types/btree/types/module.f.ts +0 -27
- package/types/byte_set/module.f.ts +0 -73
- package/types/byte_set/test.f.ts +0 -84
- package/types/function/compare/module.f.ts +0 -26
- package/types/function/compare/test.f.ts +0 -7
- package/types/function/module.f.ts +0 -43
- package/types/function/operator/module.f.ts +0 -65
- package/types/function/test.f.ts +0 -20
- package/types/list/module.f.ts +0 -350
- package/types/list/test.f.ts +0 -327
- package/types/map/module.f.ts +0 -65
- package/types/map/test.f.ts +0 -76
- package/types/nibble_set/module.f.ts +0 -34
- package/types/nibble_set/test.f.ts +0 -57
- package/types/nullable/module.f.ts +0 -9
- package/types/nullable/test.f.ts +0 -9
- package/types/number/module.f.ts +0 -20
- package/types/number/test.f.ts +0 -194
- package/types/object/module.f.ts +0 -30
- package/types/object/test.f.ts +0 -14
- package/types/range/module.f.ts +0 -10
- package/types/range/test.f.ts +0 -9
- package/types/range_map/module.f.ts +0 -70
- package/types/range_map/test.f.ts +0 -189
- package/types/result/module.f.ts +0 -20
- package/types/result/module.ts +0 -18
- package/types/sorted_list/module.f.ts +0 -83
- package/types/sorted_list/test.f.ts +0 -57
- package/types/sorted_set/module.f.ts +0 -36
- package/types/sorted_set/test.f.ts +0 -67
- package/types/string/module.f.ts +0 -26
- package/types/string/test.f.ts +0 -43
- package/types/string_set/module.f.ts +0 -37
- package/types/string_set/test.f.ts +0 -34
|
@@ -1,133 +0,0 @@
|
|
|
1
|
-
use core::fmt;
|
|
2
|
-
|
|
3
|
-
use crate::{nullish::Nullish, sign::Sign, simple::Simple};
|
|
4
|
-
|
|
5
|
-
pub trait Container: Clone {
|
|
6
|
-
type Header;
|
|
7
|
-
type Item;
|
|
8
|
-
fn header(&self) -> &Self::Header;
|
|
9
|
-
/// For now, we use a slice.
|
|
10
|
-
/// We may change it in the future to support more sophisticated containers.
|
|
11
|
-
fn items(&self) -> &[Self::Item];
|
|
12
|
-
fn new(header: Self::Header, items: impl IntoIterator<Item = Self::Item>) -> Self;
|
|
13
|
-
}
|
|
14
|
-
|
|
15
|
-
pub trait Complex<U: Any>: PartialEq + Sized + Container {
|
|
16
|
-
fn to_unknown(self) -> U;
|
|
17
|
-
fn try_from_unknown(u: U) -> Result<Self, U>;
|
|
18
|
-
}
|
|
19
|
-
|
|
20
|
-
pub trait String16<U: Any<String16 = Self>>:
|
|
21
|
-
Complex<U> + Container<Header = (), Item = u16>
|
|
22
|
-
{
|
|
23
|
-
}
|
|
24
|
-
|
|
25
|
-
pub trait BigInt<U: Any<BigInt = Self>>: Complex<U> + Container<Header = Sign, Item = u64> {}
|
|
26
|
-
|
|
27
|
-
pub trait Array<U: Any<Array = Self>>: Complex<U> + Container<Header = (), Item = U> {}
|
|
28
|
-
|
|
29
|
-
pub trait Object<U: Any<Object = Self>>:
|
|
30
|
-
Complex<U> + Container<Header = (), Item = (U::String16, U)>
|
|
31
|
-
{
|
|
32
|
-
}
|
|
33
|
-
|
|
34
|
-
pub trait Function<U: Any<Function = Self>>:
|
|
35
|
-
Complex<U> + Container<Header = u32, Item = u8>
|
|
36
|
-
{
|
|
37
|
-
}
|
|
38
|
-
|
|
39
|
-
pub trait Any: PartialEq + Sized + Clone + fmt::Debug {
|
|
40
|
-
type String16: String16<Self>;
|
|
41
|
-
type BigInt: BigInt<Self>;
|
|
42
|
-
type Array: Array<Self>;
|
|
43
|
-
type Object: Object<Self>;
|
|
44
|
-
type Function: Function<Self>;
|
|
45
|
-
|
|
46
|
-
fn pack(u: Unpacked<Self>) -> Self;
|
|
47
|
-
fn unpack(self) -> Unpacked<Self>;
|
|
48
|
-
|
|
49
|
-
fn new_simple(value: Simple) -> Self;
|
|
50
|
-
fn try_to_simple(&self) -> Option<Simple>;
|
|
51
|
-
|
|
52
|
-
fn try_to<C: Complex<Self>>(self) -> Result<C, Self> {
|
|
53
|
-
C::try_from_unknown(self)
|
|
54
|
-
}
|
|
55
|
-
|
|
56
|
-
fn to_string(self) -> Self::String16 {
|
|
57
|
-
if let Some(simple) = self.try_to_simple() {
|
|
58
|
-
return simple.to_string::<Self>();
|
|
59
|
-
}
|
|
60
|
-
if let Ok(v) = self.clone().try_to::<Self::String16>() {
|
|
61
|
-
return v;
|
|
62
|
-
}
|
|
63
|
-
if self.clone().try_to::<Self::Array>().is_ok() {
|
|
64
|
-
return "".to_string16::<Self>();
|
|
65
|
-
}
|
|
66
|
-
if self.clone().try_to::<Self::Object>().is_ok() {
|
|
67
|
-
return "[object Object]".to_string16::<Self>();
|
|
68
|
-
}
|
|
69
|
-
// bigint and function
|
|
70
|
-
todo!()
|
|
71
|
-
}
|
|
72
|
-
}
|
|
73
|
-
|
|
74
|
-
#[derive(PartialEq, Debug, Clone)]
|
|
75
|
-
pub enum Unpacked<U: Any> {
|
|
76
|
-
Nullish(Nullish),
|
|
77
|
-
Bool(bool),
|
|
78
|
-
Number(f64),
|
|
79
|
-
String16(U::String16),
|
|
80
|
-
BigInt(U::BigInt),
|
|
81
|
-
Array(U::Array),
|
|
82
|
-
Object(U::Object),
|
|
83
|
-
Function(U::Function),
|
|
84
|
-
}
|
|
85
|
-
|
|
86
|
-
pub trait Extension: Sized {
|
|
87
|
-
fn to_complex<C: Complex<impl Any> + Container<Header = ()>>(self) -> C
|
|
88
|
-
where
|
|
89
|
-
Self: IntoIterator<Item = C::Item>,
|
|
90
|
-
{
|
|
91
|
-
C::new((), self)
|
|
92
|
-
}
|
|
93
|
-
|
|
94
|
-
fn to_string16_unknown<U: Any>(self) -> U
|
|
95
|
-
where
|
|
96
|
-
Self: IntoIterator<Item = u16>,
|
|
97
|
-
{
|
|
98
|
-
self.to_complex::<U::String16>().to_unknown()
|
|
99
|
-
}
|
|
100
|
-
|
|
101
|
-
fn to_array_unknown(self) -> Self::Item
|
|
102
|
-
where
|
|
103
|
-
Self: IntoIterator<Item: Any>,
|
|
104
|
-
{
|
|
105
|
-
self.to_complex::<<Self::Item as Any>::Array>().to_unknown()
|
|
106
|
-
}
|
|
107
|
-
|
|
108
|
-
fn to_object_unknown<U: Any>(self) -> U
|
|
109
|
-
where
|
|
110
|
-
Self: IntoIterator<Item = (U::String16, U)>,
|
|
111
|
-
{
|
|
112
|
-
self.to_complex::<U::Object>().to_unknown()
|
|
113
|
-
}
|
|
114
|
-
}
|
|
115
|
-
|
|
116
|
-
impl<T> Extension for T {}
|
|
117
|
-
|
|
118
|
-
// Utf8
|
|
119
|
-
|
|
120
|
-
pub trait Utf8 {
|
|
121
|
-
fn to_string16<U: Any>(&self) -> U::String16;
|
|
122
|
-
fn to_unknown<U: Any>(&self) -> U;
|
|
123
|
-
}
|
|
124
|
-
|
|
125
|
-
impl Utf8 for str {
|
|
126
|
-
fn to_string16<U: Any>(&self) -> U::String16 {
|
|
127
|
-
self.encode_utf16().to_complex()
|
|
128
|
-
}
|
|
129
|
-
|
|
130
|
-
fn to_unknown<U: Any>(&self) -> U {
|
|
131
|
-
self.to_string16::<U>().to_unknown()
|
|
132
|
-
}
|
|
133
|
-
}
|
package/nanvm-lib/src/lib.rs
DELETED
package/nanvm-lib/src/naive.rs
DELETED
|
@@ -1,236 +0,0 @@
|
|
|
1
|
-
use core::{fmt, marker::PhantomData};
|
|
2
|
-
use std::rc;
|
|
3
|
-
|
|
4
|
-
use crate::{
|
|
5
|
-
interface::{self},
|
|
6
|
-
sign::Sign,
|
|
7
|
-
simple::Simple,
|
|
8
|
-
};
|
|
9
|
-
|
|
10
|
-
pub trait Policy {
|
|
11
|
-
type Header: PartialEq + fmt::Debug + Clone;
|
|
12
|
-
type Item: fmt::Debug;
|
|
13
|
-
fn items_eq(a: &[Self::Item], b: &[Self::Item]) -> bool;
|
|
14
|
-
}
|
|
15
|
-
|
|
16
|
-
#[derive(Clone)]
|
|
17
|
-
pub struct ValuePolicy<H, T>(PhantomData<(H, T)>);
|
|
18
|
-
|
|
19
|
-
impl<H: PartialEq + fmt::Debug + Clone, T: PartialEq + fmt::Debug> Policy for ValuePolicy<H, T> {
|
|
20
|
-
type Header = H;
|
|
21
|
-
type Item = T;
|
|
22
|
-
fn items_eq(a: &[Self::Item], b: &[Self::Item]) -> bool {
|
|
23
|
-
a == b
|
|
24
|
-
}
|
|
25
|
-
}
|
|
26
|
-
|
|
27
|
-
#[derive(Clone)]
|
|
28
|
-
pub struct RefPolicy<H, T>(PhantomData<(H, T)>);
|
|
29
|
-
|
|
30
|
-
impl<H: PartialEq + fmt::Debug + Clone, T: fmt::Debug> Policy for RefPolicy<H, T> {
|
|
31
|
-
type Header = H;
|
|
32
|
-
type Item = T;
|
|
33
|
-
fn items_eq(a: &[Self::Item], b: &[Self::Item]) -> bool {
|
|
34
|
-
a.as_ptr() == b.as_ptr()
|
|
35
|
-
}
|
|
36
|
-
}
|
|
37
|
-
|
|
38
|
-
pub struct Complex<P: Policy> {
|
|
39
|
-
header: P::Header,
|
|
40
|
-
items: rc::Rc<[P::Item]>,
|
|
41
|
-
}
|
|
42
|
-
|
|
43
|
-
impl<P: Policy> Clone for Complex<P> {
|
|
44
|
-
fn clone(&self) -> Self {
|
|
45
|
-
Self {
|
|
46
|
-
header: self.header.clone(),
|
|
47
|
-
items: self.items.clone(),
|
|
48
|
-
}
|
|
49
|
-
}
|
|
50
|
-
}
|
|
51
|
-
|
|
52
|
-
impl<P: Policy> fmt::Debug for Complex<P> {
|
|
53
|
-
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
|
54
|
-
f.debug_struct("Complex")
|
|
55
|
-
.field("header", &self.header)
|
|
56
|
-
.field("items", &self.items)
|
|
57
|
-
.finish()
|
|
58
|
-
}
|
|
59
|
-
}
|
|
60
|
-
|
|
61
|
-
impl<P: Policy> PartialEq for Complex<P> {
|
|
62
|
-
fn eq(&self, other: &Self) -> bool {
|
|
63
|
-
self.header == other.header && P::items_eq(&self.items, &other.items)
|
|
64
|
-
}
|
|
65
|
-
}
|
|
66
|
-
|
|
67
|
-
impl<P: Policy> interface::Container for Complex<P> {
|
|
68
|
-
type Header = P::Header;
|
|
69
|
-
type Item = P::Item;
|
|
70
|
-
fn items(&self) -> &[Self::Item] {
|
|
71
|
-
&self.items
|
|
72
|
-
}
|
|
73
|
-
fn header(&self) -> &Self::Header {
|
|
74
|
-
&self.header
|
|
75
|
-
}
|
|
76
|
-
fn new(header: Self::Header, items: impl IntoIterator<Item = Self::Item>) -> Self {
|
|
77
|
-
Self {
|
|
78
|
-
header,
|
|
79
|
-
items: rc::Rc::from_iter(items),
|
|
80
|
-
}
|
|
81
|
-
}
|
|
82
|
-
}
|
|
83
|
-
|
|
84
|
-
// String
|
|
85
|
-
|
|
86
|
-
pub type String16 = Complex<ValuePolicy<(), u16>>;
|
|
87
|
-
|
|
88
|
-
impl interface::Complex<Any> for String16 {
|
|
89
|
-
fn to_unknown(self) -> Any {
|
|
90
|
-
Any::String16(self)
|
|
91
|
-
}
|
|
92
|
-
fn try_from_unknown(u: Any) -> Result<Self, Any> {
|
|
93
|
-
if let Any::String16(v) = u {
|
|
94
|
-
Ok(v)
|
|
95
|
-
} else {
|
|
96
|
-
Err(u)
|
|
97
|
-
}
|
|
98
|
-
}
|
|
99
|
-
}
|
|
100
|
-
|
|
101
|
-
impl interface::String16<Any> for String16 {}
|
|
102
|
-
|
|
103
|
-
// BigInt
|
|
104
|
-
|
|
105
|
-
pub type BigInt = Complex<ValuePolicy<Sign, u64>>;
|
|
106
|
-
|
|
107
|
-
impl interface::Complex<Any> for BigInt {
|
|
108
|
-
fn to_unknown(self) -> Any {
|
|
109
|
-
Any::BigInt(self)
|
|
110
|
-
}
|
|
111
|
-
fn try_from_unknown(u: Any) -> Result<Self, Any> {
|
|
112
|
-
if let Any::BigInt(v) = u {
|
|
113
|
-
Ok(v)
|
|
114
|
-
} else {
|
|
115
|
-
Err(u)
|
|
116
|
-
}
|
|
117
|
-
}
|
|
118
|
-
}
|
|
119
|
-
|
|
120
|
-
impl interface::BigInt<Any> for BigInt {}
|
|
121
|
-
|
|
122
|
-
// Array
|
|
123
|
-
|
|
124
|
-
pub type Array = Complex<RefPolicy<(), Any>>;
|
|
125
|
-
|
|
126
|
-
impl interface::Complex<Any> for Array {
|
|
127
|
-
fn to_unknown(self) -> Any {
|
|
128
|
-
Any::Array(self)
|
|
129
|
-
}
|
|
130
|
-
fn try_from_unknown(u: Any) -> Result<Self, Any> {
|
|
131
|
-
if let Any::Array(v) = u {
|
|
132
|
-
Ok(v)
|
|
133
|
-
} else {
|
|
134
|
-
Err(u)
|
|
135
|
-
}
|
|
136
|
-
}
|
|
137
|
-
}
|
|
138
|
-
|
|
139
|
-
impl interface::Array<Any> for Array {}
|
|
140
|
-
|
|
141
|
-
// Object
|
|
142
|
-
|
|
143
|
-
pub type Object = Complex<RefPolicy<(), (String16, Any)>>;
|
|
144
|
-
|
|
145
|
-
impl interface::Complex<Any> for Object {
|
|
146
|
-
fn to_unknown(self) -> Any {
|
|
147
|
-
Any::Object(self)
|
|
148
|
-
}
|
|
149
|
-
fn try_from_unknown(u: Any) -> Result<Self, Any> {
|
|
150
|
-
if let Any::Object(v) = u {
|
|
151
|
-
Ok(v)
|
|
152
|
-
} else {
|
|
153
|
-
Err(u)
|
|
154
|
-
}
|
|
155
|
-
}
|
|
156
|
-
}
|
|
157
|
-
|
|
158
|
-
impl interface::Object<Any> for Object {}
|
|
159
|
-
|
|
160
|
-
// Function
|
|
161
|
-
|
|
162
|
-
pub type Function = Complex<RefPolicy<u32, u8>>;
|
|
163
|
-
|
|
164
|
-
impl interface::Complex<Any> for Function {
|
|
165
|
-
fn to_unknown(self) -> Any {
|
|
166
|
-
Any::Function(self)
|
|
167
|
-
}
|
|
168
|
-
|
|
169
|
-
fn try_from_unknown(u: Any) -> Result<Self, Any> {
|
|
170
|
-
if let Any::Function(v) = u {
|
|
171
|
-
Ok(v)
|
|
172
|
-
} else {
|
|
173
|
-
Err(u)
|
|
174
|
-
}
|
|
175
|
-
}
|
|
176
|
-
}
|
|
177
|
-
|
|
178
|
-
impl interface::Function<Any> for Function {}
|
|
179
|
-
|
|
180
|
-
// Unknown
|
|
181
|
-
|
|
182
|
-
#[derive(PartialEq, Debug, Clone)]
|
|
183
|
-
pub enum Any {
|
|
184
|
-
Simple(Simple),
|
|
185
|
-
String16(String16),
|
|
186
|
-
BigInt(BigInt),
|
|
187
|
-
Array(Array),
|
|
188
|
-
Object(Object),
|
|
189
|
-
Function(Function),
|
|
190
|
-
}
|
|
191
|
-
|
|
192
|
-
impl interface::Any for Any {
|
|
193
|
-
type String16 = String16;
|
|
194
|
-
type BigInt = BigInt;
|
|
195
|
-
type Array = Array;
|
|
196
|
-
type Object = Object;
|
|
197
|
-
type Function = Function;
|
|
198
|
-
|
|
199
|
-
fn new_simple(value: Simple) -> Self {
|
|
200
|
-
Self::Simple(value)
|
|
201
|
-
}
|
|
202
|
-
|
|
203
|
-
fn try_to_simple(&self) -> Option<Simple> {
|
|
204
|
-
if let Self::Simple(v) = self {
|
|
205
|
-
Some(v.clone())
|
|
206
|
-
} else {
|
|
207
|
-
None
|
|
208
|
-
}
|
|
209
|
-
}
|
|
210
|
-
|
|
211
|
-
fn pack(u: interface::Unpacked<Self>) -> Self {
|
|
212
|
-
match u {
|
|
213
|
-
interface::Unpacked::Nullish(n) => Self::Simple(Simple::Nullish(n)),
|
|
214
|
-
interface::Unpacked::Bool(n) => Self::Simple(Simple::Boolean(n)),
|
|
215
|
-
interface::Unpacked::Number(n) => Self::Simple(Simple::Number(n)),
|
|
216
|
-
interface::Unpacked::String16(n) => Self::String16(n),
|
|
217
|
-
interface::Unpacked::BigInt(n) => Self::BigInt(n),
|
|
218
|
-
interface::Unpacked::Array(n) => Self::Array(n),
|
|
219
|
-
interface::Unpacked::Object(n) => Self::Object(n),
|
|
220
|
-
interface::Unpacked::Function(n) => Self::Function(n),
|
|
221
|
-
}
|
|
222
|
-
}
|
|
223
|
-
|
|
224
|
-
fn unpack(self) -> interface::Unpacked<Self> {
|
|
225
|
-
match self {
|
|
226
|
-
Any::Simple(Simple::Nullish(n)) => interface::Unpacked::Nullish(n),
|
|
227
|
-
Any::Simple(Simple::Boolean(n)) => interface::Unpacked::Bool(n),
|
|
228
|
-
Any::Simple(Simple::Number(n)) => interface::Unpacked::Number(n),
|
|
229
|
-
Any::String16(complex) => interface::Unpacked::String16(complex),
|
|
230
|
-
Any::BigInt(complex) => interface::Unpacked::BigInt(complex),
|
|
231
|
-
Any::Array(complex) => interface::Unpacked::Array(complex),
|
|
232
|
-
Any::Object(complex) => interface::Unpacked::Object(complex),
|
|
233
|
-
Any::Function(complex) => interface::Unpacked::Function(complex),
|
|
234
|
-
}
|
|
235
|
-
}
|
|
236
|
-
}
|
package/nanvm-lib/src/nanenum.rs
DELETED
|
@@ -1,236 +0,0 @@
|
|
|
1
|
-
use core::{marker::PhantomData, mem::forget};
|
|
2
|
-
use std::rc::Rc;
|
|
3
|
-
|
|
4
|
-
trait Raw64: Clone {
|
|
5
|
-
/// Number of bits in the packed structure.
|
|
6
|
-
const BIT_SIZE: u64;
|
|
7
|
-
/// Moving ownership from `v` to `Self`.`
|
|
8
|
-
unsafe fn from_raw64(v: u64) -> Self;
|
|
9
|
-
/// Moving ownership from `self` to `u64`.
|
|
10
|
-
unsafe fn into_raw64(self) -> u64;
|
|
11
|
-
}
|
|
12
|
-
|
|
13
|
-
impl<T> Raw64 for Rc<T> {
|
|
14
|
-
const BIT_SIZE: u64 = 48;
|
|
15
|
-
unsafe fn from_raw64(v: u64) -> Self {
|
|
16
|
-
Rc::from_raw(v as _)
|
|
17
|
-
}
|
|
18
|
-
unsafe fn into_raw64(self) -> u64 {
|
|
19
|
-
Rc::into_raw(self) as *const _ as _
|
|
20
|
-
}
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
#[derive(Clone)]
|
|
24
|
-
enum NaNEnum<T: Raw64> {
|
|
25
|
-
Number(f64),
|
|
26
|
-
Else(T),
|
|
27
|
-
}
|
|
28
|
-
|
|
29
|
-
const NEGATIVE: u64 = 1 << 63;
|
|
30
|
-
|
|
31
|
-
const NOT_FINITE: u64 = 0b0111_1111_1111_0000 << 48;
|
|
32
|
-
|
|
33
|
-
const INFINITY: u64 = NOT_FINITE;
|
|
34
|
-
|
|
35
|
-
const NEG_INFINITY: u64 = INFINITY | NEGATIVE;
|
|
36
|
-
|
|
37
|
-
const NAN: u64 = NOT_FINITE | (1 << 51);
|
|
38
|
-
|
|
39
|
-
const ELSE: u64 = NAN | NEGATIVE;
|
|
40
|
-
|
|
41
|
-
const ELSE_DATA: u64 = (1 << 51) - 1;
|
|
42
|
-
|
|
43
|
-
// INFINITY: 7FF0...
|
|
44
|
-
// -INFINITY: FFF0...
|
|
45
|
-
// NAN : 7FF8...
|
|
46
|
-
// ELSE : FFF8...
|
|
47
|
-
// NUMBER : ...
|
|
48
|
-
|
|
49
|
-
/// Represents packed implementation of `NaNEnum`.
|
|
50
|
-
///
|
|
51
|
-
/// Note: currently, only `2^51` values are allowed for `Else`.
|
|
52
|
-
/// However, there are `2^53 - 3` are available,
|
|
53
|
-
/// so it's possible to use more than 51 bits in the future.
|
|
54
|
-
struct NaNEnumPack<T: Raw64>(u64, PhantomData<T>);
|
|
55
|
-
|
|
56
|
-
impl<T: Raw64> NaNEnumPack<T> {
|
|
57
|
-
fn check(&self, mask: u64) -> bool {
|
|
58
|
-
self.0 & mask == mask
|
|
59
|
-
}
|
|
60
|
-
/// Creates a temporary object that should be `forget` after using.
|
|
61
|
-
unsafe fn tmp_unpack(&self) -> NaNEnum<T> {
|
|
62
|
-
if self.check(ELSE) {
|
|
63
|
-
NaNEnum::Else(T::from_raw64(self.0 & ELSE_DATA))
|
|
64
|
-
} else {
|
|
65
|
-
NaNEnum::Number(f64::from_bits(self.0))
|
|
66
|
-
}
|
|
67
|
-
}
|
|
68
|
-
fn unpack(self) -> NaNEnum<T> {
|
|
69
|
-
let result = unsafe { self.tmp_unpack() };
|
|
70
|
-
forget(self);
|
|
71
|
-
result
|
|
72
|
-
}
|
|
73
|
-
fn pack(v: NaNEnum<T>) -> Self {
|
|
74
|
-
assert!(T::BIT_SIZE <= 51);
|
|
75
|
-
Self(
|
|
76
|
-
match v {
|
|
77
|
-
NaNEnum::Number(n) => n.to_bits(),
|
|
78
|
-
NaNEnum::Else(e) => unsafe { e.into_raw64() | ELSE },
|
|
79
|
-
},
|
|
80
|
-
PhantomData,
|
|
81
|
-
)
|
|
82
|
-
}
|
|
83
|
-
}
|
|
84
|
-
|
|
85
|
-
impl<T: Raw64> Clone for NaNEnumPack<T> {
|
|
86
|
-
fn clone(&self) -> Self {
|
|
87
|
-
let tmp = unsafe { self.tmp_unpack() };
|
|
88
|
-
let c = tmp.clone();
|
|
89
|
-
forget(tmp);
|
|
90
|
-
Self::pack(c)
|
|
91
|
-
}
|
|
92
|
-
}
|
|
93
|
-
|
|
94
|
-
impl<T: Raw64> Drop for NaNEnumPack<T> {
|
|
95
|
-
fn drop(&mut self) {
|
|
96
|
-
unsafe { self.tmp_unpack() };
|
|
97
|
-
}
|
|
98
|
-
}
|
|
99
|
-
|
|
100
|
-
#[cfg(test)]
|
|
101
|
-
mod test {
|
|
102
|
-
use core::{
|
|
103
|
-
mem::forget,
|
|
104
|
-
ptr::null,
|
|
105
|
-
sync::atomic::{AtomicUsize, Ordering},
|
|
106
|
-
};
|
|
107
|
-
use std::rc::Rc;
|
|
108
|
-
|
|
109
|
-
use crate::nanenum::{Raw64, NEGATIVE, NOT_FINITE};
|
|
110
|
-
|
|
111
|
-
use super::{NaNEnum, NaNEnumPack};
|
|
112
|
-
|
|
113
|
-
// See https://doc.rust-lang.org/std/mem/fn.needs_drop.html
|
|
114
|
-
|
|
115
|
-
/*
|
|
116
|
-
trait Dropable {
|
|
117
|
-
const _A: () = assert!(needs_drop::<Self>());
|
|
118
|
-
}
|
|
119
|
-
|
|
120
|
-
trait NonDropable {
|
|
121
|
-
const _A: () = assert!(!needs_drop::<Self>());
|
|
122
|
-
}
|
|
123
|
-
*/
|
|
124
|
-
|
|
125
|
-
#[test]
|
|
126
|
-
fn test_f64() {
|
|
127
|
-
assert_eq!(f64::INFINITY.to_bits(), NOT_FINITE);
|
|
128
|
-
assert_eq!((f64::NEG_INFINITY).to_bits(), NOT_FINITE | NEGATIVE);
|
|
129
|
-
assert_eq!(f64::NAN.to_bits(), NOT_FINITE | (1 << 51));
|
|
130
|
-
}
|
|
131
|
-
|
|
132
|
-
#[test]
|
|
133
|
-
fn test_pack() {
|
|
134
|
-
static I: AtomicUsize = AtomicUsize::new(0);
|
|
135
|
-
|
|
136
|
-
struct P();
|
|
137
|
-
|
|
138
|
-
impl Default for P {
|
|
139
|
-
fn default() -> Self {
|
|
140
|
-
I.fetch_add(1, Ordering::Relaxed);
|
|
141
|
-
Self()
|
|
142
|
-
}
|
|
143
|
-
}
|
|
144
|
-
|
|
145
|
-
impl Clone for P {
|
|
146
|
-
fn clone(&self) -> Self {
|
|
147
|
-
Self::default()
|
|
148
|
-
}
|
|
149
|
-
}
|
|
150
|
-
|
|
151
|
-
impl Drop for P {
|
|
152
|
-
fn drop(&mut self) {
|
|
153
|
-
I.fetch_sub(1, Ordering::Relaxed);
|
|
154
|
-
}
|
|
155
|
-
}
|
|
156
|
-
|
|
157
|
-
impl Raw64 for P {
|
|
158
|
-
const BIT_SIZE: u64 = 0;
|
|
159
|
-
unsafe fn from_raw64(v: u64) -> Self {
|
|
160
|
-
Self()
|
|
161
|
-
}
|
|
162
|
-
unsafe fn into_raw64(self) -> u64 {
|
|
163
|
-
forget(self);
|
|
164
|
-
0
|
|
165
|
-
}
|
|
166
|
-
}
|
|
167
|
-
|
|
168
|
-
//
|
|
169
|
-
|
|
170
|
-
{
|
|
171
|
-
assert_eq!(I.load(Ordering::Relaxed), 0);
|
|
172
|
-
{
|
|
173
|
-
let x = P::default();
|
|
174
|
-
assert_eq!(I.load(Ordering::Relaxed), 1);
|
|
175
|
-
let m = NaNEnum::Else(x);
|
|
176
|
-
assert_eq!(I.load(Ordering::Relaxed), 1);
|
|
177
|
-
let p = NaNEnumPack::pack(m);
|
|
178
|
-
assert_eq!(I.load(Ordering::Relaxed), 1);
|
|
179
|
-
let p1 = p.clone();
|
|
180
|
-
assert_eq!(I.load(Ordering::Relaxed), 2);
|
|
181
|
-
let m1 = p1.unpack();
|
|
182
|
-
assert_eq!(I.load(Ordering::Relaxed), 2);
|
|
183
|
-
if let NaNEnum::Else(x1) = m1 {
|
|
184
|
-
assert_eq!(I.load(Ordering::Relaxed), 2);
|
|
185
|
-
// assert_ne!(&x as *const _, null())
|
|
186
|
-
// assert_ne!(&m as *const _, null())
|
|
187
|
-
assert_ne!(&p as *const _, null());
|
|
188
|
-
// assert_ne!(&p1 as *const _, null());
|
|
189
|
-
// assert_ne!(&m1 as *const _, null());
|
|
190
|
-
assert_ne!(&x1 as *const _, null());
|
|
191
|
-
} else {
|
|
192
|
-
panic!()
|
|
193
|
-
}
|
|
194
|
-
}
|
|
195
|
-
assert_eq!(I.load(Ordering::Relaxed), 0);
|
|
196
|
-
}
|
|
197
|
-
|
|
198
|
-
//
|
|
199
|
-
|
|
200
|
-
{
|
|
201
|
-
assert_eq!(I.load(Ordering::Relaxed), 0);
|
|
202
|
-
{
|
|
203
|
-
let x = P::default();
|
|
204
|
-
assert_eq!(I.load(Ordering::Relaxed), 1);
|
|
205
|
-
let m = NaNEnum::Else(x.clone());
|
|
206
|
-
assert_eq!(I.load(Ordering::Relaxed), 2);
|
|
207
|
-
let p = NaNEnumPack::pack(m.clone());
|
|
208
|
-
assert_eq!(I.load(Ordering::Relaxed), 3);
|
|
209
|
-
let p1 = p.clone();
|
|
210
|
-
assert_eq!(I.load(Ordering::Relaxed), 4);
|
|
211
|
-
let m1 = p1.clone().unpack();
|
|
212
|
-
assert_eq!(I.load(Ordering::Relaxed), 5);
|
|
213
|
-
if let NaNEnum::Else(x1) = m1.clone() {
|
|
214
|
-
assert_eq!(I.load(Ordering::Relaxed), 6);
|
|
215
|
-
assert_ne!(&x as *const _, null());
|
|
216
|
-
assert_ne!(&m as *const _, null());
|
|
217
|
-
assert_ne!(&p as *const _, null());
|
|
218
|
-
assert_ne!(&p1 as *const _, null());
|
|
219
|
-
assert_ne!(&m1 as *const _, null());
|
|
220
|
-
assert_ne!(&x1 as *const _, null());
|
|
221
|
-
} else {
|
|
222
|
-
panic!()
|
|
223
|
-
}
|
|
224
|
-
}
|
|
225
|
-
assert_eq!(I.load(Ordering::Relaxed), 0);
|
|
226
|
-
}
|
|
227
|
-
}
|
|
228
|
-
|
|
229
|
-
#[test]
|
|
230
|
-
fn test_ptr() {
|
|
231
|
-
let x = Rc::new("hello");
|
|
232
|
-
let m = NaNEnum::Else(x);
|
|
233
|
-
let p = NaNEnumPack::pack(m);
|
|
234
|
-
let p1 = p.clone();
|
|
235
|
-
}
|
|
236
|
-
}
|
package/nanvm-lib/src/nullish.rs
DELETED
|
@@ -1,7 +0,0 @@
|
|
|
1
|
-
/// https://developer.mozilla.org/en-US/docs/Glossary/Nullish
|
|
2
|
-
/// "In JavaScript, a nullish value is the value which is either null or undefined. Nullish values are always falsy."
|
|
3
|
-
#[derive(Debug, PartialEq, Clone, Copy)]
|
|
4
|
-
pub enum Nullish {
|
|
5
|
-
Null,
|
|
6
|
-
Undefined,
|
|
7
|
-
}
|
package/nanvm-lib/src/sign.rs
DELETED
package/nanvm-lib/src/simple.rs
DELETED
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
use crate::{
|
|
2
|
-
interface::{Any, Utf8},
|
|
3
|
-
nullish::Nullish,
|
|
4
|
-
};
|
|
5
|
-
|
|
6
|
-
#[derive(PartialEq, Debug, Clone)]
|
|
7
|
-
pub enum Simple {
|
|
8
|
-
Nullish(Nullish),
|
|
9
|
-
Boolean(bool),
|
|
10
|
-
Number(f64),
|
|
11
|
-
}
|
|
12
|
-
|
|
13
|
-
impl Simple {
|
|
14
|
-
pub fn to_unknown<U: Any>(self) -> U {
|
|
15
|
-
U::new_simple(self)
|
|
16
|
-
}
|
|
17
|
-
pub fn to_string<U: Any>(self) -> U::String16 {
|
|
18
|
-
match self {
|
|
19
|
-
Simple::Nullish(v) => (match v {
|
|
20
|
-
Nullish::Null => "null",
|
|
21
|
-
Nullish::Undefined => "undefined",
|
|
22
|
-
})
|
|
23
|
-
.to_string16::<U>(),
|
|
24
|
-
Simple::Boolean(v) => (match v {
|
|
25
|
-
true => "true",
|
|
26
|
-
false => "false",
|
|
27
|
-
})
|
|
28
|
-
.to_string16::<U>(),
|
|
29
|
-
Simple::Number(_) => todo!(),
|
|
30
|
-
}
|
|
31
|
-
}
|
|
32
|
-
}
|