@nudojs/core 0.3.0 → 0.4.0
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/dist/chunk-N7E2A7IK.js +7216 -0
- package/dist/exec.d.ts +2 -0
- package/dist/exec.js +174 -0
- package/dist/index-DgyudAkw.d.ts +911 -0
- package/dist/index.d.ts +64 -710
- package/dist/index.js +3269 -8426
- package/package.json +18 -5
- package/CHANGELOG.md +0 -34
- package/src/__tests__/environment.test.ts +0 -48
- package/src/__tests__/fn-sig-impl.test.ts +0 -57
- package/src/__tests__/ops-refined.test.ts +0 -196
- package/src/__tests__/ops.test.ts +0 -84
- package/src/__tests__/type-value-phase2.test.ts +0 -117
- package/src/__tests__/type-value-phase3.test.ts +0 -94
- package/src/__tests__/type-value-refined.test.ts +0 -210
- package/src/__tests__/type-value.test.ts +0 -319
- package/src/algebra/__tests__/abs-native.test.ts +0 -176
- package/src/algebra/__tests__/arithmetic.test.ts +0 -170
- package/src/algebra/__tests__/ast-eval.test.ts +0 -154
- package/src/algebra/__tests__/bridge.test.ts +0 -160
- package/src/algebra/__tests__/call-budget.test.ts +0 -117
- package/src/algebra/__tests__/check-case-consistency.test.ts +0 -69
- package/src/algebra/__tests__/check-gold.test.ts +0 -290
- package/src/algebra/__tests__/check-json.test.ts +0 -57
- package/src/algebra/__tests__/check-mini-repo.test.ts +0 -49
- package/src/algebra/__tests__/check-real-commander.test.ts +0 -43
- package/src/algebra/__tests__/check-real-packages.test.ts +0 -165
- package/src/algebra/__tests__/check-recall-gold.test.ts +0 -1024
- package/src/algebra/__tests__/check-require-dep-memo.test.ts +0 -45
- package/src/algebra/__tests__/check-return-contract.test.ts +0 -90
- package/src/algebra/__tests__/check-shape-gold.test.ts +0 -303
- package/src/algebra/__tests__/check-source-memo.test.ts +0 -204
- package/src/algebra/__tests__/check.test.ts +0 -69
- package/src/algebra/__tests__/denote.test.ts +0 -77
- package/src/algebra/__tests__/diagnostics.test.ts +0 -64
- package/src/algebra/__tests__/differential.test.ts +0 -124
- package/src/algebra/__tests__/div-mod.test.ts +0 -38
- package/src/algebra/__tests__/example0.test.ts +0 -103
- package/src/algebra/__tests__/exec-analyze-throws.test.ts +0 -60
- package/src/algebra/__tests__/exec-async.test.ts +0 -46
- package/src/algebra/__tests__/exec-bpath.test.ts +0 -193
- package/src/algebra/__tests__/exec-class.test.ts +0 -56
- package/src/algebra/__tests__/exec-e2e.test.ts +0 -97
- package/src/algebra/__tests__/exec-generator.test.ts +0 -53
- package/src/algebra/__tests__/exec-inherit-default.test.ts +0 -111
- package/src/algebra/__tests__/exec-optional-nested.test.ts +0 -87
- package/src/algebra/__tests__/exec-rest.test.ts +0 -55
- package/src/algebra/__tests__/exec-spread-forof.test.ts +0 -85
- package/src/algebra/__tests__/exec-static-computed.test.ts +0 -61
- package/src/algebra/__tests__/exec-switch.test.ts +0 -74
- package/src/algebra/__tests__/exec-trycatch.test.ts +0 -71
- package/src/algebra/__tests__/fn-fp-memo.test.ts +0 -166
- package/src/algebra/__tests__/fn-fp-multidecl.test.ts +0 -49
- package/src/algebra/__tests__/format.test.ts +0 -34
- package/src/algebra/__tests__/generalize-memo.test.ts +0 -285
- package/src/algebra/__tests__/generalize.test.ts +0 -113
- package/src/algebra/__tests__/hash-source.test.ts +0 -19
- package/src/algebra/__tests__/hof.test.ts +0 -80
- package/src/algebra/__tests__/inlay.test.ts +0 -30
- package/src/algebra/__tests__/language.test.ts +0 -77
- package/src/algebra/__tests__/leq.test.ts +0 -109
- package/src/algebra/__tests__/load-deps-fp-memo.test.ts +0 -132
- package/src/algebra/__tests__/methods.test.ts +0 -37
- package/src/algebra/__tests__/node-types.test.ts +0 -26
- package/src/algebra/__tests__/nudo-constraints.ts +0 -46
- package/src/algebra/__tests__/objects.test.ts +0 -117
- package/src/algebra/__tests__/parse-source-cache.test.ts +0 -42
- package/src/algebra/__tests__/refine-import.test.ts +0 -109
- package/src/algebra/__tests__/stable-source-key-block.test.ts +0 -23
- package/src/algebra/__tests__/stable-source-key.test.ts +0 -31
- package/src/algebra/__tests__/surface.test.ts +0 -41
- package/src/algebra/__tests__/this-inherit.test.ts +0 -130
- package/src/algebra/abs-fn.ts +0 -49
- package/src/algebra/abs-modules.ts +0 -139
- package/src/algebra/abs.ts +0 -206
- package/src/algebra/arithmetic.ts +0 -691
- package/src/algebra/ast-eval.ts +0 -1763
- package/src/algebra/bridge.ts +0 -350
- package/src/algebra/builtins.ts +0 -373
- package/src/algebra/check-report.ts +0 -150
- package/src/algebra/check.ts +0 -1867
- package/src/algebra/constraint.ts +0 -304
- package/src/algebra/denote.ts +0 -166
- package/src/algebra/diagnostics.ts +0 -210
- package/src/algebra/exec/call.ts +0 -29
- package/src/algebra/exec/calls.ts +0 -96
- package/src/algebra/exec/class-registry.ts +0 -29
- package/src/algebra/exec/class.ts +0 -329
- package/src/algebra/exec/index.ts +0 -6
- package/src/algebra/exec/member-diag.ts +0 -141
- package/src/algebra/exec/run.ts +0 -341
- package/src/algebra/exec/runtime.ts +0 -583
- package/src/algebra/exec/transpile.ts +0 -993
- package/src/algebra/fn-fp.ts +0 -294
- package/src/algebra/format.ts +0 -91
- package/src/algebra/generalize.ts +0 -776
- package/src/algebra/hash-source.ts +0 -27
- package/src/algebra/index.ts +0 -34
- package/src/algebra/inlay.ts +0 -198
- package/src/algebra/language.ts +0 -289
- package/src/algebra/leak.ts +0 -68
- package/src/algebra/leq.ts +0 -301
- package/src/algebra/load-deps-fp.ts +0 -97
- package/src/algebra/methods.ts +0 -128
- package/src/algebra/objects.ts +0 -251
- package/src/algebra/parse-source.ts +0 -64
- package/src/algebra/phi.ts +0 -42
- package/src/algebra/pred.ts +0 -395
- package/src/algebra/refine.ts +0 -227
- package/src/algebra/stable-source-key.ts +0 -81
- package/src/algebra/surface.ts +0 -206
- package/src/algebra/template.ts +0 -143
- package/src/algebra/term.ts +0 -119
- package/src/environment.ts +0 -74
- package/src/index.ts +0 -73
- package/src/mock-helpers.ts +0 -166
- package/src/ops.ts +0 -191
- package/src/refinements/range.ts +0 -86
- package/src/refinements/template-predicates.ts +0 -11
- package/src/refinements/template.ts +0 -176
- package/src/strip-types.ts +0 -236
- package/src/type-value.ts +0 -513
- package/tsconfig.json +0 -8
package/dist/exec.d.ts
ADDED
|
@@ -0,0 +1,2 @@
|
|
|
1
|
+
export { $ as $add, d as $arr, e as $async, f as $asyncReturn, g as $await, h as $call, i as $callNamed, j as $catchVal, k as $class, l as $concat, m as $div, n as $elems, o as $eq, p as $fnVal, q as $for, r as $forIter, s as $forOf, t as $fork, u as $ge, v as $gen, w as $get, x as $gt, y as $idx, z as $idxSet, B as $invoke, D as $invokeSuper, E as $join, F as $le, G as $len, I as $lit, J as $lt, K as $mod, M as $mul, N as $ne, O as $neg, Q as $new, U as $not, V as $obj, W as $optionalGet, X as $optionalInvoke, Y as $orDefault, Z as $regex, _ as $set, a0 as $setKey, a1 as $spread, a2 as $staticInvoke, a3 as $sub, a4 as $super, a5 as $switch, a6 as $thisGet, a7 as $thisSet, a8 as $throw, a9 as $typeof, aa as $while, ab as $whileSeq, ac as $yield, ag as BCallRecord, ah as BClassSpec, ai as BMemberDiag, aj as DEFAULT_MAX_LOOP_ITERS, ap as NudoThrow, aq as RunTranspiledOptions, ar as TranspileOptions, as as TranspiledCallResult, aD as asAbsVal, aJ as callTranspiledExport, aK as callTranspiledExportFull, aL as clearBClasses, aQ as currentExecPhi, b1 as getAbsOrigin, b2 as getBCallCollector, b3 as getBClass, b8 as isDefinitelyFalse, b9 as isDefinitelyTrue, bb as isNudoThrow, bj as litTruth, bp as namespaceNameOf, bt as noteMemberDispatchMiss, bu as notePrimMemberMissing, bv as noteUnknownMemberMissing, bK as recordMemberDiag, bL as registerBClass, bO as runTranspiled, bU as setBCallCollector, bV as setMemberDiagCollector, c3 as tagAbsOrigin, c8 as transpile, c9 as transpileExpression, ca as transpileFile, cb as transpileSource, cj as withExecPhi } from './index-DgyudAkw.js';
|
|
2
|
+
import '@babel/types';
|
package/dist/exec.js
ADDED
|
@@ -0,0 +1,174 @@
|
|
|
1
|
+
import {
|
|
2
|
+
$add,
|
|
3
|
+
$arr,
|
|
4
|
+
$async,
|
|
5
|
+
$asyncReturn,
|
|
6
|
+
$await,
|
|
7
|
+
$call,
|
|
8
|
+
$callNamed,
|
|
9
|
+
$catchVal,
|
|
10
|
+
$class,
|
|
11
|
+
$concat,
|
|
12
|
+
$div,
|
|
13
|
+
$elems,
|
|
14
|
+
$eq,
|
|
15
|
+
$fnVal,
|
|
16
|
+
$for,
|
|
17
|
+
$forIter,
|
|
18
|
+
$forOf,
|
|
19
|
+
$fork,
|
|
20
|
+
$ge,
|
|
21
|
+
$gen,
|
|
22
|
+
$get,
|
|
23
|
+
$gt,
|
|
24
|
+
$idx,
|
|
25
|
+
$idxSet,
|
|
26
|
+
$invoke,
|
|
27
|
+
$invokeSuper,
|
|
28
|
+
$join,
|
|
29
|
+
$le,
|
|
30
|
+
$len,
|
|
31
|
+
$lit,
|
|
32
|
+
$lt,
|
|
33
|
+
$mod,
|
|
34
|
+
$mul,
|
|
35
|
+
$ne,
|
|
36
|
+
$neg,
|
|
37
|
+
$new,
|
|
38
|
+
$not,
|
|
39
|
+
$obj,
|
|
40
|
+
$optionalGet,
|
|
41
|
+
$optionalInvoke,
|
|
42
|
+
$orDefault,
|
|
43
|
+
$regex,
|
|
44
|
+
$set,
|
|
45
|
+
$setKey,
|
|
46
|
+
$spread,
|
|
47
|
+
$staticInvoke,
|
|
48
|
+
$sub,
|
|
49
|
+
$super,
|
|
50
|
+
$switch,
|
|
51
|
+
$thisGet,
|
|
52
|
+
$thisSet,
|
|
53
|
+
$throw,
|
|
54
|
+
$typeof,
|
|
55
|
+
$while,
|
|
56
|
+
$whileSeq,
|
|
57
|
+
$yield,
|
|
58
|
+
DEFAULT_MAX_LOOP_ITERS,
|
|
59
|
+
NudoThrow,
|
|
60
|
+
asAbsVal,
|
|
61
|
+
callTranspiledExport,
|
|
62
|
+
callTranspiledExportFull,
|
|
63
|
+
clearBClasses,
|
|
64
|
+
currentExecPhi,
|
|
65
|
+
getAbsOrigin,
|
|
66
|
+
getBCallCollector,
|
|
67
|
+
getBClass,
|
|
68
|
+
isDefinitelyFalse,
|
|
69
|
+
isDefinitelyTrue,
|
|
70
|
+
isNudoThrow,
|
|
71
|
+
litTruth,
|
|
72
|
+
namespaceNameOf,
|
|
73
|
+
noteMemberDispatchMiss,
|
|
74
|
+
notePrimMemberMissing,
|
|
75
|
+
noteUnknownMemberMissing,
|
|
76
|
+
recordMemberDiag,
|
|
77
|
+
registerBClass,
|
|
78
|
+
runTranspiled,
|
|
79
|
+
setBCallCollector,
|
|
80
|
+
setMemberDiagCollector,
|
|
81
|
+
tagAbsOrigin,
|
|
82
|
+
transpile,
|
|
83
|
+
transpileExpression,
|
|
84
|
+
transpileFile,
|
|
85
|
+
transpileSource,
|
|
86
|
+
withExecPhi
|
|
87
|
+
} from "./chunk-N7E2A7IK.js";
|
|
88
|
+
export {
|
|
89
|
+
$add,
|
|
90
|
+
$arr,
|
|
91
|
+
$async,
|
|
92
|
+
$asyncReturn,
|
|
93
|
+
$await,
|
|
94
|
+
$call,
|
|
95
|
+
$callNamed,
|
|
96
|
+
$catchVal,
|
|
97
|
+
$class,
|
|
98
|
+
$concat,
|
|
99
|
+
$div,
|
|
100
|
+
$elems,
|
|
101
|
+
$eq,
|
|
102
|
+
$fnVal,
|
|
103
|
+
$for,
|
|
104
|
+
$forIter,
|
|
105
|
+
$forOf,
|
|
106
|
+
$fork,
|
|
107
|
+
$ge,
|
|
108
|
+
$gen,
|
|
109
|
+
$get,
|
|
110
|
+
$gt,
|
|
111
|
+
$idx,
|
|
112
|
+
$idxSet,
|
|
113
|
+
$invoke,
|
|
114
|
+
$invokeSuper,
|
|
115
|
+
$join,
|
|
116
|
+
$le,
|
|
117
|
+
$len,
|
|
118
|
+
$lit,
|
|
119
|
+
$lt,
|
|
120
|
+
$mod,
|
|
121
|
+
$mul,
|
|
122
|
+
$ne,
|
|
123
|
+
$neg,
|
|
124
|
+
$new,
|
|
125
|
+
$not,
|
|
126
|
+
$obj,
|
|
127
|
+
$optionalGet,
|
|
128
|
+
$optionalInvoke,
|
|
129
|
+
$orDefault,
|
|
130
|
+
$regex,
|
|
131
|
+
$set,
|
|
132
|
+
$setKey,
|
|
133
|
+
$spread,
|
|
134
|
+
$staticInvoke,
|
|
135
|
+
$sub,
|
|
136
|
+
$super,
|
|
137
|
+
$switch,
|
|
138
|
+
$thisGet,
|
|
139
|
+
$thisSet,
|
|
140
|
+
$throw,
|
|
141
|
+
$typeof,
|
|
142
|
+
$while,
|
|
143
|
+
$whileSeq,
|
|
144
|
+
$yield,
|
|
145
|
+
DEFAULT_MAX_LOOP_ITERS,
|
|
146
|
+
NudoThrow,
|
|
147
|
+
asAbsVal,
|
|
148
|
+
callTranspiledExport,
|
|
149
|
+
callTranspiledExportFull,
|
|
150
|
+
clearBClasses,
|
|
151
|
+
currentExecPhi,
|
|
152
|
+
getAbsOrigin,
|
|
153
|
+
getBCallCollector,
|
|
154
|
+
getBClass,
|
|
155
|
+
isDefinitelyFalse,
|
|
156
|
+
isDefinitelyTrue,
|
|
157
|
+
isNudoThrow,
|
|
158
|
+
litTruth,
|
|
159
|
+
namespaceNameOf,
|
|
160
|
+
noteMemberDispatchMiss,
|
|
161
|
+
notePrimMemberMissing,
|
|
162
|
+
noteUnknownMemberMissing,
|
|
163
|
+
recordMemberDiag,
|
|
164
|
+
registerBClass,
|
|
165
|
+
runTranspiled,
|
|
166
|
+
setBCallCollector,
|
|
167
|
+
setMemberDiagCollector,
|
|
168
|
+
tagAbsOrigin,
|
|
169
|
+
transpile,
|
|
170
|
+
transpileExpression,
|
|
171
|
+
transpileFile,
|
|
172
|
+
transpileSource,
|
|
173
|
+
withExecPhi
|
|
174
|
+
};
|