aontu 0.62.0 → 0.63.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/README.md +1 -1
- package/dist/agentsmd.js +0 -27
- package/dist/agentsmd.js.map +1 -1
- package/dist/alias.js.map +1 -1
- package/dist/allow.js +0 -92
- package/dist/allow.js.map +1 -1
- package/dist/aontu.d.ts +1 -1
- package/dist/aontu.js +1 -79
- package/dist/aontu.js.map +1 -1
- package/dist/aontumodel.d.ts +4 -0
- package/dist/aontumodel.js +33 -0
- package/dist/aontumodel.js.map +1 -0
- package/dist/cli.js +101 -620
- package/dist/cli.js.map +1 -1
- package/dist/ctx.js +0 -48
- package/dist/ctx.js.map +1 -1
- package/dist/diff.js +0 -32
- package/dist/diff.js.map +1 -1
- package/dist/err.js +0 -40
- package/dist/err.js.map +1 -1
- package/dist/escape.js +0 -45
- package/dist/escape.js.map +1 -1
- package/dist/exactjson.d.ts +0 -35
- package/dist/exactjson.js +0 -131
- package/dist/exactjson.js.map +1 -1
- package/dist/format.js +13 -203
- package/dist/format.js.map +1 -1
- package/dist/grammar.d.ts +9 -0
- package/dist/grammar.js +54 -0
- package/dist/grammar.js.map +1 -0
- package/dist/graph.js +0 -26
- package/dist/graph.js.map +1 -1
- package/dist/hcanon.js +0 -82
- package/dist/hcanon.js.map +1 -1
- package/dist/helpdoc.js +1 -1
- package/dist/helpdoc.js.map +1 -1
- package/dist/hints.d.ts +0 -6
- package/dist/hints.js +54 -55
- package/dist/hints.js.map +1 -1
- package/dist/jsonschema.js +0 -114
- package/dist/jsonschema.js.map +1 -1
- package/dist/keyorder.d.ts +0 -7
- package/dist/keyorder.js +0 -41
- package/dist/keyorder.js.map +1 -1
- package/dist/lang.js +17 -915
- package/dist/lang.js.map +1 -1
- package/dist/lower.js +11 -61
- package/dist/lower.js.map +1 -1
- package/dist/lsp-server.js +0 -16
- package/dist/lsp-server.js.map +1 -1
- package/dist/lsp.d.ts +1 -1
- package/dist/lsp.js +12 -159
- package/dist/lsp.js.map +1 -1
- package/dist/mcp-server.js +0 -26
- package/dist/mcp-server.js.map +1 -1
- package/dist/mcp.js +0 -113
- package/dist/mcp.js.map +1 -1
- package/dist/mod-tool.js +0 -130
- package/dist/mod-tool.js.map +1 -1
- package/dist/mod.js +0 -162
- package/dist/mod.js.map +1 -1
- package/dist/patch.js +0 -217
- package/dist/patch.js.map +1 -1
- package/dist/provenance.js +0 -140
- package/dist/provenance.js.map +1 -1
- package/dist/query.js +0 -75
- package/dist/query.js.map +1 -1
- package/dist/reach.js +0 -43
- package/dist/reach.js.map +1 -1
- package/dist/relation.js +0 -61
- package/dist/relation.js.map +1 -1
- package/dist/render.js +20 -135
- package/dist/render.js.map +1 -1
- package/dist/report-sarif.d.ts +0 -11
- package/dist/report-sarif.js +0 -28
- package/dist/report-sarif.js.map +1 -1
- package/dist/sig.js +0 -35
- package/dist/sig.js.map +1 -1
- package/dist/sigdecl.js +1 -1
- package/dist/sigdecl.js.map +1 -1
- package/dist/siggate.js +0 -4
- package/dist/siggate.js.map +1 -1
- package/dist/site.js +3 -29
- package/dist/site.js.map +1 -1
- package/dist/subsume.d.ts +0 -10
- package/dist/subsume.js +0 -137
- package/dist/subsume.js.map +1 -1
- package/dist/template.d.ts +2 -1
- package/dist/template.js +58 -138
- package/dist/template.js.map +1 -1
- package/dist/trim.js +0 -41
- package/dist/trim.js.map +1 -1
- package/dist/tsconfig.tsbuildinfo +1 -1
- package/dist/type.js.map +1 -1
- package/dist/unify.js +12 -242
- package/dist/unify.js.map +1 -1
- package/dist/utility.js +0 -22
- package/dist/utility.js.map +1 -1
- package/dist/val/AbnfFuncVal.d.ts +18 -0
- package/dist/val/AbnfFuncVal.js +132 -0
- package/dist/val/AbnfFuncVal.js.map +1 -0
- package/dist/val/AbsentVal.d.ts +11 -0
- package/dist/val/AbsentVal.js +30 -0
- package/dist/val/AbsentVal.js.map +1 -0
- package/dist/val/AggFuncVal.d.ts +10 -1
- package/dist/val/AggFuncVal.js +104 -116
- package/dist/val/AggFuncVal.js.map +1 -1
- package/dist/val/ArithFuncVal.js +0 -12
- package/dist/val/ArithFuncVal.js.map +1 -1
- package/dist/val/BagVal.js +1 -78
- package/dist/val/BagVal.js.map +1 -1
- package/dist/val/BigDecimalVal.js +0 -16
- package/dist/val/BigDecimalVal.js.map +1 -1
- package/dist/val/BigIntegerVal.js +0 -16
- package/dist/val/BigIntegerVal.js.map +1 -1
- package/dist/val/CloseFuncVal.js +0 -9
- package/dist/val/CloseFuncVal.js.map +1 -1
- package/dist/val/CmpFuncVal.js +2 -59
- package/dist/val/CmpFuncVal.js.map +1 -1
- package/dist/val/ConjunctVal.js +0 -29
- package/dist/val/ConjunctVal.js.map +1 -1
- package/dist/val/ConstraintVal.js +0 -500
- package/dist/val/ConstraintVal.js.map +1 -1
- package/dist/val/ContainerKindVal.js +0 -2
- package/dist/val/ContainerKindVal.js.map +1 -1
- package/dist/val/CopyFuncVal.js +0 -3
- package/dist/val/CopyFuncVal.js.map +1 -1
- package/dist/val/Decimal.js +0 -179
- package/dist/val/Decimal.js.map +1 -1
- package/dist/val/DeprecateFuncVal.js.map +1 -1
- package/dist/val/DisjunctVal.js +0 -152
- package/dist/val/DisjunctVal.js.map +1 -1
- package/dist/val/EachFuncVal.js +0 -3
- package/dist/val/EachFuncVal.js.map +1 -1
- package/dist/val/EmitFuncVal.d.ts +1 -1
- package/dist/val/EmitFuncVal.js +6 -119
- package/dist/val/EmitFuncVal.js.map +1 -1
- package/dist/val/ExpectVal.js +0 -62
- package/dist/val/ExpectVal.js.map +1 -1
- package/dist/val/FilterFuncVal.js +0 -25
- package/dist/val/FilterFuncVal.js.map +1 -1
- package/dist/val/FuncBaseVal.d.ts +1 -0
- package/dist/val/FuncBaseVal.js +7 -127
- package/dist/val/FuncBaseVal.js.map +1 -1
- package/dist/val/GraphAtomVal.js +0 -15
- package/dist/val/GraphAtomVal.js.map +1 -1
- package/dist/val/HideFuncVal.js +0 -13
- package/dist/val/HideFuncVal.js.map +1 -1
- package/dist/val/IntegerVal.js +0 -61
- package/dist/val/IntegerVal.js.map +1 -1
- package/dist/val/JunctionVal.js +0 -20
- package/dist/val/JunctionVal.js.map +1 -1
- package/dist/val/KeyFuncVal.js +0 -46
- package/dist/val/KeyFuncVal.js.map +1 -1
- package/dist/val/ListVal.js +0 -57
- package/dist/val/ListVal.js.map +1 -1
- package/dist/val/LowerFuncVal.js +0 -11
- package/dist/val/LowerFuncVal.js.map +1 -1
- package/dist/val/MapVal.js +0 -151
- package/dist/val/MapVal.js.map +1 -1
- package/dist/val/MatchFuncVal.js +0 -27
- package/dist/val/MatchFuncVal.js.map +1 -1
- package/dist/val/{FormFuncVal.d.ts → MaybeFuncVal.d.ts} +5 -5
- package/dist/val/MaybeFuncVal.js +50 -0
- package/dist/val/MaybeFuncVal.js.map +1 -0
- package/dist/val/MoveFuncVal.js +0 -18
- package/dist/val/MoveFuncVal.js.map +1 -1
- package/dist/val/NilVal.js +0 -60
- package/dist/val/NilVal.js.map +1 -1
- package/dist/val/NomFuncVal.js +8 -42
- package/dist/val/NomFuncVal.js.map +1 -1
- package/dist/val/NumberVal.js +0 -15
- package/dist/val/NumberVal.js.map +1 -1
- package/dist/val/OpBaseVal.d.ts +1 -0
- package/dist/val/OpBaseVal.js +3 -15
- package/dist/val/OpBaseVal.js.map +1 -1
- package/dist/val/PackFuncVal.js +0 -34
- package/dist/val/PackFuncVal.js.map +1 -1
- package/dist/val/PathFuncVal.js +0 -6
- package/dist/val/PathFuncVal.js.map +1 -1
- package/dist/val/PathVal.js +0 -41
- package/dist/val/PathVal.js.map +1 -1
- package/dist/val/PlaceVal.js +0 -25
- package/dist/val/PlaceVal.js.map +1 -1
- package/dist/val/PlusOpVal.d.ts +1 -7
- package/dist/val/PlusOpVal.js +13 -74
- package/dist/val/PlusOpVal.js.map +1 -1
- package/dist/val/PrefFuncVal.js +0 -1
- package/dist/val/PrefFuncVal.js.map +1 -1
- package/dist/val/PrefVal.js +0 -167
- package/dist/val/PrefVal.js.map +1 -1
- package/dist/val/RecurseVal.js +0 -55
- package/dist/val/RecurseVal.js.map +1 -1
- package/dist/val/RefVal.js +0 -282
- package/dist/val/RefVal.js.map +1 -1
- package/dist/val/ReferFuncVal.js +0 -232
- package/dist/val/ReferFuncVal.js.map +1 -1
- package/dist/val/ScalarKindVal.js +0 -49
- package/dist/val/ScalarKindVal.js.map +1 -1
- package/dist/val/ScalarVal.js +0 -11
- package/dist/val/ScalarVal.js.map +1 -1
- package/dist/val/StrFuncVal.js +0 -18
- package/dist/val/StrFuncVal.js.map +1 -1
- package/dist/val/SuperFuncVal.js +0 -32
- package/dist/val/SuperFuncVal.js.map +1 -1
- package/dist/val/TopVal.js +0 -1
- package/dist/val/TopVal.js.map +1 -1
- package/dist/val/TranslateFuncVal.js +1 -3
- package/dist/val/TranslateFuncVal.js.map +1 -1
- package/dist/val/UpperFuncVal.js +0 -11
- package/dist/val/UpperFuncVal.js.map +1 -1
- package/dist/val/Val.d.ts +1 -0
- package/dist/val/Val.js +2 -133
- package/dist/val/Val.js.map +1 -1
- package/dist/val/VarVal.js +0 -12
- package/dist/val/VarVal.js.map +1 -1
- package/dist/val/arith.js +0 -37
- package/dist/val/arith.js.map +1 -1
- package/dist/val/caserange.js +0 -61
- package/dist/val/caserange.js.map +1 -1
- package/dist/val/members.js +0 -6
- package/dist/val/members.js.map +1 -1
- package/dist/val/numcmp.js +0 -11
- package/dist/val/numcmp.js.map +1 -1
- package/dist/val/numkind.js +0 -145
- package/dist/val/numkind.js.map +1 -1
- package/dist/val/valutil.js +0 -16
- package/dist/val/valutil.js.map +1 -1
- package/dist/vet.js +0 -461
- package/dist/vet.js.map +1 -1
- package/dist/view.js +0 -414
- package/dist/view.js.map +1 -1
- package/dist/walk.js +0 -41
- package/dist/walk.js.map +1 -1
- package/grammar/aontu.abnf +8 -6
- package/grammar/aontu.gbnf +4 -4
- package/grammar/aontu.lark +4 -4
- package/grammar/aontu.tmLanguage.json +1 -1
- package/package.json +4 -2
- package/src/agentsmd.ts +0 -35
- package/src/alias.ts +0 -39
- package/src/allow.ts +1 -96
- package/src/aontu.ts +3 -110
- package/src/aontumodel.ts +32 -0
- package/src/cli.ts +113 -682
- package/src/ctx.ts +0 -103
- package/src/diff.ts +0 -40
- package/src/err.ts +0 -40
- package/src/escape.ts +0 -46
- package/src/exactjson.ts +0 -131
- package/src/format.ts +14 -257
- package/src/grammar.ts +72 -0
- package/src/graph.ts +0 -61
- package/src/hcanon.ts +0 -82
- package/src/helpdoc.ts +1 -1
- package/src/hints.ts +66 -57
- package/src/jsonschema.ts +0 -123
- package/src/keyorder.ts +0 -42
- package/src/lang.ts +19 -931
- package/src/lower.ts +12 -62
- package/src/lsp-server.ts +0 -16
- package/src/lsp.ts +12 -180
- package/src/mcp-server.ts +0 -31
- package/src/mcp.ts +0 -130
- package/src/mod-tool.ts +0 -158
- package/src/mod.ts +0 -178
- package/src/patch.ts +0 -232
- package/src/provenance.ts +0 -183
- package/src/query.ts +0 -84
- package/src/reach.ts +0 -53
- package/src/relation.ts +0 -84
- package/src/render.ts +20 -172
- package/src/report-sarif.ts +0 -48
- package/src/sig.ts +0 -35
- package/src/sigdecl.ts +1 -1
- package/src/siggate.ts +0 -30
- package/src/site.ts +3 -29
- package/src/subsume.ts +1 -161
- package/src/template.ts +69 -140
- package/src/trim.ts +0 -53
- package/src/type.ts +2 -45
- package/src/unify.ts +13 -251
- package/src/utility.ts +0 -31
- package/src/val/AbnfFuncVal.ts +181 -0
- package/src/val/AbsentVal.ts +54 -0
- package/src/val/AggFuncVal.ts +152 -188
- package/src/val/ArithFuncVal.ts +0 -20
- package/src/val/BagVal.ts +1 -78
- package/src/val/BigDecimalVal.ts +0 -16
- package/src/val/BigIntegerVal.ts +0 -16
- package/src/val/CloseFuncVal.ts +0 -9
- package/src/val/CmpFuncVal.ts +4 -166
- package/src/val/ConjunctVal.ts +0 -33
- package/src/val/ConstraintVal.ts +2 -537
- package/src/val/ContainerKindVal.ts +0 -18
- package/src/val/CopyFuncVal.ts +0 -5
- package/src/val/Decimal.ts +1 -185
- package/src/val/DeprecateFuncVal.ts +0 -10
- package/src/val/DisjunctVal.ts +0 -157
- package/src/val/EachFuncVal.ts +0 -40
- package/src/val/EmitFuncVal.ts +8 -208
- package/src/val/ExpectVal.ts +0 -62
- package/src/val/FilterFuncVal.ts +0 -55
- package/src/val/FuncBaseVal.ts +9 -130
- package/src/val/GraphAtomVal.ts +0 -42
- package/src/val/HideFuncVal.ts +0 -15
- package/src/val/IntegerVal.ts +0 -61
- package/src/val/JunctionVal.ts +0 -20
- package/src/val/KeyFuncVal.ts +0 -48
- package/src/val/ListVal.ts +0 -59
- package/src/val/LowerFuncVal.ts +0 -12
- package/src/val/MapVal.ts +0 -151
- package/src/val/MatchFuncVal.ts +0 -59
- package/src/val/MaybeFuncVal.ts +86 -0
- package/src/val/MoveFuncVal.ts +0 -20
- package/src/val/NilVal.ts +0 -60
- package/src/val/NomFuncVal.ts +8 -95
- package/src/val/NumberVal.ts +0 -16
- package/src/val/OpBaseVal.ts +4 -17
- package/src/val/PackFuncVal.ts +0 -63
- package/src/val/PathFuncVal.ts +0 -32
- package/src/val/PathVal.ts +0 -66
- package/src/val/PlaceVal.ts +0 -45
- package/src/val/PlusOpVal.ts +18 -75
- package/src/val/PrefFuncVal.ts +0 -1
- package/src/val/PrefVal.ts +0 -179
- package/src/val/RecurseVal.ts +0 -81
- package/src/val/RefVal.ts +1 -285
- package/src/val/ReferFuncVal.ts +0 -255
- package/src/val/ScalarKindVal.ts +0 -50
- package/src/val/ScalarVal.ts +0 -12
- package/src/val/StrFuncVal.ts +0 -44
- package/src/val/SuperFuncVal.ts +0 -42
- package/src/val/TopVal.ts +0 -1
- package/src/val/TranslateFuncVal.ts +1 -51
- package/src/val/UpperFuncVal.ts +0 -12
- package/src/val/Val.ts +3 -192
- package/src/val/VarVal.ts +0 -15
- package/src/val/arith.ts +0 -92
- package/src/val/caserange.ts +0 -62
- package/src/val/members.ts +0 -23
- package/src/val/numcmp.ts +1 -27
- package/src/val/numkind.ts +0 -149
- package/src/val/valutil.ts +0 -16
- package/src/vet.ts +1 -582
- package/src/view.ts +0 -507
- package/src/walk.ts +0 -41
- package/dist/std.d.ts +0 -3
- package/dist/std.js +0 -672
- package/dist/std.js.map +0 -1
- package/dist/val/FormFuncVal.js +0 -55
- package/dist/val/FormFuncVal.js.map +0 -1
- package/dist/val/NamerFuncVal.d.ts +0 -12
- package/dist/val/NamerFuncVal.js +0 -176
- package/dist/val/NamerFuncVal.js.map +0 -1
- package/src/std.ts +0 -683
package/dist/val/VarVal.js
CHANGED
|
@@ -14,7 +14,6 @@ const numkind_1 = require("./numkind");
|
|
|
14
14
|
const utility_1 = require("../utility");
|
|
15
15
|
const unify_1 = require("../unify");
|
|
16
16
|
const top_1 = require("./top");
|
|
17
|
-
// TODO: KEY, SELF, PARENT are reserved names - error
|
|
18
17
|
class VarVal extends FeatureVal_1.FeatureVal {
|
|
19
18
|
constructor(spec, ctx) {
|
|
20
19
|
super(spec, ctx);
|
|
@@ -25,8 +24,6 @@ class VarVal extends FeatureVal_1.FeatureVal {
|
|
|
25
24
|
let out;
|
|
26
25
|
let nameVal;
|
|
27
26
|
if (this.peg.isVal) {
|
|
28
|
-
// $.a.b.c - convert path to absolute
|
|
29
|
-
// if (this.peg instanceof RefVal) {
|
|
30
27
|
if (this.peg.isRef) {
|
|
31
28
|
this.peg.absolute = true;
|
|
32
29
|
nameVal = this.peg;
|
|
@@ -41,14 +38,11 @@ class VarVal extends FeatureVal_1.FeatureVal {
|
|
|
41
38
|
}
|
|
42
39
|
}
|
|
43
40
|
else {
|
|
44
|
-
// TODO: how to pass row+col?
|
|
45
41
|
nameVal = new StringVal_1.StringVal({ peg: '' + this.peg }, ctx);
|
|
46
42
|
}
|
|
47
|
-
// if (!(nameVal instanceof RefVal) && DONE === nameVal.dc) {
|
|
48
43
|
if (!(nameVal.isRef) && type_1.DONE === nameVal.dc) {
|
|
49
44
|
if (nameVal instanceof StringVal_1.StringVal) {
|
|
50
45
|
let found = ctx.vars[nameVal.peg];
|
|
51
|
-
// TODO: support complex values
|
|
52
46
|
const ft = typeof found;
|
|
53
47
|
// Single ladder: a missing var must report `unknown_var` and not
|
|
54
48
|
// fall through to the `invalid_var_kind` default below.
|
|
@@ -80,10 +74,6 @@ class VarVal extends FeatureVal_1.FeatureVal {
|
|
|
80
74
|
else {
|
|
81
75
|
out = (0, err_1.makeNilErr)(ctx, 'invalid_var_kind', this, peer);
|
|
82
76
|
}
|
|
83
|
-
// A non-TOP peer (e.g. a spread constraint unified against the
|
|
84
|
-
// var) applies to the RESOLVED value rather than being silently
|
|
85
|
-
// dropped (mirrors VarVal.Unify in go/varval — the resolved
|
|
86
|
-
// value unites with the peer).
|
|
87
77
|
if (!out.isNil && null != peer && !peer.isTop) {
|
|
88
78
|
out = (0, unify_1.unite)(te ? ctx.clone({ explain: (0, utility_1.ec)(te, 'VAL') }) : ctx, out, peer, 'var-val');
|
|
89
79
|
}
|
|
@@ -111,14 +101,12 @@ class VarVal extends FeatureVal_1.FeatureVal {
|
|
|
111
101
|
gen(ctx) {
|
|
112
102
|
// Unresolved var cannot be generated, so always an error.
|
|
113
103
|
let nil = (0, err_1.makeNilErr)(ctx, 'var', this, undefined);
|
|
114
|
-
// TODO: refactor to use Site
|
|
115
104
|
nil.path = this.path;
|
|
116
105
|
nil.site.url = this.site.url;
|
|
117
106
|
nil.site.row = this.site.row;
|
|
118
107
|
nil.site.col = this.site.col;
|
|
119
108
|
(0, err_1.descErr)(nil, ctx);
|
|
120
109
|
if (ctx) {
|
|
121
|
-
// ctx.err.push(nil)
|
|
122
110
|
ctx.adderr(nil);
|
|
123
111
|
}
|
|
124
112
|
else {
|
package/dist/val/VarVal.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"VarVal.js","sourceRoot":"","sources":["../../src/val/VarVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;
|
|
1
|
+
{"version":3,"file":"VarVal.js","sourceRoot":"","sources":["../../src/val/VarVal.ts"],"names":[],"mappings":";AAAA,yDAAyD;;;AAQzD,kCAEgB;AAEhB,gCAIe;AAOf,2CAAuC;AACvC,6CAAyC;AACzC,uCAAmC;AACnC,6CAAyC;AACzC,2CAAuC;AACvC,6CAAyC;AACzC,uCAAyC;AAGzC,wCAImB;AAEnB,oCAAgC;AAEhC,+BAA2B;AAG3B,MAAM,MAAO,SAAQ,uBAAU;IAG7B,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,UAAK,GAAG,IAAI,CAAA;IAOZ,CAAC;IAGD,KAAK,CAAC,IAAS,EAAE,GAAiB;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,IAAI,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAE1E,IAAI,GAAQ,CAAA;QAEZ,IAAI,OAAO,CAAA;QAEX,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBACnB,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAA;gBACxB,OAAO,GAAG,IAAI,CAAC,GAAG,CAAA;YACpB,CAAC;iBACI,CAAC;gBACJ,8DAA8D;gBAC9D,uDAAuD;gBACvD,yDAAyD;gBACzD,4DAA4D;gBAC5D,YAAY;gBACZ,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAA,SAAG,GAAE,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;YACnF,CAAC;QACH,CAAC;aACI,CAAC;YACJ,OAAO,GAAG,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,CAAA;QACtD,CAAC;QAED,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,WAAI,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,OAAO,YAAY,qBAAS,EAAE,CAAC;gBACjC,IAAI,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;gBAEjC,MAAM,EAAE,GAAG,OAAO,KAAK,CAAA;gBACvB,iEAAiE;gBACjE,wDAAwD;gBACxD,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;oBACxB,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;gBAClD,CAAC;qBACI,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;oBACxB,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,iBAAO,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;gBAC9C,CAAC;qBACI,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;oBACzB,GAAG,GAAG,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;gBACrC,CAAC;qBACI,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;oBAC1B,GAAG,GAAG,IAAI,uBAAU,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;gBACtC,CAAC;qBACI,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;oBACzB,8DAA8D;oBAC9D,6DAA6D;oBAC7D,0BAA0B;oBAC1B,wDAAwD;oBACxD,4DAA4D;oBAC5D,GAAG,GAAG,IAAA,uBAAa,EAAC,KAA0B,CAAC,CAAC,CAAC;wBAC/C,IAAI,uBAAU,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;wBAChC,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;gBACjC,CAAC;qBACI,IAAI,QAAQ,KAAK,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;oBACxC,GAAG,GAAG,KAAK,CAAA;gBACb,CAAC;qBACI,CAAC;oBACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;gBACvD,CAAC;gBAED,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC9C,GAAG,GAAG,IAAA,aAAK,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAA,YAAE,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAC1D,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;gBACzB,CAAC;YACH,CAAC;iBACI,CAAC;gBACJ,GAAG,GAAG,IAAA,gBAAU,EAAC,GAAG,EAAE,MAAM,GAAG,OAAO,OAAO,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YAClE,CAAC;QACH,CAAC;aACI,CAAC;YACJ,GAAG,GAAG,OAAO,CAAA;QACf,CAAC;QAED,IAAA,sBAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAErB,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,CAAC,IAAS;QACZ,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,YAAY,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAA;IAC/E,CAAC;IAGD,KAAK,CAAC,GAAiB,EAAE,IAAc;QACrC,IAAI,GAAG,GAAI,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAY,CAAA;QAC5C,OAAO,GAAG,CAAA;IACZ,CAAC;IAGD,IAAI,KAAK;QACP,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;IACjE,CAAC;IAGD,GAAG,CAAC,GAAkB;QACpB,0DAA0D;QAC1D,IAAI,GAAG,GAAG,IAAA,gBAAU,EAClB,GAAG,EACH,KAAK,EACL,IAAI,EACJ,SAAS,CACV,CAAA;QAED,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAE5B,IAAA,aAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAEjB,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACjB,CAAC;aACI,CAAC;YACJ,MAAM,IAAI,gBAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/B,CAAC;QAED,OAAO,SAAS,CAAA;IAClB,CAAC;CACF,CAAC,iCAAiC;QAIjC,MAAM"}
|
package/dist/val/arith.js
CHANGED
|
@@ -31,9 +31,6 @@ function unpref(v) {
|
|
|
31
31
|
return v;
|
|
32
32
|
}
|
|
33
33
|
function arithKind(v) {
|
|
34
|
-
// Every caller hands a driven Val (an operand past the signature
|
|
35
|
-
// gate, or a bag member from the aggregate fold), so scalarhood is
|
|
36
|
-
// the one question -- a container member lands here.
|
|
37
34
|
if (true !== v?.isScalar) {
|
|
38
35
|
return undefined;
|
|
39
36
|
}
|
|
@@ -48,31 +45,18 @@ function arithKind(v) {
|
|
|
48
45
|
}
|
|
49
46
|
return 'number' === typeof v.peg ? 'float' : undefined;
|
|
50
47
|
}
|
|
51
|
-
// An exact-ladder operand as an exact integer. Only reached for the two
|
|
52
|
-
// integral leaves; an `integer` peg is integral by construction.
|
|
53
48
|
function asInteger(v, k) {
|
|
54
49
|
return 'biginteger' === k ? v.peg : BigInt(v.peg);
|
|
55
50
|
}
|
|
56
51
|
function asDecimal(v, k) {
|
|
57
52
|
return 'bigdecimal' === k ? v.peg : new Decimal_1.Decimal(asInteger(v, k), 0);
|
|
58
53
|
}
|
|
59
|
-
// The whole family, in one function, because every rule above is a rule
|
|
60
|
-
// about ARITHMETIC and not about any one operation. `node` is the value
|
|
61
|
-
// the error is located at -- the call, or the `+` op.
|
|
62
|
-
// `attempt` is the name the ERROR reports, which is the operation
|
|
63
|
-
// except when a fold borrows one: `sum` adds, but a bad member is the
|
|
64
|
-
// author's `sum` call and must say so.
|
|
65
54
|
function arith(ctx, op, node, a, b, attempt) {
|
|
66
55
|
const name = attempt ?? op;
|
|
67
56
|
const av = unpref(a);
|
|
68
57
|
const bv = unpref(b);
|
|
69
58
|
const ak = arithKind(av);
|
|
70
59
|
const bk = arithKind(bv);
|
|
71
|
-
// A non-numeric operand is not something to wait for: `resolve` is
|
|
72
|
-
// only reached once every argument has settled, so a kind, a map, a
|
|
73
|
-
// string or a boolean here is the author's mistake and is named as
|
|
74
|
-
// one. (`+` differs, and must: it has answers for strings and
|
|
75
|
-
// booleans.)
|
|
76
60
|
if (undefined === ak || undefined === bk) {
|
|
77
61
|
return (0, err_1.makeNilErr)(ctx, 'invalid-arg', node, undefined, name);
|
|
78
62
|
}
|
|
@@ -90,9 +74,6 @@ function arith(ctx, op, node, a, b, attempt) {
|
|
|
90
74
|
}
|
|
91
75
|
return integerArith(ctx, op, name, node, asInteger(av, ak), asInteger(bv, bk), EXACT_RANK.biginteger === rank);
|
|
92
76
|
}
|
|
93
|
-
// IEEE-754 binary64, with the JSON-superset constraint still biting: an
|
|
94
|
-
// infinite or NaN result is a located error rather than a value, because
|
|
95
|
-
// there is no way to write one down and no JSON that could carry it.
|
|
96
77
|
function floatArith(ctx, op, name, node, x, y) {
|
|
97
78
|
if (divides(op) && 0 === y) {
|
|
98
79
|
return (0, err_1.makeNilErr)(ctx, 'divide_by_zero', node, undefined, name);
|
|
@@ -104,10 +85,6 @@ function floatArith(ctx, op, name, node, x, y) {
|
|
|
104
85
|
// Truncated remainder, sign following the DIVIDEND, which is
|
|
105
86
|
// what JavaScript's `%` and Go's math.Mod both give...
|
|
106
87
|
'rem' === op ? x % y :
|
|
107
|
-
// ...and the floored modulus, sign following the DIVISOR,
|
|
108
|
-
// built from it. Adding the divisor back moves a remainder
|
|
109
|
-
// whose sign disagrees into agreement, and leaves an exact
|
|
110
|
-
// zero alone.
|
|
111
88
|
flooredMod(x % y, y);
|
|
112
89
|
return Number.isFinite(out) ?
|
|
113
90
|
new NumberVal_1.NumberVal({ peg: out }) :
|
|
@@ -126,11 +103,6 @@ function integerArith(ctx, op, name, node, x, y, big) {
|
|
|
126
103
|
const out = 'add' === op ? x + y :
|
|
127
104
|
'sub' === op ? x - y :
|
|
128
105
|
'mul' === op ? x * y :
|
|
129
|
-
// TRUNCATION TOWARD ZERO, stated once here rather than left to
|
|
130
|
-
// whichever host `/` each port happens to call: div(-7, 2) is
|
|
131
|
-
// -3, not -4. BigInt division truncates, and so does Go's
|
|
132
|
-
// big.Int.Quo (its Div floors, which is why the Go twin must
|
|
133
|
-
// not use it).
|
|
134
106
|
'div' === op ? x / y :
|
|
135
107
|
'rem' === op ? x % y :
|
|
136
108
|
flooredModBig(x % y, y);
|
|
@@ -139,11 +111,6 @@ function integerArith(ctx, op, name, node, x, y, big) {
|
|
|
139
111
|
// `integer` however small the result.
|
|
140
112
|
return new BigIntegerVal_1.BigIntegerVal({ peg: out });
|
|
141
113
|
}
|
|
142
|
-
// The result faces the SAME storage contract R1 puts on a literal --
|
|
143
|
-
// integral, inside the int64 window, and exactly representable in
|
|
144
|
-
// binary64 -- because Go's int64 holds results TypeScript's double
|
|
145
|
-
// cannot, and without a shared test a document would resolve in one
|
|
146
|
-
// port and round in the other.
|
|
147
114
|
return (0, numkind_1.isIntegerStorable)(out) ?
|
|
148
115
|
new IntegerVal_1.IntegerVal({ peg: Number(out) }) :
|
|
149
116
|
(0, err_1.makeNilErr)(ctx, 'inexact_integer_sum', node, undefined, name, { sum: out.toString() });
|
|
@@ -155,10 +122,6 @@ function flooredModBig(rem, y) {
|
|
|
155
122
|
// coefficient arithmetic and land here; division does not, and says so.
|
|
156
123
|
function decimalArith(ctx, op, name, node, x, y) {
|
|
157
124
|
if (divides(op)) {
|
|
158
|
-
// EXACT DECIMAL DIVISION IS NOT CLOSED: one third has no finite
|
|
159
|
-
// decimal form, so a `div` over this leaf either rounds -- the one
|
|
160
|
-
// thing the leaf exists to refuse -- or refuses. It refuses, and the
|
|
161
|
-
// hint names both ways out.
|
|
162
125
|
return (0, err_1.makeNilErr)(ctx, 'inexact_divide', node, undefined, name);
|
|
163
126
|
}
|
|
164
127
|
const out = 'add' === op ? x.add(y) :
|
package/dist/val/arith.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"arith.js","sourceRoot":"","sources":["../../src/val/arith.ts"],"names":[],"mappings":";AAAA,oDAAoD;;
|
|
1
|
+
{"version":3,"file":"arith.js","sourceRoot":"","sources":["../../src/val/arith.ts"],"names":[],"mappings":";AAAA,oDAAoD;;QAiOlD,KAAK;AA3NP,gCAAmC;AAEnC,6CAAyC;AACzC,2CAAuC;AACvC,mDAA+C;AAC/C,mDAA+C;AAC/C,uCAAsD;AACtD,uCAA6C;AAK7C,sEAAsE;AACtE,wDAAwD;AACxD,SAAS,OAAO,CAAC,EAAW;IAC1B,OAAO,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE,CAAA;AACrD,CAAC;AAOD,MAAM,UAAU,GAA2B;IACzC,OAAO,EAAE,CAAC;IACV,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,CAAC;CACd,CAAA;AAGD,SAAS,KAAK,CAAC,CAAY;IACzB,OAAO,YAAY,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,CAAA;AACjD,CAAC;AAGD,qEAAqE;AACrE,iDAAiD;AACjD,SAAS,MAAM,CAAC,CAAM;IACpB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAA;IACX,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAGD,SAAS,SAAS,CAAC,CAAM;IACvB,IAAI,IAAI,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;QACzB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,YAAY,CAAA;IACrB,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,YAAY,CAAA;IACrB,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QAChB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;AACxD,CAAC;AAGD,SAAS,SAAS,CAAC,CAAM,EAAE,CAAY;IACrC,OAAO,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AACnD,CAAC;AAGD,SAAS,SAAS,CAAC,CAAM,EAAE,CAAY;IACrC,OAAO,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,iBAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACrE,CAAC;AAGD,SAAS,KAAK,CACZ,GAA6B,EAC7B,EAAW,EACX,IAAS,EACT,CAAM,EACN,CAAM,EACN,OAAgB;IAEhB,MAAM,IAAI,GAAG,OAAO,IAAI,EAAE,CAAA;IAC1B,MAAM,EAAE,GAAQ,MAAM,CAAC,CAAC,CAAC,CAAA;IACzB,MAAM,EAAE,GAAQ,MAAM,CAAC,CAAC,CAAC,CAAA;IACzB,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAA;IACxB,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAA;IAExB,IAAI,SAAS,KAAK,EAAE,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACzC,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;IAC9D,CAAC;IAED,sEAAsE;IACtE,uDAAuD;IACvD,IAAI,CAAC,OAAO,KAAK,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,OAAO,KAAK,EAAE,CAAC,EAAE,CAAC;QACnE,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAC7D,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAA;IAC5B,CAAC;IAED,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;QACrC,OAAO,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAA;IACxD,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IAE9E,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACnC,OAAO,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChF,CAAC;IAED,OAAO,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EACxD,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,UAAU,KAAK,IAAI,CAAC,CAAA;AACtD,CAAC;AAGD,SAAS,UAAU,CACjB,GAA6B,EAC7B,EAAW,EACX,IAAY,EACZ,IAAS,EACT,CAAS,EACT,CAAS;IAET,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;IACjE,CAAC;IAED,MAAM,GAAG,GACP,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACpB,6DAA6D;oBAC7D,uDAAuD;oBACvD,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;wBACpB,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAEhC,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,IAAI,qBAAS,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,gBAAU,EAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;AAC5D,CAAC;AAGD,SAAS,UAAU,CAAC,GAAW,EAAE,CAAS;IACxC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;AAC3D,CAAC;AAGD,uEAAuE;AACvE,wEAAwE;AACxE,mEAAmE;AACnE,SAAS,YAAY,CACnB,GAA6B,EAC7B,EAAW,EACX,IAAY,EACZ,IAAS,EACT,CAAS,EACT,CAAS,EACT,GAAY;IAEZ,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;IACjE,CAAC;IAED,MAAM,GAAG,GACP,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACpB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;wBACpB,aAAa,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnC,IAAI,GAAG,EAAE,CAAC;QACR,4DAA4D;QAC5D,sCAAsC;QACtC,OAAO,IAAI,6BAAa,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IACxC,CAAC;IAED,OAAO,IAAA,2BAAiB,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,IAAI,uBAAU,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,gBAAU,EAAC,GAAG,EAAE,qBAAqB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAC1D,EAAE,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;AAC9B,CAAC;AAGD,SAAS,aAAa,CAAC,GAAW,EAAE,CAAS;IAC3C,OAAO,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;AAC9D,CAAC;AAGD,uEAAuE;AACvE,wEAAwE;AACxE,SAAS,YAAY,CACnB,GAA6B,EAC7B,EAAW,EACX,IAAY,EACZ,IAAS,EACT,CAAU,EACV,CAAU;IAEV,IAAI,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAChB,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;IACjE,CAAC;IAED,MAAM,GAAG,GACP,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;IAEnB,qEAAqE;IACrE,qDAAqD;IACrD,OAAO,IAAA,2BAAiB,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,IAAA,gBAAU,EAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,IAAI,6BAAa,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;AACnC,CAAC,CAAC,iCAAiC"}
|
package/dist/val/caserange.js
CHANGED
|
@@ -4,68 +4,14 @@ Object.defineProperty(exports, "__esModule", { value: true });
|
|
|
4
4
|
exports.caseSpan = caseSpan;
|
|
5
5
|
exports.caseRange = caseRange;
|
|
6
6
|
exports.rangeArg = rangeArg;
|
|
7
|
-
// THE RANGE `upper` AND `lower` TAKE.
|
|
8
|
-
//
|
|
9
|
-
// upper(s) the whole string
|
|
10
|
-
// upper(s, start) from `start` to the end
|
|
11
|
-
// upper(s, start, len) `len` characters
|
|
12
|
-
//
|
|
13
|
-
// `start` IS A BOUNDARY, NOT A CHARACTER. Zero or positive, it is
|
|
14
|
-
// where the run BEGINS and the run reaches forward; negative, it counts
|
|
15
|
-
// from the end and is where the run STOPS -- the character it lands on
|
|
16
|
-
// is the first one NOT modified. One index, two directions, and no
|
|
17
|
-
// second argument to say which:
|
|
18
|
-
//
|
|
19
|
-
// upper("foo", 0, 1) "Foo" begins at 0, one character
|
|
20
|
-
// lower("FOOBAR", -3, -1) "fooBAR" stops before the last three
|
|
21
|
-
//
|
|
22
|
-
// `len` of -1 means THE LENGTH OF THE SOURCE, which is how "and the
|
|
23
|
-
// rest of it" is spelled in either direction, and is also the default:
|
|
24
|
-
//
|
|
25
|
-
// lower("FOO", 1, -1) "Foo" from 1 to the end
|
|
26
|
-
// lower("FOOBAR", -1) "foobaR" everything but the last
|
|
27
|
-
//
|
|
28
|
-
// The exclusive reading is why `-0` is not a spelling: it is `0`, and
|
|
29
|
-
// so begins a forward run. The whole string is `upper(s)`.
|
|
30
|
-
//
|
|
31
|
-
// BOTH ENDS CLAMP rather than refuse. A run reaching past either end
|
|
32
|
-
// modifies as much of the string as exists, and one that lands wholly
|
|
33
|
-
// outside it modifies nothing — an out-of-range index is not a
|
|
34
|
-
// different KIND of answer, it is the same answer over a shorter run.
|
|
35
|
-
//
|
|
36
|
-
// CODE POINTS, NOT UTF-16 UNITS, so an index means the same thing in
|
|
37
|
-
// both ports: one index is one Go rune. Twin: caseSpan/caseRange in
|
|
38
|
-
// go/func.go.
|
|
39
|
-
//
|
|
40
|
-
// THE CASE MAPPING IS THE WHOLE-STRING ONE, applied to the slice, so
|
|
41
|
-
// `upper(s)` and `upper(s, 0, -1)` are the same bytes. Two consequences
|
|
42
|
-
// follow from full Unicode case mapping and are properties of the
|
|
43
|
-
// mapping rather than of this range:
|
|
44
|
-
//
|
|
45
|
-
// - THE RESULT MAY BE LONGER than the source, because full mapping is
|
|
46
|
-
// not one-in-one-out: `upper("straße", 3, 3)` is "straSSE".
|
|
47
|
-
// - FINAL SIGMA IS DECIDED WITHIN THE SLICE, since a slice taken out
|
|
48
|
-
// of its word has no following letter to see. A medial sigma cased
|
|
49
|
-
// alone lowercases as a final one.
|
|
50
|
-
//
|
|
51
|
-
// Both are stated here rather than worked around: silently widening
|
|
52
|
-
// the slice to keep context would make the run something other than
|
|
53
|
-
// what the author asked for.
|
|
54
7
|
// The half-open code-point span [lo, hi) a (start, len) selects over a
|
|
55
8
|
// string of `n` code points.
|
|
56
9
|
function caseSpan(n, start, len) {
|
|
57
|
-
// -1 is the source's length, and so is any other negative: there is
|
|
58
|
-
// no meaningful run of "minus two" characters, and refusing one would
|
|
59
|
-
// be a second rule for no gain.
|
|
60
10
|
const span = len < 0 ? n : len;
|
|
61
11
|
if (0 <= start) {
|
|
62
12
|
const lo = Math.min(start, n);
|
|
63
13
|
return [lo, Math.min(lo + span, n)];
|
|
64
14
|
}
|
|
65
|
-
// A negative start is where the run STOPS: the character it lands on
|
|
66
|
-
// is the first one not modified, so the run reaches back from it. No
|
|
67
|
-
// upper clamp: start is negative here, so n+start is below n by
|
|
68
|
-
// construction.
|
|
69
15
|
const hi = Math.max(0, n + start);
|
|
70
16
|
return [Math.max(0, hi - span), hi];
|
|
71
17
|
}
|
|
@@ -82,9 +28,6 @@ function caseRange(text, start, len, up) {
|
|
|
82
28
|
(up ? mid.toUpperCase() : mid.toLowerCase()) +
|
|
83
29
|
cps.slice(hi).join('');
|
|
84
30
|
}
|
|
85
|
-
// The integer a range argument carries, or undefined when it is not
|
|
86
|
-
// one. `undefined` for an absent argument is the caller's default, not
|
|
87
|
-
// a refusal — these are optional.
|
|
88
31
|
function rangeArg(v) {
|
|
89
32
|
if (null == v) {
|
|
90
33
|
return undefined;
|
|
@@ -101,10 +44,6 @@ function rangeArg(v) {
|
|
|
101
44
|
return n;
|
|
102
45
|
}
|
|
103
46
|
}
|
|
104
|
-
// ONE REFUSAL for every way an argument can fail to be an index: not
|
|
105
|
-
// a scalar at all (a preference reaches here, the signature gate
|
|
106
|
-
// having nothing to check), a scalar of another kind, or a biginteger
|
|
107
|
-
// too large to be a position in a string.
|
|
108
47
|
return NaN;
|
|
109
48
|
}
|
|
110
49
|
//# sourceMappingURL=caserange.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"caserange.js","sourceRoot":"","sources":["../../src/val/caserange.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;;;
|
|
1
|
+
{"version":3,"file":"caserange.js","sourceRoot":"","sources":["../../src/val/caserange.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;;;AAGpD,uEAAuE;AACvE,6BAA6B;AAC7B,kBAAyB,CAAS,EAAE,KAAa,EAAE,GAAW;IAC5D,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IAE9B,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACf,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;QAC7B,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;IAED,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAA;IACjC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;AACrC,CAAC;AAGD,oEAAoE;AACpE,gDAAgD;AAChD,mBACE,IAAY,EAAE,KAAa,EAAE,GAAW,EAAE,EAAW;IAErD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC5B,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QACb,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACtC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;QAC5C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAC1B,CAAC;AAGD,kBAAyB,CAAM;IAC7B,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;IACpD,IAAI,QAAQ,KAAK,OAAO,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,OAAO,CAAC,CAAA;IACV,CAAC;IACD,qEAAqE;IACrE,8CAA8C;IAC9C,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,CAAA;QACV,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}
|
package/dist/val/members.js
CHANGED
|
@@ -13,12 +13,6 @@ function bagMembers(data, ctx) {
|
|
|
13
13
|
const keys = true === data.isMap ?
|
|
14
14
|
Object.keys(data.peg).sort(keyorder_1.cmpCodePoint) :
|
|
15
15
|
data.peg.map((_v, i) => '' + i);
|
|
16
|
-
// A member marked while its bag is not was marked in its own right,
|
|
17
|
-
// and is left out as generation leaves it out. Under a MARKED bag
|
|
18
|
-
// every child carries the mark (hide() and type() mark to the
|
|
19
|
-
// leaves), so there the mark says nothing about the member and every
|
|
20
|
-
// child is one -- the members of a hidden bag are what the bag
|
|
21
|
-
// holds, exactly as a reference to it lifts them.
|
|
22
16
|
const lifted = true === data.mark.hide || true === data.mark.type;
|
|
23
17
|
const out = [];
|
|
24
18
|
for (const key of keys) {
|
package/dist/val/members.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"members.js","sourceRoot":"","sources":["../../src/val/members.ts"],"names":[],"mappings":";AAAA,oDAAoD;;
|
|
1
|
+
{"version":3,"file":"members.js","sourceRoot":"","sources":["../../src/val/members.ts"],"names":[],"mappings":";AAAA,oDAAoD;;QA4DlD,UAAU;QACV,UAAU;AAxDZ,0CAA0C;AAC1C,+BAA6B;AAC7B,qCAAqC;AAMrC,SAAS,UAAU,CAAC,IAAS,EAAE,GAAiB;IAC9C,IAAI,IAAI,KAAK,IAAI,EAAE,KAAK,IAAI,IAAI,KAAK,IAAI,EAAE,MAAM,EAAE,CAAC;QAClD,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,MAAM,IAAI,GAAa,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,uBAAY,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,GAAa,CAAC,GAAG,CAAC,CAAC,EAAO,EAAE,CAAS,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IAEzD,MAAM,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IAEjE,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;eAC9D,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACzD,SAAQ;QACV,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,qEAAqE;AACrE,uEAAuE;AACvE,mEAAmE;AACnE,SAAS,MAAM,CAAC,GAAQ,EAAE,GAAiB;IACzC,IAAI,CAAC,IAAA,mBAAU,EAAC,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAC3D,OAAO,SAAS,KAAK,IAAI,IAAI,CAAC,IAAA,WAAK,EAAC,IAAI,CAAC,CAAA;AAC3C,CAAC;AAGD,oEAAoE;AACpE,SAAS,UAAU,CAAC,IAAS,EAAE,GAAiB;IAC9C,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACrC,OAAO,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AACtE,CAAC,CAAC,iCAAiC"}
|
package/dist/val/numcmp.js
CHANGED
|
@@ -28,8 +28,6 @@ function scaledOfFloat(f) {
|
|
|
28
28
|
const sign = (bits >> 63n) & 1n ? -1n : 1n;
|
|
29
29
|
const expBits = Number((bits >> 52n) & 0x7ffn);
|
|
30
30
|
const frac = bits & 0xfffffffffffffn;
|
|
31
|
-
// Normal: implicit leading bit, exponent bias 1023 plus the 52
|
|
32
|
-
// fraction bits. Subnormal: no implicit bit, fixed exponent -1074.
|
|
33
31
|
let mant;
|
|
34
32
|
let exp;
|
|
35
33
|
if (0 === expBits) {
|
|
@@ -61,7 +59,6 @@ function scaledOfNumeric(v) {
|
|
|
61
59
|
function pow10(n) {
|
|
62
60
|
return 10n ** BigInt(n);
|
|
63
61
|
}
|
|
64
|
-
// Exact three-way comparison of two scaled decimals.
|
|
65
62
|
function cmpScaled(a, b) {
|
|
66
63
|
const ai = a.inf ?? 0;
|
|
67
64
|
const bi = b.inf ?? 0;
|
|
@@ -78,14 +75,9 @@ function cmpScaled(a, b) {
|
|
|
78
75
|
}
|
|
79
76
|
return au < bu ? -1 : au > bu ? 1 : 0;
|
|
80
77
|
}
|
|
81
|
-
// Exact three-way comparison of two numeric leaf Vals, any leaves.
|
|
82
78
|
function cmpNumeric(a, b) {
|
|
83
79
|
return cmpScaled(scaledOfNumeric(a), scaledOfNumeric(b));
|
|
84
80
|
}
|
|
85
|
-
// Lexical comparison by Unicode CODE POINTS — not UTF-16 code units,
|
|
86
|
-
// which order astral-plane text differently. Go compares strings
|
|
87
|
-
// byte-wise in UTF-8, which IS code-point order, so this is the side
|
|
88
|
-
// that must adapt (a Phase 0 decision, docs/reference-language.md).
|
|
89
81
|
function cmpCodePoints(a, b) {
|
|
90
82
|
let ai = 0;
|
|
91
83
|
let bi = 0;
|
|
@@ -102,9 +94,6 @@ function cmpCodePoints(a, b) {
|
|
|
102
94
|
const br = b.length - bi;
|
|
103
95
|
return ar < br ? -1 : ar > br ? 1 : 0;
|
|
104
96
|
}
|
|
105
|
-
// The tower order integer < float < biginteger < bigdecimal, used when
|
|
106
|
-
// two endpoints at the SAME point meet: the survivor is the
|
|
107
|
-
// tower-lowest spelling (docs/reference-language.md, bounds ruling 2).
|
|
108
97
|
function towerRank(v) {
|
|
109
98
|
return v.isBigDecimal ? 3 : v.isBigInteger ? 2 :
|
|
110
99
|
v.isInteger ? 0 : 1;
|
package/dist/val/numcmp.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"numcmp.js","sourceRoot":"","sources":["../../src/val/numcmp.ts"],"names":[],"mappings":";AAAA,oDAAoD;;
|
|
1
|
+
{"version":3,"file":"numcmp.js","sourceRoot":"","sources":["../../src/val/numcmp.ts"],"names":[],"mappings":";AAAA,oDAAoD;;QA0JlD,aAAa;QACb,eAAe;QACf,SAAS;QACT,UAAU;QACV,aAAa;QACb,SAAS;QACT,gBAAgB;QAChB,WAAW;AAhJb,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAG5C,mEAAmE;AACnE,SAAS,aAAa,CAAC,CAAS;IAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC1C,CAAC;IACD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC3C,CAAC;IACD,IAAI,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC5C,CAAC;IAED,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACpB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACnC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACnC,MAAM,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAA;IAE7B,MAAM,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,gBAAgB,CAAA;IAEpC,IAAI,IAAY,CAAA;IAChB,IAAI,GAAW,CAAA;IACf,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;QAClB,IAAI,GAAG,IAAI,CAAA;QACX,GAAG,GAAG,CAAC,IAAI,CAAA;IACb,CAAC;SACI,CAAC;QACJ,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAA;QACzB,GAAG,GAAG,OAAO,GAAG,IAAI,CAAA;IACtB,CAAC;IAED,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC7D,CAAC;IACD,6CAA6C;IAC7C,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,EAAE,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAA;AACpE,CAAC;AAGD,0DAA0D;AAC1D,SAAS,eAAe,CAAC,CAAM;IAC7B,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAa,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAChD,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAc,CAAA;QAC1B,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;IACjD,CAAC;IACD,iDAAiD;IACjD,OAAO,aAAa,CAAC,CAAC,CAAC,GAAa,CAAC,CAAA;AACvC,CAAC;AAGD,SAAS,KAAK,CAAC,CAAS;IACtB,OAAO,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAA;AACzB,CAAC;AAGD,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IACrB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IACrB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACzB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;IACD,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAA;IACnB,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAA;IACnB,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACtB,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;IAChC,CAAC;SACI,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3B,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvC,CAAC;AAGD,SAAS,UAAU,CAAC,CAAM,EAAE,CAAM;IAChC,OAAO,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;AAC1D,CAAC;AAGD,SAAS,aAAa,CAAC,CAAS,EAAE,CAAS;IACzC,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,CAAW,CAAA;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,CAAW,CAAA;QACtC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzB,CAAC;QACD,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzB,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAA;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAA;IACxB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvC,CAAC;AAGD,SAAS,SAAS,CAAC,CAAM;IACvB,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvB,CAAC;AAGD,kEAAkE;AAClE,SAAS,gBAAgB,CAAC,CAAS;IACjC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;QACV,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QAClB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACxB,OAAO,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAA;AAC9B,CAAC;AAGD,sEAAsE;AACtE,+BAA+B;AAC/B,SAAS,WAAW,CAAC,CAAS;IAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QAClB,OAAO,CAAC,CAAC,QAAQ,CAAA;IACnB,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAA;IACxB,4DAA4D;IAC5D,OAAO,CAAC,CAAC,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AAChE,CAAC,CAAC,kCAAkC"}
|
package/dist/val/numkind.js
CHANGED
|
@@ -6,142 +6,31 @@ exports.isExactInBinary64 = isExactInBinary64;
|
|
|
6
6
|
exports.isIntegerKind = isIntegerKind;
|
|
7
7
|
exports.isIntegerStorable = isIntegerStorable;
|
|
8
8
|
exports.isLossyIntegerLiteral = isLossyIntegerLiteral;
|
|
9
|
-
/*
|
|
10
|
-
* Numeric kind classification, shared by every site that turns a raw
|
|
11
|
-
* JavaScript number into an IntegerVal or a NumberVal (the aontu val
|
|
12
|
-
* rule, rawToVal, VarVal, the `+` operator, upper()/lower()). Keeping
|
|
13
|
-
* the test in one place stops those sites from drifting apart, and
|
|
14
|
-
* stops them drifting from the Go port (see isIntegerKind in
|
|
15
|
-
* go/lang.go).
|
|
16
|
-
*
|
|
17
|
-
* This module deliberately imports nothing: IntegerVal itself needs the
|
|
18
|
-
* test for its constructor guard, so any import here risks a cycle.
|
|
19
|
-
*/
|
|
20
|
-
// The int64 range, as exact float64 bounds. -2^63 and 2^63 are both
|
|
21
|
-
// exactly representable; 2^63-1 is NOT (it rounds up to 2^63), which is
|
|
22
|
-
// why the upper bound is exclusive and 0x7fffffffffffffff correctly
|
|
23
|
-
// falls outside.
|
|
24
9
|
const INT64_MIN = -9223372036854775808.0;
|
|
25
10
|
const INT64_LIMIT = 9223372036854775808.0;
|
|
26
|
-
// True when a numeric literal has *integer* kind. All three conditions
|
|
27
|
-
// must hold:
|
|
28
|
-
// (a) the source text, when there is any, contains no '.'
|
|
29
|
-
// (b) the value is integral
|
|
30
|
-
// (c) the value lies within the int64 range
|
|
31
|
-
//
|
|
32
|
-
// The range test is written against the float64 bounds rather than as
|
|
33
|
-
// `n === Number(BigInt(n))` or Go's `n == float64(int64(n))`: converting
|
|
34
|
-
// an out-of-range float64 to int64 is implementation-defined in Go, and
|
|
35
|
-
// that accident is exactly what the two ports used to disagree about.
|
|
36
|
-
//
|
|
37
|
-
// `src` is undefined at construction sites with no source text (raw
|
|
38
|
-
// values from an implicit top-level list, or a $var binding); there
|
|
39
|
-
// condition (a) is vacuous and (b)+(c) decide.
|
|
40
11
|
function isIntegerKind(n, src) {
|
|
41
12
|
if (null != src && src.includes('.')) {
|
|
42
13
|
return false;
|
|
43
14
|
}
|
|
44
|
-
// Number.isInteger is false for NaN and both infinities, so a
|
|
45
|
-
// non-finite value never reaches the range test.
|
|
46
15
|
return Number.isInteger(n) && INT64_MIN <= n && n < INT64_LIMIT;
|
|
47
16
|
}
|
|
48
|
-
// The same int64 window, exactly, for values that were computed as
|
|
49
|
-
// bigints and have not been through a double yet.
|
|
50
17
|
const INT64_MIN_EXACT = -9223372036854775808n;
|
|
51
18
|
const INT64_LIMIT_EXACT = 9223372036854775808n;
|
|
52
|
-
// D6 -- THE STORAGE CONTRACT FOR AN EXACTLY COMPUTED INTEGER.
|
|
53
|
-
//
|
|
54
|
-
// `integer + integer` is computed exactly (in bigint here, in checked
|
|
55
|
-
// int64 in Go) and the exact answer is only then offered to the integer
|
|
56
|
-
// leaf, which accepts it when it is integral (a bigint always is),
|
|
57
|
-
// within the int64 window, AND exactly representable in binary64.
|
|
58
|
-
//
|
|
59
|
-
// The binary64 half is the parity-critical one. Go's int64 can hold sums
|
|
60
|
-
// this port's double cannot -- 2^53+1 among them -- so a test written
|
|
61
|
-
// only against the int64 window would let Go store `9007199254740993`
|
|
62
|
-
// while TypeScript silently stored `...992`. The round-trip through
|
|
63
|
-
// Number() is that test: it is true exactly when nothing was lost. Both
|
|
64
|
-
// ports must refuse the same sums, which is why this is the shared
|
|
65
|
-
// contract and not a local convenience.
|
|
66
|
-
//
|
|
67
|
-
// Refusal, not rounding: a sum that fails here is a located error whose
|
|
68
|
-
// hint points at `0d` for an exact integer, per R1's own storage rule
|
|
69
|
-
// applied to a result rather than a literal.
|
|
70
19
|
function isIntegerStorable(n) {
|
|
71
20
|
return INT64_MIN_EXACT <= n && n < INT64_LIMIT_EXACT &&
|
|
72
21
|
isExactInBinary64(n);
|
|
73
22
|
}
|
|
74
|
-
// The binary64 half of the storage contract, on its own: true when an
|
|
75
|
-
// exact integer survives a round trip through a double unchanged.
|
|
76
|
-
//
|
|
77
|
-
// D7's literal rule needs exactly this half and NOT the int64 window --
|
|
78
|
-
// 10^20 is outside int64 and is still a perfectly good float-kind value,
|
|
79
|
-
// because it lands exactly on a binary64. THE RULE IS EXACTNESS, NOT
|
|
80
|
-
// MAGNITUDE: `0x10000000000000000000000000000000` is 2^124, a power of
|
|
81
|
-
// two, so it is exact and stays a value, while the very much smaller
|
|
82
|
-
// `0x7fffffffffffffff` (2^63-1) is not and is refused.
|
|
83
|
-
//
|
|
84
|
-
// It is factored out rather than reimplemented so a LITERAL and a
|
|
85
|
-
// COMPUTED SUM cannot disagree about what "exact" means: both ask this
|
|
86
|
-
// one function, in both ports.
|
|
87
|
-
//
|
|
88
|
-
// The Number.isFinite guard is what makes it total. A bigint far beyond
|
|
89
|
-
// binary64's range converts to Infinity, and BigInt(Infinity) THROWS --
|
|
90
|
-
// so a literal like 10^400 (which the lexer already turns into a
|
|
91
|
-
// non-finite `not_number`) would crash the test rather than fail it.
|
|
92
23
|
function isExactInBinary64(n) {
|
|
93
24
|
const d = Number(n);
|
|
94
25
|
return Number.isFinite(d) && BigInt(d) === n;
|
|
95
26
|
}
|
|
96
|
-
// D7 -- LOSSY INTEGER LITERALS ARE REFUSED.
|
|
97
|
-
//
|
|
98
|
-
// True when `src` is an integer-source literal whose exact value cannot
|
|
99
|
-
// be held in binary64, so storing it would silently substitute a
|
|
100
|
-
// DIFFERENT number. Aontu refuses instead: the caller turns this into a
|
|
101
|
-
// located parse error whose hint names the escape (`0d<digits>`).
|
|
102
|
-
//
|
|
103
|
-
// WHICH LITERALS ARE IN SCOPE. An integer-source literal is one that
|
|
104
|
-
// denotes an exact integer:
|
|
105
|
-
//
|
|
106
|
-
// - plain decimal digits (`9007199254740993`), with the landed `_`
|
|
107
|
-
// separator rule;
|
|
108
|
-
// - a base-prefixed run (`0x…`, `0o…`, `0b…`);
|
|
109
|
-
// - either of those with a NON-NEGATIVE exponent (`1e21`), which still
|
|
110
|
-
// denotes an integer.
|
|
111
|
-
//
|
|
112
|
-
// Everything else is out of scope and unchanged. A `.` in the source
|
|
113
|
-
// makes it a float literal by R1, so it is not an integer source at all;
|
|
114
|
-
// a NEGATIVE exponent (`2e-1`, `1e-400`) denotes a fraction, and testing
|
|
115
|
-
// those for binary64 exactness would refuse `2e-1` -- 0.2 is not exactly
|
|
116
|
-
// representable either -- which is emphatically not what D7 is about.
|
|
117
|
-
// The `0d` family never reaches here: it has its own matcher and its own
|
|
118
|
-
// exact leaves.
|
|
119
|
-
//
|
|
120
|
-
// The value is re-derived from the SOURCE TEXT rather than read off the
|
|
121
|
-
// lexed double `n`, because that double is the rounded value this rule
|
|
122
|
-
// exists to detect; comparing it with itself would always agree. `n` is
|
|
123
|
-
// passed only for the fast path, which is why the signature mirrors
|
|
124
|
-
// isIntegerKind's.
|
|
125
27
|
function isLossyIntegerLiteral(n, src) {
|
|
126
|
-
// No source text (a raw value from an implicit top-level list, a $var
|
|
127
|
-
// binding) means there is no literal to judge -- the same way R1's
|
|
128
|
-
// "no `.` in the source" condition is vacuous at those sites.
|
|
129
28
|
if (null == src) {
|
|
130
29
|
return false;
|
|
131
30
|
}
|
|
132
|
-
// FAST PATH, and the one every ordinary document takes: below 2^53
|
|
133
|
-
// every integer is representable, so an integer literal whose ROUNDED
|
|
134
|
-
// value is strictly inside that window cannot have had a different
|
|
135
|
-
// exact value -- a different integer would be at least 1 away, and
|
|
136
|
-
// rounding here is accurate to half a unit. This runs at every numeric
|
|
137
|
-
// literal in every parse, so it must not allocate a bigint (2^53+1 has
|
|
138
|
-
// rounded value 2^53 and is deliberately NOT inside the window).
|
|
139
31
|
if (Number.isInteger(n) && -POW53 < n && n < POW53) {
|
|
140
32
|
return false;
|
|
141
33
|
}
|
|
142
|
-
// A `.` makes it a float source (R1), out of scope: checked here, and
|
|
143
|
-
// not left to the patterns below, so the other common literal shape
|
|
144
|
-
// also leaves without touching a regexp.
|
|
145
34
|
if (-1 !== src.indexOf('.')) {
|
|
146
35
|
return false;
|
|
147
36
|
}
|
|
@@ -154,13 +43,9 @@ function isLossyIntegerLiteral(n, src) {
|
|
|
154
43
|
return false;
|
|
155
44
|
}
|
|
156
45
|
const coeff = BigInt(stripSep(dec[2]));
|
|
157
|
-
// Zero at any exponent is zero, and zero is exact -- test it before
|
|
158
|
-
// the exponent bound, which would otherwise refuse `0e500`.
|
|
159
46
|
if (0n === coeff) {
|
|
160
47
|
return false;
|
|
161
48
|
}
|
|
162
|
-
// Beyond this the value cannot be finite in binary64, so it cannot
|
|
163
|
-
// be exact either -- and 10n ** BigInt(exp) must not be built.
|
|
164
49
|
if (MAX_EXPONENT < exp) {
|
|
165
50
|
return true;
|
|
166
51
|
}
|
|
@@ -173,17 +58,11 @@ function isLossyIntegerLiteral(n, src) {
|
|
|
173
58
|
}
|
|
174
59
|
exact = BigInt('0' + base[2].toLowerCase() + stripSep(base[3]));
|
|
175
60
|
}
|
|
176
|
-
// The sign is irrelevant to exactness (binary64 is sign-symmetric) and
|
|
177
|
-
// is anyway lexed as the unary prefix, but accept it so the test does
|
|
178
|
-
// not depend on that.
|
|
179
61
|
return !isExactInBinary64(exact);
|
|
180
62
|
}
|
|
181
63
|
// `[+-]? digits [ (e|E) [+-] digits ]`, with the landed single-`_`-
|
|
182
64
|
// between-digits separator rule. No `.`: that is a float source (R1).
|
|
183
65
|
const DEC_INT_LITERAL_RE = /^([-+]?)([0-9](?:_?[0-9])*)(?:[eE]([-+]?[0-9](?:_?[0-9])*))?$/;
|
|
184
|
-
// `[+-]? 0(x|o|b) digits`. Hex digits are the widest set, and a bad
|
|
185
|
-
// digit for the base simply makes BigInt throw -- which cannot happen,
|
|
186
|
-
// since the lexer only produced a token for a well-formed run.
|
|
187
66
|
const BASE_INT_LITERAL_RE = /^([-+]?)0([xXoObB])([0-9a-fA-F](?:_?[0-9a-fA-F])*)$/;
|
|
188
67
|
// Above this the value cannot be finite in binary64, so it cannot be
|
|
189
68
|
// exact either, and 10n ** BigInt(exp) must not be built.
|
|
@@ -194,30 +73,6 @@ const POW53 = 9007199254740992;
|
|
|
194
73
|
function stripSep(s) {
|
|
195
74
|
return -1 === s.indexOf('_') ? s : s.replace(/_/g, '');
|
|
196
75
|
}
|
|
197
|
-
// THE SINGLE RENDERING OF AN INTEGER-KIND PEG. Every site that turns one
|
|
198
|
-
// into text must call this -- so that "how many rendering sites are there?"
|
|
199
|
-
// is answerable by grepping this function's callers.
|
|
200
|
-
//
|
|
201
|
-
// That question has been answered wrongly twice. Issue #21 was the
|
|
202
|
-
// divergence where TypeScript printed 2^60 as 1152921504606847000, a
|
|
203
|
-
// DIFFERENT integer that merely rounds to the same double, because a JS
|
|
204
|
-
// number's toString emits the shortest decimal that round-trips (at most 17
|
|
205
|
-
// significant digits) while Go printed the exact value from its int64. It
|
|
206
|
-
// was closed having fixed the two sites known at the time, canon and
|
|
207
|
-
// generate. A differential audit then found a THIRD (`+`'s string
|
|
208
|
-
// coercion) and, while fixing that, a FOURTH (a variable used as a path
|
|
209
|
-
// segment). Both were the same one-character mistake -- `String(peg)` or
|
|
210
|
-
// `'' + peg` on a JS number -- at a site nobody had enumerated.
|
|
211
|
-
//
|
|
212
|
-
// BigInt is exact here by construction: an integer-kind peg is integral and
|
|
213
|
-
// inside the int64 window (isIntegerKind, enforced by IntegerVal's
|
|
214
|
-
// constructor), so the conversion cannot throw or lose anything. Below 2^53
|
|
215
|
-
// nothing moves -- BigInt(n).toString() === String(n) for every safe
|
|
216
|
-
// integer, and both give "0" for negative zero.
|
|
217
|
-
//
|
|
218
|
-
// FLOAT KIND MUST NOT COME HERE. A float's shortest form IS the right
|
|
219
|
-
// answer and is what Go prints too (1e21 -> "1e+21"), so a caller must
|
|
220
|
-
// select on kind, not merely on the peg being a JS number.
|
|
221
76
|
function integerDigits(peg) {
|
|
222
77
|
return BigInt(peg).toString();
|
|
223
78
|
} /* node:coverage ignore next 13 */
|
package/dist/val/numkind.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"numkind.js","sourceRoot":"","sources":["../../src/val/numkind.ts"],"names":[],"mappings":";AAAA,oDAAoD;;
|
|
1
|
+
{"version":3,"file":"numkind.js","sourceRoot":"","sources":["../../src/val/numkind.ts"],"names":[],"mappings":";AAAA,oDAAoD;;QAqGlD,aAAa;QACb,iBAAiB;QACjB,aAAa;QACb,iBAAiB;QACjB,qBAAqB;AAtGvB,MAAM,SAAS,GAAG,CAAC,qBAAqB,CAAA;AACxC,MAAM,WAAW,GAAG,qBAAqB,CAAA;AAGzC,SAAS,aAAa,CAAC,CAAS,EAAE,GAAY;IAC5C,IAAI,IAAI,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,CAAA;AACjE,CAAC;AAGD,MAAM,eAAe,GAAG,CAAC,oBAAoB,CAAA;AAC7C,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAG9C,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,eAAe,IAAI,CAAC,IAAI,CAAC,GAAG,iBAAiB;QAClD,iBAAiB,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAGD,SAAS,iBAAiB,CAAC,CAAS;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACnB,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;AAC9C,CAAC;AAGD,SAAS,qBAAqB,CAAC,CAAS,EAAE,GAAY;IACpD,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;QACnD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,KAAa,CAAA;IAEjB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxC,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,kEAAkE;QAClE,MAAM,GAAG,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzD,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACtC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,YAAY,GAAG,GAAG,EAAE,CAAC;YACvB,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,GAAG,KAAK,GAAG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;SACI,CAAC;QACJ,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC1C,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,GAAG,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC;IAED,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;AAClC,CAAC;AAGD,oEAAoE;AACpE,sEAAsE;AACtE,MAAM,kBAAkB,GACtB,+DAA+D,CAAA;AAEjE,MAAM,mBAAmB,GACvB,qDAAqD,CAAA;AAEvD,qEAAqE;AACrE,0DAA0D;AAC1D,MAAM,YAAY,GAAG,GAAG,CAAA;AAExB,iEAAiE;AACjE,uEAAuE;AACvE,MAAM,KAAK,GAAG,gBAAgB,CAAA;AAG9B,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AACxD,CAAC;AAGD,SAAS,aAAa,CAAC,GAAW;IAChC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAA;AAC/B,CAAC,CAAC,kCAAkC"}
|