@cotal-ai/lang 0.100.2 → 0.101.1
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/dryrun.d.ts +24 -1
- package/dist/dryrun.d.ts.map +1 -1
- package/dist/dryrun.js +38 -19
- package/dist/dryrun.js.map +1 -1
- package/dist/effects.d.ts +4 -1
- package/dist/effects.d.ts.map +1 -1
- package/dist/effects.js +11 -2
- package/dist/effects.js.map +1 -1
- package/dist/errors.d.ts +3 -1
- package/dist/errors.d.ts.map +1 -1
- package/dist/errors.js +6 -1
- package/dist/errors.js.map +1 -1
- package/dist/grammar.d.ts.map +1 -1
- package/dist/grammar.js +82 -4
- package/dist/grammar.js.map +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -1
- package/dist/index.js.map +1 -1
- package/dist/pause-token.d.ts +17 -6
- package/dist/pause-token.d.ts.map +1 -1
- package/dist/pause-token.js +42 -10
- package/dist/pause-token.js.map +1 -1
- package/dist/perform.d.ts.map +1 -1
- package/dist/perform.js +1 -1
- package/dist/perform.js.map +1 -1
- package/dist/sim.js +1 -1
- package/dist/sim.js.map +1 -1
- package/package.json +1 -1
package/dist/dryrun.d.ts
CHANGED
|
@@ -17,7 +17,7 @@
|
|
|
17
17
|
* before the run starts, not after.
|
|
18
18
|
*/
|
|
19
19
|
import { type SimScript } from "./sim.js";
|
|
20
|
-
import
|
|
20
|
+
import { Journal } from "./journal.js";
|
|
21
21
|
import type { AgentHandleValue, AskRequest, ChannelHandleValue, CheckpointRequest, CheckpointRaw, ConclaveRequest, EffectContext, EffectHandler, MonitorRequest, NotifyRequest, ObserveRequest, SleepRequest, SpawnRequest, TurnRequest, TurnResultValue, WaitRequest } from "./effects.js";
|
|
22
22
|
/** One effect, in the order the run reached it. */
|
|
23
23
|
export interface PlannedEffect {
|
|
@@ -75,8 +75,22 @@ export interface DryRunReport {
|
|
|
75
75
|
* silently stops testing.
|
|
76
76
|
*/
|
|
77
77
|
readonly unusedScript: readonly string[];
|
|
78
|
+
/** Each `log(...)` line the run wrote, in order, with the scope it was written from. */
|
|
79
|
+
readonly log: readonly {
|
|
80
|
+
readonly scope: string;
|
|
81
|
+
readonly values: readonly unknown[];
|
|
82
|
+
}[];
|
|
78
83
|
readonly journal: Journal;
|
|
79
84
|
}
|
|
85
|
+
/** A dry run whose program failed under its script: what ran up to the fault, and the fault. The
|
|
86
|
+
* walk's step count is not reported, because the walk did not finish. */
|
|
87
|
+
export interface DryRunFailure extends Omit<DryRunReport, "steps"> {
|
|
88
|
+
/** The program's own fault, an L3xxx effect call shape or L4xxx run time error, such as L4007 for a
|
|
89
|
+
* checkpoint scripted expired under the default onExpiry "fail". */
|
|
90
|
+
readonly fault: Error & {
|
|
91
|
+
readonly code: string;
|
|
92
|
+
};
|
|
93
|
+
}
|
|
80
94
|
/**
|
|
81
95
|
* Wrap a handler so every request through it is recorded, and delegate everything unchanged.
|
|
82
96
|
*
|
|
@@ -130,6 +144,9 @@ export interface DryRunOptions {
|
|
|
130
144
|
readonly file?: string;
|
|
131
145
|
readonly stepBudget?: number;
|
|
132
146
|
readonly yieldEvery?: number;
|
|
147
|
+
/** The journal the run records into, for its `runId`. A dry run that does not complete returns no
|
|
148
|
+
* report, so this is where a caller reads the step it stopped at. */
|
|
149
|
+
readonly journal?: Journal;
|
|
133
150
|
}
|
|
134
151
|
/**
|
|
135
152
|
* Simulate `source` under `script` and report what it would do.
|
|
@@ -140,6 +157,12 @@ export interface DryRunOptions {
|
|
|
140
157
|
* that quietly described half a program would be worse than no report.
|
|
141
158
|
*/
|
|
142
159
|
export declare function dryRun(source: string, script?: SimScript, options?: DryRunOptions): Promise<DryRunReport>;
|
|
160
|
+
/**
|
|
161
|
+
* {@link dryRun}, except that a program which fails under its script is a completed simulation:
|
|
162
|
+
* the report of what ran up to the fault is returned with the fault. An unscripted effect (L6xxx)
|
|
163
|
+
* or any other stop still throws, because that run did not complete.
|
|
164
|
+
*/
|
|
165
|
+
export declare function dryRunOutcome(source: string, script?: SimScript, options?: DryRunOptions): Promise<DryRunReport | DryRunFailure>;
|
|
143
166
|
/** Render a report for a human. The order is the order the run would take. */
|
|
144
167
|
export declare function renderReport(report: DryRunReport): string;
|
|
145
168
|
//# sourceMappingURL=dryrun.d.ts.map
|
package/dist/dryrun.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dryrun.d.ts","sourceRoot":"","sources":["../src/dryrun.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAc,KAAK,SAAS,EAAE,MAAM,UAAU,CAAC;AAGtD,OAAO,
|
|
1
|
+
{"version":3,"file":"dryrun.d.ts","sourceRoot":"","sources":["../src/dryrun.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAc,KAAK,SAAS,EAAE,MAAM,UAAU,CAAC;AAGtD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACV,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,eAAe,EACf,WAAW,EACZ,MAAM,cAAc,CAAC;AAEtB,mDAAmD;AACnD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0FAA0F;IAC1F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,qFAAqF;IACrF,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;CAC5B;AAED,wEAAwE;AACxE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,0DAA0D;AAC1D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,iFAAiF;IACjF,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,wFAAwF;IACxF,QAAQ,CAAC,GAAG,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;KAAE,EAAE,CAAC;IACzF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;0EAC0E;AAC1E,MAAM,WAAW,aAAc,SAAQ,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC;IAChE;yEACqE;IACrE,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;CACnD;AAED;;;;;;;;GAQG;AACH,qBAAa,gBAAiB,YAAW,QAAQ,CAAC,aAAa,CAAC;IAKlD,OAAO,CAAC,QAAQ,CAAC,KAAK;IAJlC,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,CAAM;IACrC,QAAQ,CAAC,gBAAgB,EAAE;QAAE,GAAG,EAAE,iBAAiB,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAM;IAC3E,QAAQ,CAAC,KAAK,EAAE;QAAE,GAAG,EAAE,cAAc,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAM;gBAEhC,KAAK,EAAE,aAAa;IAEjD,GAAG,IAAI,MAAM;IAIP,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAKvE,UAAU,CAAC,GAAG,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;IAK9E,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC;IAGpE,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAG1D,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAG3D,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IAGzE;;;;;;;OAOG;IACG,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAIlE,MAAM,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAG7D,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAG/D,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAGnF,aAAa,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAG5E;;;OAGG;IACH,aAAa,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI;CAGxD;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;0EACsE;IACtE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;;GAOG;AACH,wBAAsB,MAAM,CAC1B,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,SAAc,EACtB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAIvB;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CACjC,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,SAAc,EACtB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,GAAG,aAAa,CAAC,CAgEvC;AAED,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAwDzD"}
|
package/dist/dryrun.js
CHANGED
|
@@ -20,6 +20,7 @@ import { run } from "./interpret.js";
|
|
|
20
20
|
import { SimHandler } from "./sim.js";
|
|
21
21
|
import { stepKeyString } from "./keys.js";
|
|
22
22
|
import { EFFECT_KINDS } from "./primitives.js";
|
|
23
|
+
import { Journal } from "./journal.js";
|
|
23
24
|
/**
|
|
24
25
|
* Wrap a handler so every request through it is recorded, and delegate everything unchanged.
|
|
25
26
|
*
|
|
@@ -102,18 +103,44 @@ export class RecordingHandler {
|
|
|
102
103
|
* that quietly described half a program would be worse than no report.
|
|
103
104
|
*/
|
|
104
105
|
export async function dryRun(source, script = {}, options = {}) {
|
|
106
|
+
const outcome = await dryRunOutcome(source, script, options);
|
|
107
|
+
if ("fault" in outcome)
|
|
108
|
+
throw outcome.fault;
|
|
109
|
+
return outcome;
|
|
110
|
+
}
|
|
111
|
+
/**
|
|
112
|
+
* {@link dryRun}, except that a program which fails under its script is a completed simulation:
|
|
113
|
+
* the report of what ran up to the fault is returned with the fault. An unscripted effect (L6xxx)
|
|
114
|
+
* or any other stop still throws, because that run did not complete.
|
|
115
|
+
*/
|
|
116
|
+
export async function dryRunOutcome(source, script = {}, options = {}) {
|
|
105
117
|
const sim = new SimHandler(script);
|
|
106
118
|
const startedAt = sim.now();
|
|
107
119
|
const recorder = new RecordingHandler(sim);
|
|
108
|
-
const
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
|
|
120
|
+
const runId = options.runId ?? "dry-run";
|
|
121
|
+
const journal = options.journal ?? new Journal({ run: runId });
|
|
122
|
+
const log = [];
|
|
123
|
+
let steps;
|
|
124
|
+
let fault;
|
|
125
|
+
try {
|
|
126
|
+
({ steps } = await run(source, {
|
|
127
|
+
runId,
|
|
128
|
+
handler: recorder,
|
|
129
|
+
journal,
|
|
130
|
+
onLog: (line) => log.push({ scope: line.scope, values: [...line.values] }),
|
|
131
|
+
...(options.seed !== undefined ? { seed: options.seed } : {}),
|
|
132
|
+
...(options.file !== undefined ? { file: options.file } : {}),
|
|
133
|
+
...(options.stepBudget !== undefined ? { stepBudget: options.stepBudget } : {}),
|
|
134
|
+
...(options.yieldEvery !== undefined ? { yieldEvery: options.yieldEvery } : {}),
|
|
135
|
+
}));
|
|
136
|
+
}
|
|
137
|
+
catch (e) {
|
|
138
|
+
const code = e.code;
|
|
139
|
+
if (!(e instanceof Error) || typeof code !== "string" || !/^L[34][0-9]{3}$/.test(code))
|
|
140
|
+
throw e;
|
|
141
|
+
fault = e;
|
|
142
|
+
}
|
|
143
|
+
const effects = journal.entries().map((e) => ({
|
|
117
144
|
step: `${e.scope}/${e.kind}${e.name === "" ? "" : `:${e.name}`}#${e.occurrence}`,
|
|
118
145
|
kind: e.kind,
|
|
119
146
|
name: e.name,
|
|
@@ -144,16 +171,8 @@ export async function dryRun(source, script = {}, options = {}) {
|
|
|
144
171
|
every: req.every,
|
|
145
172
|
deadline: req.deadline,
|
|
146
173
|
}));
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
agents,
|
|
150
|
-
checkpoints,
|
|
151
|
-
waits,
|
|
152
|
-
elapsedMs: sim.now() - startedAt,
|
|
153
|
-
steps: result.steps,
|
|
154
|
-
unusedScript: sim.unusedScript(),
|
|
155
|
-
journal: result.journal,
|
|
156
|
-
};
|
|
174
|
+
const report = { effects, agents, checkpoints, waits, elapsedMs: sim.now() - startedAt, unusedScript: sim.unusedScript(), log, journal };
|
|
175
|
+
return fault !== undefined ? { ...report, fault } : { ...report, steps: steps };
|
|
157
176
|
}
|
|
158
177
|
/** Render a report for a human. The order is the order the run would take. */
|
|
159
178
|
export function renderReport(report) {
|
package/dist/dryrun.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dryrun.js","sourceRoot":"","sources":["../src/dryrun.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AACrC,OAAO,EAAE,UAAU,EAAkB,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;
|
|
1
|
+
{"version":3,"file":"dryrun.js","sourceRoot":"","sources":["../src/dryrun.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AACrC,OAAO,EAAE,UAAU,EAAkB,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AA6FvC;;;;;;;;GAQG;AACH,MAAM,OAAO,gBAAgB;IAKE;IAJpB,MAAM,GAAmB,EAAE,CAAC;IAC5B,gBAAgB,GAA+C,EAAE,CAAC;IAClE,KAAK,GAA4C,EAAE,CAAC;IAE7D,YAA6B,KAAoB;QAApB,UAAK,GAAL,KAAK,CAAe;IAAG,CAAC;IAErD,GAAG;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,GAAiB,EAAE,GAAkB;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,GAAsB,EAAE,GAAkB;QACzD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClE,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAgB,EAAE,GAAkB;QAC7C,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,GAAe,EAAE,GAAkB;QAC3C,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,CAAC,KAAK,CAAC,GAAiB,EAAE,GAAkB;QAC/C,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAgB,EAAE,GAAkB;QAC7C,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IACD;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,CAAC,GAAmB,EAAE,GAAkB;QACnD,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9E,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,GAAkB,EAAE,GAAkB;QACjD,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,GAAmB,EAAE,GAAkB;QACnD,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,KAAK,CAAC,YAAY,CAAC,GAAoB,EAAE,GAAkB;QACzD,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IACD,KAAK,CAAC,aAAa,CAAC,GAAoB,EAAE,GAAkB;QAC1D,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClD,CAAC;IACD;;;OAGG;IACH,aAAa,CAAC,OAA4B;QACxC,OAAO,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;CACF;AAaD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAC1B,MAAc,EACd,SAAoB,EAAE,EACtB,UAAyB,EAAE;IAE3B,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,OAAO,IAAI,OAAO;QAAE,MAAM,OAAO,CAAC,KAAK,CAAC;IAC5C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,MAAc,EACd,SAAoB,EAAE,EACtB,UAAyB,EAAE;IAE3B,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC;IACzC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,IAAI,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAoD,EAAE,CAAC;IAEhE,IAAI,KAAyB,CAAC;IAC9B,IAAI,KAAyC,CAAC;IAC9C,IAAI,CAAC;QACH,CAAC,EAAE,KAAK,EAAE,GAAG,MAAM,GAAG,CAAC,MAAM,EAAE;YAC7B,KAAK;YACL,OAAO,EAAE,QAAQ;YACjB,OAAO;YACP,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1E,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChF,CAAC,CAAC,CAAC;IACN,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,GAAI,CAAwB,CAAC,IAAI,CAAC;QAC5C,IAAI,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,CAAC;QAChG,KAAK,GAAG,CAA2B,CAAC;IACtC,CAAC;IAED,MAAM,OAAO,GAAoB,OAAO,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,UAAU,EAAE;QAChF,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK;QAC3B,GAAG,CAAE,YAAkC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7H,CAAC,CAAC,CAAC;IAEJ,MAAM,MAAM,GAAmB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzD,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;KAC5C,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAAwB,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,OAAO;YACL,IAAI;YACJ,IAAI;YACJ,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAkB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAClE,IAAI;QACJ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;KACvB,CAAC,CAAC,CAAC;IAEJ,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACzI,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,KAAM,EAAE,CAAC;AACnF,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,MAAoB;IAC/C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE;QACjC,IAAI,EAAE,GAAG,KAAK;YAAE,OAAO,GAAG,EAAE,IAAI,CAAC;QACjC,IAAI,EAAE,GAAG,MAAM;YAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC;QACrD,IAAI,EAAE,GAAG,SAAS;YAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC;QACzD,OAAO,GAAG,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3C,CAAC,CAAC;IAEF,GAAG,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,MAAM,aAAa,MAAM,CAAC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAEnI,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,0FAA0F;QAC1F,kDAAkD;QAClD,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,qBAAqB,MAAM,CAAC,WAAW,CAAC,MAAM,WAAW,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;YAClE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,EAAE,EAAE,CAAC;YACrF,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,oDAAoD,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,2FAA2F;QAC3F,6FAA6F;QAC7F,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,gDAAgD,MAAM,CAAC,KAAK,CAAC,MAAM,WAAW,CAAC,CAAC;QAC7F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,KAAK,oBAAoB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG;gBACX,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE;gBAC1D,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;gBAC9C,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE;gBACvE,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aAC5D,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YAC5B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAED,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IAC9G,CAAC;IAED,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,iCAAiC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}
|
package/dist/effects.d.ts
CHANGED
|
@@ -305,8 +305,11 @@ export declare class RunHeld extends Error {
|
|
|
305
305
|
*
|
|
306
306
|
* `escalate` never arrives here. It mints an effect rather than choosing a disposition, so it is
|
|
307
307
|
* hashed (design 5.12) and an edit to it diverges before any of this runs.
|
|
308
|
+
*
|
|
309
|
+
* `timeout` is the checkpoint's own option when it set one, so L4007 can say whether the deadline
|
|
310
|
+
* came from it or from the run's default.
|
|
308
311
|
*/
|
|
309
|
-
export declare function applyCheckpointPolicy(raw: CheckpointRaw, onExpiry: "fail" | "proceed" | "escalate" | undefined): CheckpointResultValue;
|
|
312
|
+
export declare function applyCheckpointPolicy(raw: CheckpointRaw, onExpiry: "fail" | "proceed" | "escalate" | undefined, timeout?: string): CheckpointResultValue;
|
|
310
313
|
/** A host's latched root cancellation. Subscriptions replay a latched reason and return a remover. */
|
|
311
314
|
export interface RootCancellationSource {
|
|
312
315
|
readonly reason: string | undefined;
|
package/dist/effects.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;AAExD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,kEAAkE;AAClE,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1G;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,mFAAmF;AACnF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;CACvE;AAID,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,0GAA0G;IAC1G,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;;;OAOG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAChF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,mGAAmG;IACnG,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;IACtC;+CAC2C;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACpD,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,iGAAiG;IACjG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;;;OASG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,2FAA2F;IAC3F,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;OASG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAID;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAC;AAIzF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,GAAG,IAAI,CAQ7F;AAED,+FAA+F;AAC/F,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,GAC5C,OAAO,CAaT;AAID,+EAA+E;AAC/E,qBAAa,WAAY,SAAQ,KAAK;IAElC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM;IAErB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAH1C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM,EACN,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,YAAA;CAKtD;AAED,oFAAoF;AACpF,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM;CAIpC;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,WAAY,SAAQ,KAAK;IAGxB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAFnC,QAAQ,CAAC,IAAI,WAAW;gBAEH,MAAM,EAAE,MAAM;CAIpC;AAED;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,KAAK;IAEpC,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM;CAKlB;AAED;;;;;;;;GAQG;AACH,qBAAa,OAAQ,SAAQ,KAAK;IAI9B,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,mHAAmH;IACnH,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB;;;;OAIG;IACH,QAAQ,CAAC,OAAO;IAXlB,QAAQ,CAAC,IAAI,WAAW;gBAGb,IAAI,EAAE,MAAM;IACrB,mHAAmH;IAC1G,MAAM,EAAE,MAAM;IACvB;;;;OAIG;IACM,OAAO,UAAQ;CAY3B;AAED
|
|
1
|
+
{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;AAExD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,kEAAkE;AAClE,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1G;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,mFAAmF;AACnF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;CACvE;AAID,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,0GAA0G;IAC1G,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;;;OAOG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAChF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,mGAAmG;IACnG,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;IACtC;+CAC2C;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACpD,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,iGAAiG;IACjG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;;;OASG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,2FAA2F;IAC3F,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;OASG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAID;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAC;AAIzF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,GAAG,IAAI,CAQ7F;AAED,+FAA+F;AAC/F,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,GAC5C,OAAO,CAaT;AAID,+EAA+E;AAC/E,qBAAa,WAAY,SAAQ,KAAK;IAElC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM;IAErB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAH1C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM,EACN,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,YAAA;CAKtD;AAED,oFAAoF;AACpF,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM;CAIpC;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,WAAY,SAAQ,KAAK;IAGxB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAFnC,QAAQ,CAAC,IAAI,WAAW;gBAEH,MAAM,EAAE,MAAM;CAIpC;AAED;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,KAAK;IAEpC,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM;CAKlB;AAED;;;;;;;;GAQG;AACH,qBAAa,OAAQ,SAAQ,KAAK;IAI9B,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,mHAAmH;IACnH,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB;;;;OAIG;IACH,QAAQ,CAAC,OAAO;IAXlB,QAAQ,CAAC,IAAI,WAAW;gBAGb,IAAI,EAAE,MAAM;IACrB,mHAAmH;IAC1G,MAAM,EAAE,MAAM;IACvB;;;;OAIG;IACM,OAAO,UAAQ;CAY3B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,aAAa,EAClB,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,EACrD,OAAO,CAAC,EAAE,MAAM,GACf,qBAAqB,CA2BvB;AAED,sGAAsG;AACtG,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,SAAS,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;CACrD;AAED,8EAA8E;AAC9E,qBAAa,gBAAiB,YAAW,sBAAsB;IAC7D,OAAO,CAAC,GAAG,CAAqB;IAChC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAuC;IAEjE,IAAI,MAAM,IAAI,MAAM,GAAG,SAAS,CAAqB;IAErD,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAO5B,SAAS,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,GAAG,MAAM,IAAI;CAKpD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,GAAG,IAAI,CAAC;CAC9C;AAED,MAAM,WAAW,aAAa;IAC5B,0FAA0F;IAC1F,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;;;OAOG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD;;;;;;;OAOG;IACH,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClE;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,GAAG,IAAI,MAAM,CAAC;IAEd,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACxE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IACrE,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3D,UAAU,CAAC,GAAG,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC/E,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACpE;;;;;;;;;;OAUG;IACH,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACpF,aAAa,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvE;;;;;;;OAOG;IACH,aAAa,CAAC,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC;CAC1D"}
|
package/dist/effects.js
CHANGED
|
@@ -156,8 +156,11 @@ export class RunHeld extends Error {
|
|
|
156
156
|
*
|
|
157
157
|
* `escalate` never arrives here. It mints an effect rather than choosing a disposition, so it is
|
|
158
158
|
* hashed (design 5.12) and an edit to it diverges before any of this runs.
|
|
159
|
+
*
|
|
160
|
+
* `timeout` is the checkpoint's own option when it set one, so L4007 can say whether the deadline
|
|
161
|
+
* came from it or from the run's default.
|
|
159
162
|
*/
|
|
160
|
-
export function applyCheckpointPolicy(raw, onExpiry) {
|
|
163
|
+
export function applyCheckpointPolicy(raw, onExpiry, timeout) {
|
|
161
164
|
if (raw.outcome === "resolved") {
|
|
162
165
|
return {
|
|
163
166
|
status: "resolved",
|
|
@@ -174,7 +177,13 @@ export function applyCheckpointPolicy(raw, onExpiry) {
|
|
|
174
177
|
const disposition = onExpiry ?? "fail";
|
|
175
178
|
if (disposition === "proceed" || disposition === "escalate")
|
|
176
179
|
return { status: "expired", at: raw.at };
|
|
177
|
-
|
|
180
|
+
// Say where the deadline came from: the same expiry reads the same under the checkpoint's own
|
|
181
|
+
// `timeout` and under the run's default, and the fix differs between the two.
|
|
182
|
+
const source = timeout !== undefined
|
|
183
|
+
? `The deadline came from its own timeout of ${JSON.stringify(timeout)}.`
|
|
184
|
+
: "It sets no timeout of its own, so the deadline came from the run's default.";
|
|
185
|
+
const raise = timeout !== undefined ? "raise its timeout" : "give it a timeout of its own, or start the run with a longer default";
|
|
186
|
+
throw new EffectError("L4007", "checkpoint-expired", `L4007 Checkpoint expired\n\nNobody answered in time and this checkpoint's onExpiry is "fail". ${source}\n\nOptions\n onExpiry: "proceed" return { status: "expired" } and let the program decide\n onExpiry: "escalate" mint a second checkpoint addressed to someone else\n ${raise}`);
|
|
178
187
|
}
|
|
179
188
|
/** Process-local cancellation only. It carries no admission or permission. */
|
|
180
189
|
export class RootCancellation {
|
package/dist/effects.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effects.js","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAyNH,MAAM,eAAe,GAAsB,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAEtG;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,MAAe;IAC5C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7E,GAAG,CAAC,KAAK,CAAC,GAAG,IAAoB,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,mBAAmB,CACjC,KAAc,EACd,KAA6C;IAE7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC/D,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACjG,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kGAAkG;AAElG,+EAA+E;AAC/E,MAAM,OAAO,WAAY,SAAQ,KAAK;IAEzB;IACA;IAEA;IAJX,YACW,IAAY,EACZ,IAAY,EACrB,OAAe,EACN,MAA0C;QAEnD,KAAK,CAAC,OAAO,CAAC,CAAC;QALN,SAAI,GAAJ,IAAI,CAAQ;QACZ,SAAI,GAAJ,IAAI,CAAQ;QAEZ,WAAM,GAAN,MAAM,CAAoC;QAGnD,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,oFAAoF;AACpF,MAAM,OAAO,SAAU,SAAQ,KAAK;IACb;IAArB,YAAqB,MAAc;QACjC,KAAK,CAAC,cAAc,MAAM,EAAE,CAAC,CAAC;QADX,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;IAC1B,CAAC;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,WAAY,SAAQ,KAAK;IAGf;IAFZ,IAAI,GAAG,OAAO,CAAC;IAExB,YAAqB,MAAc;QACjC,KAAK,CAAC,iDAAiD,MAAM,EAAE,CAAC,CAAC;QAD9C,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAc,SAAQ,KAAK;IAE3B;IADX,YACW,IAAY,EACrB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,SAAI,GAAJ,IAAI,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,OAAQ,SAAQ,KAAK;IAIrB;IAEA;IAMA;IAXF,IAAI,GAAG,OAAO,CAAC;IAExB,YACW,IAAY;IACrB,mHAAmH;IAC1G,MAAc;IACvB;;;;OAIG;IACM,UAAU,KAAK;QAExB,KAAK,CACH,gEAAgE,IAAI,OAAO,MAAM,MAAM;YACrF,CAAC,OAAO;gBACN,CAAC,CAAC,iGAAiG;oBACjG,qFAAqF;gBACvF,CAAC,CAAC,yFAAyF;oBACzF,oDAAoD,CAAC,CAC5D,CAAC;QAjBO,SAAI,GAAJ,IAAI,CAAQ;QAEZ,WAAM,GAAN,MAAM,CAAQ;QAMd,YAAO,GAAP,OAAO,CAAQ;QAUxB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;IACxB,CAAC;CACF;AAED
|
|
1
|
+
{"version":3,"file":"effects.js","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAyNH,MAAM,eAAe,GAAsB,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAEtG;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,MAAe;IAC5C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7E,GAAG,CAAC,KAAK,CAAC,GAAG,IAAoB,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,mBAAmB,CACjC,KAAc,EACd,KAA6C;IAE7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC/D,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACjG,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kGAAkG;AAElG,+EAA+E;AAC/E,MAAM,OAAO,WAAY,SAAQ,KAAK;IAEzB;IACA;IAEA;IAJX,YACW,IAAY,EACZ,IAAY,EACrB,OAAe,EACN,MAA0C;QAEnD,KAAK,CAAC,OAAO,CAAC,CAAC;QALN,SAAI,GAAJ,IAAI,CAAQ;QACZ,SAAI,GAAJ,IAAI,CAAQ;QAEZ,WAAM,GAAN,MAAM,CAAoC;QAGnD,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,oFAAoF;AACpF,MAAM,OAAO,SAAU,SAAQ,KAAK;IACb;IAArB,YAAqB,MAAc;QACjC,KAAK,CAAC,cAAc,MAAM,EAAE,CAAC,CAAC;QADX,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;IAC1B,CAAC;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,WAAY,SAAQ,KAAK;IAGf;IAFZ,IAAI,GAAG,OAAO,CAAC;IAExB,YAAqB,MAAc;QACjC,KAAK,CAAC,iDAAiD,MAAM,EAAE,CAAC,CAAC;QAD9C,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAc,SAAQ,KAAK;IAE3B;IADX,YACW,IAAY,EACrB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,SAAI,GAAJ,IAAI,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,OAAQ,SAAQ,KAAK;IAIrB;IAEA;IAMA;IAXF,IAAI,GAAG,OAAO,CAAC;IAExB,YACW,IAAY;IACrB,mHAAmH;IAC1G,MAAc;IACvB;;;;OAIG;IACM,UAAU,KAAK;QAExB,KAAK,CACH,gEAAgE,IAAI,OAAO,MAAM,MAAM;YACrF,CAAC,OAAO;gBACN,CAAC,CAAC,iGAAiG;oBACjG,qFAAqF;gBACvF,CAAC,CAAC,yFAAyF;oBACzF,oDAAoD,CAAC,CAC5D,CAAC;QAjBO,SAAI,GAAJ,IAAI,CAAQ;QAEZ,WAAM,GAAN,MAAM,CAAQ;QAMd,YAAO,GAAP,OAAO,CAAQ;QAUxB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;IACxB,CAAC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAkB,EAClB,QAAqD,EACrD,OAAgB;IAEhB,IAAI,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,EAAE,EAAE,GAAG,CAAC,EAAE;SACX,CAAC;IACJ,CAAC;IACD,8FAA8F;IAC9F,8FAA8F;IAC9F,gGAAgG;IAChG,mDAAmD;IACnD,MAAM,WAAW,GAAG,QAAQ,IAAI,MAAM,CAAC;IACvC,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;IACtG,8FAA8F;IAC9F,8EAA8E;IAC9E,MAAM,MAAM,GAAG,OAAO,KAAK,SAAS;QAClC,CAAC,CAAC,6CAA6C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG;QACzE,CAAC,CAAC,6EAA6E,CAAC;IAClF,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,sEAAsE,CAAC;IACnI,MAAM,IAAI,WAAW,CACnB,OAAO,EACP,oBAAoB,EACpB,iGAAiG,MAAM,iLAAiL,KAAK,EAAE,CAChS,CAAC;AACJ,CAAC;AAQD,8EAA8E;AAC9E,MAAM,OAAO,gBAAgB;IACnB,GAAG,CAAqB;IACf,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IAEjE,IAAI,MAAM,KAAyB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAErD,MAAM,CAAC,MAAc;QACnB,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;YAAE,OAAO;QACnC,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC;QAClB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS;YAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;IAED,SAAS,CAAC,EAA4B;QACpC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;YAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;CACF"}
|
package/dist/errors.d.ts
CHANGED
|
@@ -16,7 +16,7 @@ export declare const CATALOG: Readonly<{
|
|
|
16
16
|
readonly L1005: "Forbidden syntax: generator";
|
|
17
17
|
readonly L1006: "Forbidden syntax: `eval` or `Function`";
|
|
18
18
|
readonly L1007: "Forbidden syntax: regular expression literal";
|
|
19
|
-
readonly L1008: "
|
|
19
|
+
readonly L1008: "Invalid syntax or newline hazard";
|
|
20
20
|
readonly L1009: "Unbraced branch";
|
|
21
21
|
readonly L1010: "`switch` case does not terminate";
|
|
22
22
|
readonly L1011: "Computed property name";
|
|
@@ -48,6 +48,8 @@ export declare const CATALOG: Readonly<{
|
|
|
48
48
|
readonly L2012: "Host global is not available";
|
|
49
49
|
readonly L2031: "Mutation of a frozen value";
|
|
50
50
|
readonly L2032: "Write from a concurrent branch to something declared outside it";
|
|
51
|
+
readonly L2033: "Effect not admitted inside `once`";
|
|
52
|
+
readonly L2034: "Literal is not a duration";
|
|
51
53
|
readonly L3011: "Unknown option key";
|
|
52
54
|
readonly L3012: "Missing required step name";
|
|
53
55
|
readonly L3013: "Step name is not a literal";
|
package/dist/errors.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wFAAwF;AACxF,eAAO,MAAM,OAAO
|
|
1
|
+
{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wFAAwF;AACxF,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqNT,CAAC;AAEZ,MAAM,MAAM,aAAa,GAAG,MAAM,OAAO,OAAO,CAAC;AAEjD,iFAAiF;AACjF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,oFAAoF;AACpF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,eAAe;IACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,eAAe;IACf,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,sFAAsF;IACtF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0DAA0D;IAC1D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,sEAAsE;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM,CASlE;AAED,oFAAoF;AACpF,qBAAa,SAAU,SAAQ,KAAK;IAClC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;gBAEhB,IAAI,EAAE,aAAa;IAW/B,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa;IAWrC,uFAAuF;IACvF,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;CAe/B;AAED;;;GAGG;AACH,qBAAa,UAAW,SAAQ,KAAK;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM;IAOxD,MAAM,IAAI,SAAS,aAAa,EAAE;IAIlC,MAAM,IAAI,MAAM;CAGjB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAErD;AAED;;;;;;;GAOG;AACH,qBAAa,YAAa,SAAQ,KAAK;IAEnC,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM;CAKlB;AAED;;;;;;;;;GASG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;gBAC9B,IAAI,EAAE,MAAM;CAOzB;AAED;;;;;;;GAOG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;gBAC9B,IAAI,EAAE,MAAM;CAIzB;AAED,mHAAmH;AACnH,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAI5C;AAED;;;;;;;;GAQG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAGtD;AAED,2FAA2F;AAC3F,qBAAa,aAAc,SAAQ,KAAK;IAEpC,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM;gBAFnB,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM;CAO/B;AAED;;;;;;;;;GASG;AACH,qBAAa,eAAgB,SAAQ,KAAK;IAEtC,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM;gBADX,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM;CAOvB;AAED;;;;;;;;GAQG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAEzC,QAAQ,CAAC,QAAQ,EAAE,MAAM;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE;gBAJzB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,MAAM,EAAE,SAAS,MAAM,EAAE;CAuBrC"}
|
package/dist/errors.js
CHANGED
|
@@ -20,7 +20,8 @@ export const CATALOG = Object.freeze({
|
|
|
20
20
|
// ASI itself is ALLOWED. The error is the two constructs where a newline changes what the code
|
|
21
21
|
// MEANS: a value on the line after a bare `return`, and a line opening with `(` or `[` that
|
|
22
22
|
// continues the statement above it. "Missing semicolon" named a rule this language does not have.
|
|
23
|
-
|
|
23
|
+
// Source that does not parse at all is refused under this code too.
|
|
24
|
+
L1008: "Invalid syntax or newline hazard",
|
|
24
25
|
L1009: "Unbraced branch",
|
|
25
26
|
L1010: "`switch` case does not terminate",
|
|
26
27
|
L1011: "Computed property name",
|
|
@@ -56,6 +57,10 @@ export const CATALOG = Object.freeze({
|
|
|
56
57
|
L2012: "Host global is not available",
|
|
57
58
|
L2031: "Mutation of a frozen value",
|
|
58
59
|
L2032: "Write from a concurrent branch to something declared outside it",
|
|
60
|
+
// The static half of L4028: an effect `once` does not admit, written where the validator sees it.
|
|
61
|
+
L2033: "Effect not admitted inside `once`",
|
|
62
|
+
// The static half of the call's DurationError: a literal the source writes where a duration goes.
|
|
63
|
+
L2034: "Literal is not a duration",
|
|
59
64
|
// ---- L3xxx: effect call shape --------------------------------------------------------------
|
|
60
65
|
L3011: "Unknown option key",
|
|
61
66
|
L3012: "Missing required step name",
|
package/dist/errors.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,8FAA8F;IAC9F,KAAK,EAAE,2BAA2B;IAClC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,8CAA8C;IACrD,+FAA+F;IAC/F,4FAA4F;IAC5F,kGAAkG;IAClG,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,8FAA8F;IAC9F,KAAK,EAAE,2BAA2B;IAClC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,8CAA8C;IACrD,+FAA+F;IAC/F,4FAA4F;IAC5F,kGAAkG;IAClG,oEAAoE;IACpE,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,iBAAiB;IACxB,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,eAAe;IACtB,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,qDAAqD;IAC5D,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,0FAA0F;IAC1F,+FAA+F;IAC/F,mFAAmF;IACnF,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,2BAA2B;IAElC,8FAA8F;IAC9F,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,iCAAiC;IACxC,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,kCAAkC;IACzC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,8BAA8B;IACrC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,iEAAiE;IACxE,kGAAkG;IAClG,KAAK,EAAE,mCAAmC;IAC1C,kGAAkG;IAClG,KAAK,EAAE,2BAA2B;IAElC,+FAA+F;IAC/F,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,qBAAqB;IAC5B,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,mDAAmD;IAC1D,KAAK,EAAE,uCAAuC;IAC9C,KAAK,EAAE,gCAAgC;IACvC,KAAK,EAAE,gDAAgD;IACvD,KAAK,EAAE,uCAAuC;IAC9C,iGAAiG;IACjG,iGAAiG;IACjG,6FAA6F;IAC7F,4EAA4E;IAC5E,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,4CAA4C;IACnD,KAAK,EAAE,uEAAuE;IAC9E,8FAA8F;IAC9F,gGAAgG;IAChG,+FAA+F;IAC/F,4FAA4F;IAC5F,+FAA+F;IAC/F,gGAAgG;IAChG,+FAA+F;IAC/F,KAAK,EAAE,0DAA0D;IAEjE,gGAAgG;IAChG,KAAK,EAAE,kBAAkB;IACzB,KAAK,EAAE,YAAY;IACnB,KAAK,EAAE,uBAAuB;IAC9B,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,oBAAoB;IAC3B,KAAK,EAAE,2BAA2B;IAClC,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,uCAAuC;IAC9C,KAAK,EAAE,wCAAwC;IAC/C,KAAK,EAAE,kBAAkB;IACzB,KAAK,EAAE,uBAAuB;IAC9B,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,cAAc;IACrB,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,sBAAsB;IAC7B,KAAK,EAAE,wBAAwB;IAC/B,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,uBAAuB;IAC9B,+FAA+F;IAC/F,+FAA+F;IAC/F,gGAAgG;IAChG,gGAAgG;IAChG,mFAAmF;IACnF,KAAK,EAAE,8BAA8B;IACrC,8FAA8F;IAC9F,+FAA+F;IAC/F,gGAAgG;IAChG,4EAA4E;IAC5E,KAAK,EAAE,yDAAyD;IAChE,+FAA+F;IAC/F,gGAAgG;IAChG,8FAA8F;IAC9F,KAAK,EAAE,+BAA+B;IACtC,gGAAgG;IAChG,+FAA+F;IAC/F,kGAAkG;IAClG,gGAAgG;IAChG,kGAAkG;IAClG,KAAK,EAAE,uDAAuD;IAC9D,2FAA2F;IAC3F,gGAAgG;IAChG,KAAK,EAAE,+CAA+C;IACtD,gGAAgG;IAChG,KAAK,EAAE,mCAAmC;IAE1C,iGAAiG;IACjG,KAAK,EAAE,gBAAgB;IACvB,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,6BAA6B;IACpC,KAAK,EAAE,yCAAyC;IAChD,KAAK,EAAE,sCAAsC;IAC7C,KAAK,EAAE,yBAAyB;IAChC,KAAK,EAAE,YAAY;IACnB,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,qBAAqB;IAC5B,4FAA4F;IAC5F,4FAA4F;IAC5F,qCAAqC;IACrC,KAAK,EAAE,yBAAyB;IAChC,8FAA8F;IAC9F,gGAAgG;IAChG,sDAAsD;IACtD,KAAK,EAAE,oCAAoC;IAC3C,iGAAiG;IACjG,6FAA6F;IAC7F,+FAA+F;IAC/F,yFAAyF;IACzF,aAAa;IACb,KAAK,EAAE,qCAAqC;IAC5C,gGAAgG;IAChG,iGAAiG;IACjG,kGAAkG;IAClG,iGAAiG;IACjG,iBAAiB;IACjB,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,iDAAiD;IACxD,4FAA4F;IAC5F,6FAA6F;IAC7F,4FAA4F;IAC5F,KAAK,EAAE,iCAAiC;IACxC,6FAA6F;IAC7F,kGAAkG;IAClG,kGAAkG;IAClG,+FAA+F;IAC/F,cAAc;IACd,KAAK,EAAE,qCAAqC;IAC5C,KAAK,EAAE,4BAA4B;IACnC,KAAK,EAAE,kEAAkE;IACzE,KAAK,EAAE,0CAA0C;IACjD,6FAA6F;IAC7F,iGAAiG;IACjG,gGAAgG;IAChG,iGAAiG;IACjG,KAAK,EAAE,8CAA8C;IACrD,gGAAgG;IAChG,4FAA4F;IAC5F,kGAAkG;IAClG,uFAAuF;IACvF,KAAK,EAAE,iDAAiD;IACxD,oGAAoG;IACpG,gGAAgG;IAChG,8FAA8F;IAC9F,+FAA+F;IAC/F,gGAAgG;IAChG,KAAK,EAAE,+DAA+D;IACtE,+FAA+F;IAC/F,gGAAgG;IAChG,8FAA8F;IAC9F,mGAAmG;IACnG,mGAAmG;IACnG,gGAAgG;IAChG,2BAA2B;IAC3B,KAAK,EAAE,wCAAwC;IAC/C,6FAA6F;IAC7F,6FAA6F;IAC7F,gGAAgG;IAChG,8FAA8F;IAC9F,KAAK,EAAE,6CAA6C;IAEpD,mGAAmG;IACnG,KAAK,EAAE,iCAAiC;IACxC,KAAK,EAAE,gCAAgC;CAC/B,CAAC,CAAC;AAyCZ;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,IAAgB;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC1B,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,OAAO,GAAG,MAAM,MAAM,IAAI,KAAK,GAAG,MAAM,QAAQ,GAAG,CAAC;AACtD,CAAC;AAED,oFAAoF;AACpF,MAAM,OAAO,SAAU,SAAQ,KAAK;IACzB,IAAI,CAAgB;IACpB,KAAK,CAAS;IACd,IAAI,CAAa;IACjB,KAAK,CAAS;IACd,GAAG,CAAS;IACZ,MAAM,CAAa;IAE5B,YAAY,IAAmB;QAC7B,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACpB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,MAAc;QACnB,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE;YAC5D,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;QACF,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7E,CAAC;IAED,uFAAuF;IACvF,MAAM,CAAC,MAAc;QACnB,MAAM,KAAK,GAAG;YACZ,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE;YAC7B,EAAE;YACF,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;YAC5B,EAAE;YACF,IAAI,CAAC,KAAK;YACV,EAAE;YACF,QAAQ,IAAI,CAAC,GAAG,EAAE;SACnB,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,UAAW,SAAQ,KAAK;IAC1B,MAAM,CAAuB;IAC7B,MAAM,CAAS;IAExB,YAAY,MAA4B,EAAE,MAAc;QACtD,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;QAC5E,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;CACF;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAU;IAC1C,OAAO,CAAC,YAAY,UAAU,IAAI,CAAC,CAAC,OAAO,KAAK,kCAAkC,CAAC;AACrF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,YAAa,SAAQ,KAAK;IAE1B;IADX,YACW,IAAY,EACrB,OAAe;QAEf,KAAK,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC;QAHnB,SAAI,GAAJ,IAAI,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,IAAY;QACtB,KAAK,CACH,uBAAuB,IAAI,sEAAsE;cAC/F,oFAAoF,CACvF,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,IAAY;QACtB,KAAK,CAAC,0CAA0C,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,mHAAmH;AACnH,MAAM,UAAU,SAAS,CAAC,CAAU;IAClC,IAAI,CAAC,YAAY,KAAK;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC;IACzC,MAAM,CAAC,GAAI,CAA8C,EAAE,OAAO,CAAC;IACnE,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,OAAO,CAAC,CAAU;IAChC,MAAM,CAAC,GAAI,CAA4C,EAAE,KAAK,CAAC;IAC/D,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3D,CAAC;AAED,2FAA2F;AAC3F,MAAM,OAAO,aAAc,SAAQ,KAAK;IAE3B;IACA;IACA;IAHX,YACW,OAAe,EACf,YAAoB,EACpB,WAAmB;QAE5B,KAAK,CACH,mCAAmC,OAAO,uCAAuC,YAAY,uBAAuB,WAAW,+KAA+K,OAAO,gHAAgH,CACta,CAAC;QANO,YAAO,GAAP,OAAO,CAAQ;QACf,iBAAY,GAAZ,YAAY,CAAQ;QACpB,gBAAW,GAAX,WAAW,CAAQ;QAK5B,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAE7B;IACA;IAFX,YACW,QAAgB,EAChB,GAAW;QAEpB,KAAK,CACH,8CAA8C,GAAG,OAAO,QAAQ,yKAAyK,CAC1O,CAAC;QALO,aAAQ,GAAR,QAAQ,CAAQ;QAChB,QAAG,GAAH,GAAG,CAAQ;QAKpB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEhC;IACA;IACA;IACA;IACA;IALX,YACW,QAAgB,EAChB,KAAa,EACb,OAA0B,EAC1B,QAA2B,EAC3B,MAAyB;QAElC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YACzB,6FAA6F;YAC7F,0FAA0F;YAC1F,2FAA2F;YAC3F,4DAA4D;YAC5D,CAAC,CAAC,6DAA6D,QAAQ,0BAA0B;kBAC7F,qBAAqB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;kBAC5C,QAAQ,KAAK,8EAA8E;kBAC3F,sFAAsF;kBACtF,0FAA0F;kBAC1F,iCAAiC,QAAQ,4CAA4C;YACzF,CAAC,CAAC,oEAAoE,QAAQ,qBAAqB;kBAC/F,qBAAqB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;kBACpF,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;kBAC7C,QAAQ,KAAK,eAAe,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,kDAAkD;kBAC5H,gBAAgB,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,uEAAuE;kBAC3H,gFAAgF,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;kBAC9H,0CAA0C,QAAQ,wCAAwC,CAC/F,CAAC;QAxBO,aAAQ,GAAR,QAAQ,CAAQ;QAChB,UAAK,GAAL,KAAK,CAAQ;QACb,YAAO,GAAP,OAAO,CAAmB;QAC1B,aAAQ,GAAR,QAAQ,CAAmB;QAC3B,WAAM,GAAN,MAAM,CAAmB;QAqBlC,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF"}
|
package/dist/grammar.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../src/grammar.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC;AAClC,OAAO,EAAE,SAAS,EAAmD,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../src/grammar.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC;AAClC,OAAO,EAAE,SAAS,EAAmD,MAAM,aAAa,CAAC;AA0BzF,yEAAyE;AACzE,KAAK,OAAO,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAY9C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;CACzC;AAyrDD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,SAAqB,GAAG,cAAc,CA4ClF"}
|
package/dist/grammar.js
CHANGED
|
@@ -12,9 +12,9 @@
|
|
|
12
12
|
*/
|
|
13
13
|
import { parse } from "acorn";
|
|
14
14
|
import { LangError, LangErrors } from "./errors.js";
|
|
15
|
-
import { BUILTINS, FORBIDDEN_GLOBALS, HOST_GLOBAL_HINTS, NOTIFY_BOUND, PRIMITIVES, PROMISE_NAMES, RESERVED_NAMES, STEP_NAME_RE, primitiveDoc, } from "./primitives.js";
|
|
15
|
+
import { BUILTINS, FORBIDDEN_GLOBALS, HOLDABLE_KINDS, HOST_GLOBAL_HINTS, NOTIFY_BOUND, PRIMITIVES, PROMISE_NAMES, RESERVED_NAMES, STEP_NAME_RE, primitiveDoc, } from "./primitives.js";
|
|
16
16
|
import { KEY_RESERVED_RE, scopeTraits } from "./keys.js";
|
|
17
|
-
import { isDuration, parseDuration } from "./duration.js";
|
|
17
|
+
import { DurationError, isDuration, parseDuration } from "./duration.js";
|
|
18
18
|
import { ADMITTED_NODES, FORBIDDEN_NODES, STRUCTURAL_NODES } from "./syntax.js";
|
|
19
19
|
import { MUTATING_METHODS } from "./library.js";
|
|
20
20
|
// The validator's own lookup sets. The package exports these tables as frozen arrays and never
|
|
@@ -699,11 +699,51 @@ function asyncCallPositionOk(parent) {
|
|
|
699
699
|
}
|
|
700
700
|
const unawaitedCause = (name) => `This \`${name}\` is not awaited, so it starts work whose result nothing waits for. Read literally the program says one thing and the runtime does another: calls outside a combinator run in sequence, not concurrently.`;
|
|
701
701
|
const unawaitedFix = (name) => `Await it (\`await ${name}(...)\`), return it, or make it a branch of \`parallel\`, \`race\` or \`fanOut\`.`;
|
|
702
|
+
/** Where the language reads a duration (§4.6): an argument by its index, and option keys. */
|
|
703
|
+
const DURATION_ARGUMENT = Object.freeze({ sleep: 0, idle: 1, duration: 0 });
|
|
704
|
+
const DURATION_OPTIONS = Object.freeze({
|
|
705
|
+
turn: ["deadline"], ask: ["deadline"], checkpoint: ["timeout"], wait: ["timeout"], waitUntil: ["every", "deadline"],
|
|
706
|
+
});
|
|
707
|
+
/**
|
|
708
|
+
* A literal written where a duration goes must be one (L2034). The call refuses it with the same
|
|
709
|
+
* text, but only once a run reaches it; a value computed at run time is checked only there. An
|
|
710
|
+
* option written as `null` is the option left out, so it is not a literal duration.
|
|
711
|
+
*/
|
|
712
|
+
function checkDurations(node, name, v) {
|
|
713
|
+
const args = node.arguments ?? [];
|
|
714
|
+
const at = DURATION_ARGUMENT[name];
|
|
715
|
+
if (at !== undefined && args[at] !== undefined)
|
|
716
|
+
checkDurationLiteral(args[at], name, v);
|
|
717
|
+
const keys = DURATION_OPTIONS[name];
|
|
718
|
+
const bag = keys === undefined ? undefined : args[PRIMITIVES[name].optionsAt];
|
|
719
|
+
if (keys === undefined || bag?.type !== "ObjectExpression")
|
|
720
|
+
return;
|
|
721
|
+
for (const p of bag.properties ?? []) {
|
|
722
|
+
const value = p.value;
|
|
723
|
+
if (p.type !== "Property" || value === undefined || !keys.includes(propertyKeyName(p) ?? ""))
|
|
724
|
+
continue;
|
|
725
|
+
if (!(value.type === "Literal" && value.value === null))
|
|
726
|
+
checkDurationLiteral(value, name, v);
|
|
727
|
+
}
|
|
728
|
+
}
|
|
729
|
+
function checkDurationLiteral(node, name, v) {
|
|
730
|
+
const argument = node.argument;
|
|
731
|
+
const written = node.type === "Literal" ? { value: node.value }
|
|
732
|
+
: node.type === "TemplateLiteral" && node.expressions.length === 0
|
|
733
|
+
? { value: node.quasis[0]?.value?.cooked }
|
|
734
|
+
: node.type === "UnaryExpression" && (node.operator === "-" || node.operator === "+") && argument?.type === "Literal" && typeof argument.value === "number"
|
|
735
|
+
? { value: node.operator === "-" ? -argument.value : argument.value }
|
|
736
|
+
: undefined;
|
|
737
|
+
if (written === undefined || isDuration(written.value))
|
|
738
|
+
return;
|
|
739
|
+
v.fail("L2034", node, new DurationError(String(written.value)).message, 'Write a duration string here, such as "30s", "10m" or "4h".', name);
|
|
740
|
+
}
|
|
702
741
|
function checkCall(node, v, scope) {
|
|
703
742
|
const callee = node.callee;
|
|
704
743
|
if (!isNode(callee) || callee.type !== "Identifier")
|
|
705
744
|
return;
|
|
706
745
|
const name = callee.name;
|
|
746
|
+
checkDurations(node, name, v);
|
|
707
747
|
const spec = PRIMITIVES[name];
|
|
708
748
|
if (spec === undefined) {
|
|
709
749
|
// L2013's other half: a USER function declared `async` (or a const bound to an async function
|
|
@@ -858,7 +898,10 @@ function checkCall(node, v, scope) {
|
|
|
858
898
|
// ordinary object keys and `{ runTests: ... }` is legitimate, so requiring kebab-case here would
|
|
859
899
|
// refuse correct programs to fix a forgery that needs `/`, `#` or `:`. The restriction is the
|
|
860
900
|
// narrowest one that closes it.
|
|
861
|
-
|
|
901
|
+
//
|
|
902
|
+
// `fanOut` is not here: its first argument is the items, and its branch keys are minted at run
|
|
903
|
+
// time from `key` or each item's `id`, where `assertKeySafe` refuses a reserved character.
|
|
904
|
+
if (name === "parallel" || name === "race") {
|
|
862
905
|
const branches = args[0];
|
|
863
906
|
if (branches !== undefined && branches.type === "ObjectExpression") {
|
|
864
907
|
for (const prop of branches.properties ?? []) {
|
|
@@ -894,6 +937,11 @@ function checkCall(node, v, scope) {
|
|
|
894
937
|
const thunks = branchThunks(args[spec.optionsAt - 1], v, scope);
|
|
895
938
|
for (const thunk of thunks)
|
|
896
939
|
checkCapturedWrites(thunk, name, v, seen);
|
|
940
|
+
if (spec.scope === "once") {
|
|
941
|
+
const reached = new Set();
|
|
942
|
+
for (const thunk of thunks)
|
|
943
|
+
checkOnceEffects(thunk, v, reached);
|
|
944
|
+
}
|
|
897
945
|
}
|
|
898
946
|
// A probe and the functions in its options bag run one level deeper too, in each observation's
|
|
899
947
|
// own frame, and a settled `waitUntil` is replayed without calling them, so a write from one of
|
|
@@ -908,6 +956,36 @@ function checkCall(node, v, scope) {
|
|
|
908
956
|
}
|
|
909
957
|
}
|
|
910
958
|
}
|
|
959
|
+
/**
|
|
960
|
+
* L2033: an effect `once` does not admit, called in its body or in a function the body calls by
|
|
961
|
+
* name. Every step under `once` is at-most-once, and only an `ask` can be held on resume, so the run
|
|
962
|
+
* refuses anything else with L4028 when it reaches it; this refuses the calls the validator can see
|
|
963
|
+
* before the run starts. A primitive name is reserved, so a call by that name is the primitive.
|
|
964
|
+
*/
|
|
965
|
+
function checkOnceEffects(fn, v, seen) {
|
|
966
|
+
if (seen.has(fn))
|
|
967
|
+
return;
|
|
968
|
+
seen.add(fn);
|
|
969
|
+
const visit = (node) => {
|
|
970
|
+
const callee = node.type === "CallExpression" && isNode(node.callee) ? node.callee : undefined;
|
|
971
|
+
if (callee?.type === "Identifier") {
|
|
972
|
+
const name = callee.name;
|
|
973
|
+
const kind = Object.hasOwn(PRIMITIVES, name) ? PRIMITIVES[name].kind : null;
|
|
974
|
+
if (kind !== null && !HOLDABLE_KINDS.has(kind)) {
|
|
975
|
+
v.fail("L2033", node, `\`${name}\` runs inside \`once\`, and \`once\` admits only \`ask\`: a resume could not hold any other effect without performing it again or losing the run state it builds.`, `Move the \`${name}\` outside the \`once\`, so only the \`ask\` it guards stays inside.`, name);
|
|
976
|
+
}
|
|
977
|
+
else {
|
|
978
|
+
const target = v.functions.get(name);
|
|
979
|
+
if (target !== undefined && target !== null)
|
|
980
|
+
checkOnceEffects(target, v, seen);
|
|
981
|
+
}
|
|
982
|
+
}
|
|
983
|
+
for (const c of children(node))
|
|
984
|
+
visit(c);
|
|
985
|
+
};
|
|
986
|
+
if (isNode(fn.body))
|
|
987
|
+
visit(fn.body);
|
|
988
|
+
}
|
|
911
989
|
function isFunctionNode(node) {
|
|
912
990
|
return (node.type === "ArrowFunctionExpression" ||
|
|
913
991
|
node.type === "FunctionExpression" ||
|
|
@@ -1382,7 +1460,7 @@ export function validate(source, file = "program.cotal.js") {
|
|
|
1382
1460
|
code: "L1008",
|
|
1383
1461
|
span,
|
|
1384
1462
|
cause: `This program is not valid JavaScript, so none of the language rules could be checked: ${message}.`,
|
|
1385
|
-
fix: "Fix the syntax at the marked position.
|
|
1463
|
+
fix: "Fix the syntax at the marked position.",
|
|
1386
1464
|
}),
|
|
1387
1465
|
], source);
|
|
1388
1466
|
}
|