@nola-lang/compiler 0.1.0-alpha.0 → 0.1.2
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/LICENSE +201 -21
- package/dist/ambient-stub.d.ts +1 -1
- package/dist/ambient-stub.d.ts.map +1 -1
- package/dist/ambient-stub.js +17 -3
- package/dist/ambient-stub.js.map +1 -1
- package/dist/lower/{Lowerer.d.ts → lowerer.d.ts} +34 -2
- package/dist/lower/lowerer.d.ts.map +1 -0
- package/dist/lower/{Lowerer.js → lowerer.js} +201 -33
- package/dist/lower/lowerer.js.map +1 -0
- package/dist/lower/templates.d.ts +58 -4
- package/dist/lower/templates.d.ts.map +1 -1
- package/dist/lower/templates.js +65 -9
- package/dist/lower/templates.js.map +1 -1
- package/dist/spans.d.ts +14 -3
- package/dist/spans.d.ts.map +1 -1
- package/dist/spans.js +8 -6
- package/dist/spans.js.map +1 -1
- package/dist/types.d.ts +2 -2
- package/package.json +7 -6
- package/dist/lower/Lowerer.d.ts.map +0 -1
- package/dist/lower/Lowerer.js.map +0 -1
- package/dist/lower/lower.d.ts +0 -2
- package/dist/lower/lower.d.ts.map +0 -1
- package/dist/lower/lower.js +0 -319
- package/dist/lower/lower.js.map +0 -1
- package/dist/lower.d.ts +0 -4
- package/dist/lower.d.ts.map +0 -1
- package/dist/lower.js +0 -322
- package/dist/lower.js.map +0 -1
package/dist/spans.d.ts
CHANGED
|
@@ -1,6 +1,12 @@
|
|
|
1
1
|
import type { SourceMap } from "magic-string";
|
|
2
2
|
import MagicString from "magic-string";
|
|
3
|
-
|
|
3
|
+
/**
|
|
4
|
+
* `broken` is a replacement standing in for a construct the parser could only
|
|
5
|
+
* recover as a placeholder (a `..` whose prompt is still being typed). It maps
|
|
6
|
+
* like `replaced`, but the editor layer additionally opts the character AFTER
|
|
7
|
+
* it out of completion — see spansToMappings.
|
|
8
|
+
*/
|
|
9
|
+
export type SpanKind = "verbatim" | "replaced" | "broken" | "appendix";
|
|
4
10
|
export interface Span {
|
|
5
11
|
sourceStart: number;
|
|
6
12
|
sourceEnd: number;
|
|
@@ -57,9 +63,14 @@ export declare class SpanRecorder {
|
|
|
57
63
|
private appendixText;
|
|
58
64
|
private seq;
|
|
59
65
|
constructor(source: string);
|
|
60
|
-
overwrite(start: number, end: number, text: string,
|
|
66
|
+
overwrite(start: number, end: number, text: string, options?: {
|
|
67
|
+
anchors?: EditAnchor[];
|
|
68
|
+
broken?: boolean;
|
|
69
|
+
}): void;
|
|
61
70
|
remove(start: number, end: number): void;
|
|
62
|
-
appendLeft(pos: number, text: string
|
|
71
|
+
appendLeft(pos: number, text: string, options?: {
|
|
72
|
+
anchors?: EditAnchor[];
|
|
73
|
+
}): void;
|
|
63
74
|
appendRight(pos: number, text: string): void;
|
|
64
75
|
/** The EOF insert (runtime import + accessors). Always the last content. */
|
|
65
76
|
appendix(text: string): void;
|
package/dist/spans.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spans.d.ts","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,WAAW,MAAM,cAAc,CAAC;AAEvC,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;
|
|
1
|
+
{"version":3,"file":"spans.d.ts","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,WAAW,MAAM,cAAc,CAAC;AAEvC;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvE,MAAM,WAAW,IAAI;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,MAAM;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,wGAAwG;AACxG,MAAM,WAAW,UAAU;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,UAAU,EAAE,MAAM,CAAC;CACpB;AAcD;;;;;;;;;GASG;AACH;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAoC1G;AAED,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAc;IAChC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAc;IACpC,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,GAAG,CAAK;gBAEJ,MAAM,EAAE,MAAM;IAI1B,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE;QAAE,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAO,GAAG,IAAI;IAKrH,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAKxC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE;QAAE,OAAO,CAAC,EAAE,UAAU,EAAE,CAAA;KAAO,GAAG,IAAI;IAKrF,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAK5C,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAK5B,QAAQ,IAAI,MAAM;IAIlB,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;IAI1E,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;CAgErE"}
|
package/dist/spans.js
CHANGED
|
@@ -75,17 +75,17 @@ export class SpanRecorder {
|
|
|
75
75
|
constructor(source) {
|
|
76
76
|
this.s = new MagicString(source);
|
|
77
77
|
}
|
|
78
|
-
overwrite(start, end, text,
|
|
78
|
+
overwrite(start, end, text, options = {}) {
|
|
79
79
|
this.s.overwrite(start, end, text);
|
|
80
|
-
this.edits.push({ sourceStart: start, sourceEnd: end, text, side: 0, seq: this.seq++,
|
|
80
|
+
this.edits.push({ sourceStart: start, sourceEnd: end, text, side: 0, seq: this.seq++, ...options });
|
|
81
81
|
}
|
|
82
82
|
remove(start, end) {
|
|
83
83
|
this.s.remove(start, end);
|
|
84
84
|
this.edits.push({ sourceStart: start, sourceEnd: end, text: "", side: 0, seq: this.seq++ });
|
|
85
85
|
}
|
|
86
|
-
appendLeft(pos, text) {
|
|
86
|
+
appendLeft(pos, text, options = {}) {
|
|
87
87
|
this.s.appendLeft(pos, text);
|
|
88
|
-
this.edits.push({ sourceStart: pos, sourceEnd: pos, text, side: 0, seq: this.seq
|
|
88
|
+
this.edits.push({ sourceStart: pos, sourceEnd: pos, text, side: 0, seq: this.seq++, ...options });
|
|
89
89
|
}
|
|
90
90
|
appendRight(pos, text) {
|
|
91
91
|
this.s.appendRight(pos, text);
|
|
@@ -135,7 +135,9 @@ export class SpanRecorder {
|
|
|
135
135
|
});
|
|
136
136
|
}
|
|
137
137
|
const prev = spans[spans.length - 1];
|
|
138
|
-
|
|
138
|
+
// A broken construct never merges into the replacement in front of it
|
|
139
|
+
// (`ask ` + the placeholder): the editor layer needs its boundary.
|
|
140
|
+
if (!e.broken && prev && prev.kind === "replaced" && prev.sourceEnd === e.sourceStart && prev.generatedEnd === gen) {
|
|
139
141
|
// Coalesce adjacent replacements (e.g. an extract suffix appendLeft
|
|
140
142
|
// and the enclosing ask's appendRight at the same position).
|
|
141
143
|
prev.sourceEnd = e.sourceEnd;
|
|
@@ -147,7 +149,7 @@ export class SpanRecorder {
|
|
|
147
149
|
sourceEnd: e.sourceEnd,
|
|
148
150
|
generatedStart: gen,
|
|
149
151
|
generatedEnd: gen + e.text.length,
|
|
150
|
-
kind: "replaced",
|
|
152
|
+
kind: e.broken ? "broken" : "replaced",
|
|
151
153
|
});
|
|
152
154
|
}
|
|
153
155
|
gen += e.text.length;
|
package/dist/spans.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spans.js","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAE7D,OAAO,WAAW,MAAM,cAAc,CAAC;
|
|
1
|
+
{"version":3,"file":"spans.js","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAE7D,OAAO,WAAW,MAAM,cAAc,CAAC;AAoDvC;;;;;;;;;GASG;AACH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAc,EAAE,KAAa,EAAE,SAAiB,EAAE,MAAc;IAClG,MAAM,YAAY,GAAG,CAAC,IAAY,EAAY,EAAE;QAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/E,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,MAAgB,EAAE,MAAc,EAAU,EAAE;QAC1D,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM;gBAAE,EAAE,GAAG,GAAG,CAAC;;gBAC/B,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACrC,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;QAChD,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc;YAAE,IAAI,IAAI,CAAC,CAAC;QACnD,OAAO,IAAI,GAAG,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,IAAI,EAAE,EAAE,CAAC;YAC5E,OAAO,OAAO,CAAC,MAAM,IAAI,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;gBACtC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,OAAO;QAAE,GAAG,CAAC,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,OAAO,YAAY;IACN,CAAC,CAAc;IACf,KAAK,GAAW,EAAE,CAAC;IAC5B,YAAY,GAAG,EAAE,CAAC;IAClB,GAAG,GAAG,CAAC,CAAC;IAEhB,YAAY,MAAc;QACxB,IAAI,CAAC,CAAC,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,SAAS,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY,EAAE,UAAwD,EAAE;QAC5G,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IACtG,CAAC;IAED,MAAM,CAAC,KAAa,EAAE,GAAW;QAC/B,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,UAAU,CAAC,GAAW,EAAE,IAAY,EAAE,UAAsC,EAAE;QAC5E,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IACpG,CAAC;IAED,WAAW,CAAC,GAAW,EAAE,IAAY;QACnC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACxF,CAAC;IAED,4EAA4E;IAC5E,QAAQ,CAAC,IAAY;QACnB,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC;IAC5B,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAED,WAAW,CAAC,OAAkD;QAC5D,OAAO,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,QAAQ,CAAC,YAAoB;QAC3B,sEAAsE;QACtE,oEAAoE;QACpE,6DAA6D;QAC7D,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAChH,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,YAAY,GAAG,CAAC,EAAU,EAAQ,EAAE;YACxC,IAAI,EAAE,GAAG,GAAG,EAAE,CAAC;gBACb,KAAK,CAAC,IAAI,CAAC;oBACT,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,EAAE;oBACb,cAAc,EAAE,GAAG;oBACnB,YAAY,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC;oBAC9B,IAAI,EAAE,UAAU;iBACjB,CAAC,CAAC;gBACH,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;gBAChB,GAAG,GAAG,EAAE,CAAC;YACX,CAAC;QACH,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAC;oBACX,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,cAAc,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU;oBAClC,YAAY,EAAE,GAAG,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC;iBACjE,CAAC,CAAC;YACL,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACrC,sEAAsE;YACtE,mEAAmE;YACnE,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,YAAY,KAAK,GAAG,EAAE,CAAC;gBACnH,oEAAoE;gBACpE,6DAA6D;gBAC7D,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;gBAC7B,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC;oBACT,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,cAAc,EAAE,GAAG;oBACnB,YAAY,EAAE,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM;oBACjC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;iBACvC,CAAC,CAAC;YACL,CAAC;YACD,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;YACrB,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC;QACD,YAAY,CAAC,YAAY,CAAC,CAAC;QAC3B,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC;gBACT,WAAW,EAAE,YAAY;gBACzB,SAAS,EAAE,YAAY;gBACvB,cAAc,EAAE,GAAG;gBACnB,YAAY,EAAE,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM;gBAC5C,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC5B,CAAC;CACF"}
|
package/dist/types.d.ts
CHANGED
|
@@ -26,10 +26,10 @@ export interface CompileOptions {
|
|
|
26
26
|
*/
|
|
27
27
|
tolerant?: boolean;
|
|
28
28
|
/**
|
|
29
|
-
* Policy when a
|
|
29
|
+
* Policy when a `.`-contextual parameter's type cannot be derived into an
|
|
30
30
|
* intent schema (`compiler.underivableContextType` in nola.config.ts):
|
|
31
31
|
* "error" diagnoses NOLA2008, "prune" drops just the underivable members,
|
|
32
|
-
* "omit" drops the whole type silently. Default: "error". Plain (non
|
|
32
|
+
* "omit" drops the whole type silently. Default: "error". Plain (non-`.`)
|
|
33
33
|
* params are exempt in every mode — their type never describes a live value.
|
|
34
34
|
*/
|
|
35
35
|
underivableContextType?: UnderivableContextTypeMode;
|
package/package.json
CHANGED
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@nola-lang/compiler",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.2",
|
|
4
4
|
"description": "Nola compiler: lowers .tsi to plain TypeScript with source maps (internal)",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"nola"
|
|
7
7
|
],
|
|
8
|
-
"license": "
|
|
8
|
+
"license": "Apache-2.0",
|
|
9
9
|
"author": "Evgen Mykhailenko",
|
|
10
10
|
"homepage": "https://github.com/nola-lang/nola#readme",
|
|
11
11
|
"repository": {
|
|
@@ -27,13 +27,14 @@
|
|
|
27
27
|
}
|
|
28
28
|
},
|
|
29
29
|
"files": [
|
|
30
|
-
"dist"
|
|
30
|
+
"dist",
|
|
31
|
+
"!dist/.tsbuildinfo"
|
|
31
32
|
],
|
|
32
33
|
"dependencies": {
|
|
33
34
|
"@jridgewell/sourcemap-codec": "^1.5.0",
|
|
34
|
-
"@nola-lang/ast": "0.1.
|
|
35
|
-
"@nola-lang/core": "0.1.
|
|
36
|
-
"@nola-lang/parser": "0.1.
|
|
35
|
+
"@nola-lang/ast": "0.1.2",
|
|
36
|
+
"@nola-lang/core": "0.1.2",
|
|
37
|
+
"@nola-lang/parser": "0.1.2",
|
|
37
38
|
"magic-string": "^0.30.0"
|
|
38
39
|
},
|
|
39
40
|
"devDependencies": {
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"lowerer.d.ts","sourceRoot":"","sources":["../../src/lower/lowerer.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,QAAQ,EAYd,MAAM,gBAAgB,CAAC;AAYxB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAuBjD,qBAAa,OAAO;IAClB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAe;IACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,mEAAmE;IACnE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAS;IAC9B,sEAAsE;IACtE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAW;IAC/B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoB;IAChD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAsD;IAC3E,OAAO,CAAC,WAAW,CAAS;IAC5B,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA6B;IAC3D,qEAAqE;IACrE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAsC;IACvE,kFAAkF;IAClF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAC1C,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAA6B;gBAGlE,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,QAAQ,EACb,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE;QAAE,sBAAsB,CAAC,EAAE,OAAO,GAAG,OAAO,GAAG,MAAM,CAAA;KAAO;IAiBvE,GAAG,IAAI,aAAa;IAyBpB,OAAO,CAAC,IAAI;IAIZ,0FAA0F;IAC1F,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,eAAe;IAMvB;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IAiB9B;;;;;;;;OAQG;IACH,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,KAAK;IA6Eb,OAAO,CAAC,kBAAkB;IAwD1B,OAAO,CAAC,eAAe;IAyBvB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAwB1B,OAAO,CAAC,YAAY;CA2CrB"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"lowerer.js","sourceRoot":"","sources":["../../src/lower/lowerer.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,EACL,QAAQ,GAST,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAEL,iBAAiB,EAEjB,kBAAkB,EAElB,cAAc,GACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhE,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,EACzB,yBAAyB,EACzB,YAAY,EACZ,WAAW,EACX,SAAS,EACT,QAAQ,EACR,kBAAkB,EAClB,eAAe,EACf,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,YAAY,GACb,MAAM,gBAAgB,CAAC;AAExB,MAAM,OAAO,OAAO;IACD,CAAC,CAAe;IAChB,MAAM,CAAS;IAChC,mEAAmE;IAClD,IAAI,CAAS;IAC9B,sEAAsE;IACrD,WAAW,CAAS;IACpB,GAAG,CAAW;IACd,WAAW,GAAiB,EAAE,CAAC;IAC/B,IAAI,GAAgC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IACnE,WAAW,GAAG,KAAK,CAAC;IAC5B,4FAA4F;IAC3E,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3D,qEAAqE;IACpD,gBAAgB,GAAG,IAAI,GAAG,EAA2B,CAAC;IACvE,kFAAkF;IACjE,SAAS,CAAgB;IAC1C,2FAA2F;IAC1E,sBAAsB,CAA6B;IAEpE,YACE,MAAc,EACd,IAAY,EACZ,GAAa,EACb,WAAmB,EACnB,UAAmE,EAAE;QAErE,IAAI,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,OAAO,CAAC;QACxE,IAAI,CAAC,SAAS,GAAG;YACf,MAAM;YACN,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC;YAClC,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC;YAChC,mBAAmB,EAAE,WAAW;YAChC,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,GAAG;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAElC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,IAAI,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa;gBAAE,QAAQ,IAAI,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxF,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,gBAAgB;gBAAE,QAAQ,IAAI,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9F,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/D,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,UAAU,GAAG;YACjB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/F,CAAC,IAAI,EAAE,CAAC;QAET,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE;YACvB,GAAG;YACH,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;SACpE,CAAC;IACJ,CAAC;IAEO,IAAI,CAAC,IAAY,EAAE,OAAe,EAAE,IAAc;QACxD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,0FAA0F;IAClF,UAAU,CAAC,UAAwC,EAAE,IAAkB;QAC7E,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpF,CAAC;IAEO,eAAe,CAAC,IAAiB,EAAE,UAAwC;QACjF,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC;IAED;;;;OAIG;IACK,sBAAsB,CAAC,KAAe,EAAE,SAAiB,EAAE,MAAc;QAC/E,QAAQ,IAAI,CAAC,sBAAsB,EAAE,CAAC;YACpC,KAAK,MAAM;gBACT,OAAO,SAAS,CAAC;YACnB,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACjC,KAAK,OAAO;gBACV,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,sBAAsB,EAC5B,yBAAyB,SAAS,sDAAsD,MAAM,IAAI;oBAChG,yFAAyF,EAC3F,KAAK,CACN,CAAC;gBACF,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACK,WAAW,CAAC,KAAe;QACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,GAAG,GAAkB,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACxE,SAAS,CAAC;YACR,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;YAClC,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClD,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBAC1C,OAAO,OAAO,CAAC,IAAI,CAAC;YACtB,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,8EAA8E;IACtE,KAAK,CAAC,IAAc,EAAE,YAAqB,EAAE,QAAiB;QACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAA6B,CAAC;gBAC9C,qEAAqE;gBACrE,mCAAmC;gBACnC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,OAAO;gBAChD,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,MAAM,GAAG,GAAG,IAAyB,CAAC;gBACtC,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,sBAAsB,EAC5B,+DAA+D,EAC/D,IAAI,CACL,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,qEAAqE;oBACrE,+CAA+C;oBAC/C,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;oBAC3D,oEAAoE;oBACpE,oDAAoD;oBACpD,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;oBAC3D,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC1B,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;gBAC9C,OAAO;YACT,CAAC;YACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,IAAwB,CAAC;gBACpC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC;oBAClB,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,yDAAyD;oBACzD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,uDAAuD,EAAE,IAAI,CAAC,CAAC;oBAClG,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;gBAE5B,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;oBACZ,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBACtC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;oBACjC,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAA0B,CAAC;gBACxC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;oBACpD,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACzC,OAAO;gBACT,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;QACD,MAAM,eAAe,GACnB,IAAI,CAAC,IAAI,KAAK,qBAAqB;YACnC,IAAI,CAAC,IAAI,KAAK,oBAAoB;YAClC,IAAI,CAAC,IAAI,KAAK,yBAAyB;YACvC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC;QAC9B,MAAM,YAAY,GAChB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC;QACrG,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,EAAoB;QAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,IAAI,WAAW,CAAC;QACxC,mEAAmE;QACnE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,EAAE,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,UAAU;YAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI;YAAE,OAAO;QAElB,4EAA4E;QAC5E,0EAA0E;QAC1E,sEAAsE;QACtE,4EAA4E;QAC5E,0EAA0E;QAC1E,0EAA0E;QAC1E,cAAc;QACd,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAoB,EAAE,CAAC;YACrD,IAAI,CAAC,CAAC,cAAc;gBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YAClF,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAG,CAA2B,CAAC,IAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;YACzG,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS,CAAC,qEAAqE;YACjH,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3B,IAAI,QAA4B,CAAC;YACjC,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC;YACpD,IAAI,KAAK,EAAE,CAAC;gBACV,qEAAqE;gBACrE,uEAAuE;gBACvE,qEAAqE;gBACrE,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtD,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE;oBACxB,CAAC,CAAC,CAAC,GAAG,EAAE;wBACJ,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;wBAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;4BAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAwB,CAAC;wBACzE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;wBACxB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;wBAC1C,OAAO,SAAS,CAAC;oBACnB,CAAC,CAAC,EAAE;oBACN,CAAC,CAAC,OAAO,CAAC;gBACZ,IAAI,OAAO,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;oBAChC,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACtF,CAAC;QAED,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;QAChF,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAEO,eAAe,CAAC,IAAwB,EAAE,YAAqB;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAsC,CAAC;QAC3D,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QAC9B,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,wBAAwB;YAC9B,+FAA+F;YAC/F,iEAAiE,EACjE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAa,CACjC,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,CAAC;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAc,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACnG,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,EAAE,kBAAkB,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/F,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC5D,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACzE,CAAC;IAED;;;OAGG;IACK,kBAAkB,CAAC,GAAa;QACtC,IAAI,GAAG,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACzC,IAAI,CAAE,GAA6B,CAAC,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,oBAAoB,EAC1B,wEAAwE,EACxE,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAK,GAA4B,CAAC,UAAU,EAAE,CAAC;gBAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBAAE,IAAI,CAAC,kBAAkB,CAAE,IAA2B,CAAC,KAAK,CAAC,CAAC;YAClG,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACnC,KAAK,MAAM,EAAE,IAAK,GAA2B,CAAC,QAAQ,EAAE,CAAC;gBACvD,IAAI,EAAE;oBAAE,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAA2B,EAAE,YAAqB;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAI,QAAQ,GAAG,yBAAyB,CAAC;QACzC,IAAI,QAAQ,GAAG,yBAAyB,CAAC;QACzC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC;gBACN,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClD,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;oBACf,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;oBACxB,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;gBACzD,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QACD,yEAAyE;QACzE,uEAAuE;QACvE,yEAAyE;QACzE,wEAAwE;QACxE,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,QAAQ;YACtB,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACpG,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACzD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YACzB,sDAAsD;YACtD,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC;CACF"}
|
package/dist/lower/lower.d.ts
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/lower/lower.ts"],"names":[],"mappings":""}
|
package/dist/lower/lower.js
DELETED
|
@@ -1,319 +0,0 @@
|
|
|
1
|
-
import { Codes, children, } from "@nola-lang/ast";
|
|
2
|
-
import { NOLA_EMIT } from "@nola-lang/core";
|
|
3
|
-
import { companionSpecifierFor } from "../companion-name.js";
|
|
4
|
-
import { collectTypeRegistry } from "../schema.js";
|
|
5
|
-
import { accessorNameFor, buildAccessorPlan, collectTypeImports, deriveTypeExpr, } from "../schema-expr.js";
|
|
6
|
-
import { SpanRecorder } from "../spans.js";
|
|
7
|
-
/**
|
|
8
|
-
* Appended at EOF so no original line/column shifts: ESM hoists the import, and a
|
|
9
|
-
* `function` declaration hoists with its value. `__nola_file_ctx` must NOT be a
|
|
10
|
-
* `const`/`let` — an infer function called during its own module's evaluation
|
|
11
|
-
* (`const eager = go();`) reads it before the declaration runs and hits the TDZ.
|
|
12
|
-
* It holds no state: `__nola.context.file` is memoized by path in the runtime.
|
|
13
|
-
*/
|
|
14
|
-
const RUNTIME_IMPORT = (displayFile) => `
|
|
15
|
-
import { __nola } from "nola-lang/runtime";
|
|
16
|
-
__nola.useRuntime(${NOLA_EMIT});
|
|
17
|
-
function __nola_file_ctx() { return __nola.context.file(${JSON.stringify(displayFile)}); }
|
|
18
|
-
`;
|
|
19
|
-
class Lowerer {
|
|
20
|
-
s;
|
|
21
|
-
source;
|
|
22
|
-
/** Absolute on-disk path. Diagnostics and source maps use this. */
|
|
23
|
-
file;
|
|
24
|
-
/** Project-root-relative path. Only this reaches the emitted code. */
|
|
25
|
-
displayFile;
|
|
26
|
-
ast;
|
|
27
|
-
diagnostics = [];
|
|
28
|
-
meta = { nolaFunctions: [] };
|
|
29
|
-
usedRuntime = false;
|
|
30
|
-
/** named types needing a __nola_type_<Name> accessor in the appendix, in first-use order */
|
|
31
|
-
typeAccessors = new Map();
|
|
32
|
-
/** local binding name -> companion import emitted in the appendix */
|
|
33
|
-
companionImports = new Map();
|
|
34
|
-
/** shared derivation context (registry, imports, display file, bare ref names) */
|
|
35
|
-
deriveCtx;
|
|
36
|
-
constructor(source, file, ast, displayFile) {
|
|
37
|
-
this.s = new SpanRecorder(source);
|
|
38
|
-
this.source = source;
|
|
39
|
-
this.file = file;
|
|
40
|
-
this.displayFile = displayFile;
|
|
41
|
-
this.ast = ast;
|
|
42
|
-
this.deriveCtx = {
|
|
43
|
-
source,
|
|
44
|
-
registry: collectTypeRegistry(ast),
|
|
45
|
-
imports: collectTypeImports(ast),
|
|
46
|
-
importerDisplayFile: displayFile,
|
|
47
|
-
refQualifier: "",
|
|
48
|
-
};
|
|
49
|
-
}
|
|
50
|
-
run() {
|
|
51
|
-
this.visit(this.ast, false, true);
|
|
52
|
-
if (this.usedRuntime) {
|
|
53
|
-
// Accessors are `function` declarations for the same TDZ reason as
|
|
54
|
-
// __nola_file_ctx: a top-level extractor evaluates during module
|
|
55
|
-
// evaluation, before any appendix statement runs.
|
|
56
|
-
let appendix = RUNTIME_IMPORT(this.displayFile);
|
|
57
|
-
for (const [name, expr] of this.typeAccessors) {
|
|
58
|
-
// The explicit return type is required: a self-recursive accessor has no
|
|
59
|
-
// inferable return type (TS7023 under strict). The inline import type is
|
|
60
|
-
// erased by esbuild and resolves against both the stub and the runtime.
|
|
61
|
-
appendix += `function ${accessorNameFor(name)}(): import("nola-lang/runtime").InferType<unknown> { return ${expr}; }\n`;
|
|
62
|
-
}
|
|
63
|
-
// Companion imports hoist like any ESM import; the binding is a companion
|
|
64
|
-
// accessor function, initialized before module evaluation (cycle-safe).
|
|
65
|
-
for (const [local, imp] of this.companionImports) {
|
|
66
|
-
appendix += `import { ${imp.importedName}$type as ${accessorNameFor(local)} } from ${JSON.stringify(companionSpecifierFor(imp.specifier))};\n`;
|
|
67
|
-
}
|
|
68
|
-
this.s.appendix(appendix);
|
|
69
|
-
}
|
|
70
|
-
const map = this.s.generateMap({ source: this.file, hires: true, includeContent: true });
|
|
71
|
-
const spans = this.s.finalize(this.source.length);
|
|
72
|
-
const companions = [
|
|
73
|
-
...new Set([...this.companionImports.values()].map((i) => companionSpecifierFor(i.specifier))),
|
|
74
|
-
].sort();
|
|
75
|
-
return {
|
|
76
|
-
code: this.s.toString(),
|
|
77
|
-
map,
|
|
78
|
-
diagnostics: this.diagnostics,
|
|
79
|
-
meta: { ...this.meta, spans, companions, mode: "lowered" },
|
|
80
|
-
};
|
|
81
|
-
}
|
|
82
|
-
diag(code, message, node) {
|
|
83
|
-
this.diagnostics.push({ code, message, file: this.file, start: node.start, end: node.end, loc: node.loc });
|
|
84
|
-
}
|
|
85
|
-
/** Fold a derivation's transitive needs (accessors, companion imports) into the state. */
|
|
86
|
-
absorbPlan(companions, plan) {
|
|
87
|
-
for (const [local, imp] of companions)
|
|
88
|
-
this.companionImports.set(local, imp);
|
|
89
|
-
for (const [name, expr] of plan.accessors) {
|
|
90
|
-
if (!this.typeAccessors.has(name))
|
|
91
|
-
this.typeAccessors.set(name, expr);
|
|
92
|
-
}
|
|
93
|
-
for (const [local, imp] of plan.companions)
|
|
94
|
-
this.companionImports.set(local, imp);
|
|
95
|
-
}
|
|
96
|
-
absorbTypeNeeds(refs, companions) {
|
|
97
|
-
const plan = buildAccessorPlan(refs, this.deriveCtx);
|
|
98
|
-
this.absorbPlan(companions, plan);
|
|
99
|
-
for (const e of plan.errors)
|
|
100
|
-
this.diag(Codes.UnsupportedIntentType, e.message, e.node);
|
|
101
|
-
}
|
|
102
|
-
// inNolaFnBody: directly inside a nola function body.
|
|
103
|
-
// topLevel: current node is a direct child of Program (or an export wrapper).
|
|
104
|
-
visit(node, inNolaFnBody, topLevel) {
|
|
105
|
-
switch (node.type) {
|
|
106
|
-
case "NolaExtractExpression": {
|
|
107
|
-
const extract = node;
|
|
108
|
-
// Tolerant-parse placeholder: diagnostic already recorded; leave the
|
|
109
|
-
// span's original bytes untouched.
|
|
110
|
-
if (extract.nolaError || !extract.quasi)
|
|
111
|
-
return;
|
|
112
|
-
this.lowerExtract(extract, inNolaFnBody);
|
|
113
|
-
return;
|
|
114
|
-
}
|
|
115
|
-
case "NolaAskExpression": {
|
|
116
|
-
const ask = node;
|
|
117
|
-
if (!inNolaFnBody) {
|
|
118
|
-
this.diag(Codes.AskOutsideNolaFunction, "`ask` is only allowed directly inside an infer function body.", node);
|
|
119
|
-
}
|
|
120
|
-
else {
|
|
121
|
-
// Overwriting up to the operand also removes an `with <alias>` span;
|
|
122
|
-
// the alias re-enters as ask's third argument.
|
|
123
|
-
this.s.overwrite(node.start, ask.argument.start, "await __nola.ask(");
|
|
124
|
-
const provider = ask.provider ? `, ${JSON.stringify(ask.provider.name)}` : "";
|
|
125
|
-
// appendRight: extract-lowering suffixes use appendLeft at the same
|
|
126
|
-
// position and must land BEFORE this closing paren.
|
|
127
|
-
this.s.appendRight(node.end, `, __ctx${provider})`);
|
|
128
|
-
this.usedRuntime = true;
|
|
129
|
-
}
|
|
130
|
-
this.visit(ask.argument, inNolaFnBody, false);
|
|
131
|
-
return;
|
|
132
|
-
}
|
|
133
|
-
case "FunctionDeclaration": {
|
|
134
|
-
const fn = node;
|
|
135
|
-
if (!fn.nolaInfer) {
|
|
136
|
-
break;
|
|
137
|
-
}
|
|
138
|
-
if (!topLevel) {
|
|
139
|
-
// TODO: to discuss - wew should not have this limitation
|
|
140
|
-
this.diag(Codes.NolaFnNotTopLevel, "infer functions must be declared at module top level.", node);
|
|
141
|
-
break;
|
|
142
|
-
}
|
|
143
|
-
this.lowerInferFunction(fn);
|
|
144
|
-
if (fn.body) {
|
|
145
|
-
for (const child of children(fn.body)) {
|
|
146
|
-
this.visit(child, true, false);
|
|
147
|
-
}
|
|
148
|
-
}
|
|
149
|
-
return;
|
|
150
|
-
}
|
|
151
|
-
case "CallExpression": {
|
|
152
|
-
const call = node;
|
|
153
|
-
if (call.callee.type === "TaggedTemplateExpression") {
|
|
154
|
-
this.lowerCallIntent(call, inNolaFnBody);
|
|
155
|
-
return;
|
|
156
|
-
}
|
|
157
|
-
break;
|
|
158
|
-
}
|
|
159
|
-
default:
|
|
160
|
-
break;
|
|
161
|
-
}
|
|
162
|
-
const isFunctionScope = node.type === "FunctionDeclaration" ||
|
|
163
|
-
node.type === "FunctionExpression" ||
|
|
164
|
-
node.type === "ArrowFunctionExpression" ||
|
|
165
|
-
node.type === "ObjectMethod" ||
|
|
166
|
-
node.type === "ClassMethod";
|
|
167
|
-
const nextTopLevel = node.type === "File" ||
|
|
168
|
-
node.type === "Program" ||
|
|
169
|
-
(topLevel && (node.type === "ExportNamedDeclaration" || node.type === "ExportDefaultDeclaration"));
|
|
170
|
-
for (const child of children(node)) {
|
|
171
|
-
this.visit(child, isFunctionScope ? false : inNolaFnBody, nextTopLevel);
|
|
172
|
-
}
|
|
173
|
-
}
|
|
174
|
-
lowerInferFunction(fn) {
|
|
175
|
-
const infer = fn.nolaInfer;
|
|
176
|
-
if (!infer)
|
|
177
|
-
return;
|
|
178
|
-
const name = fn.id?.name ?? "anonymous";
|
|
179
|
-
// Removes `infer ` including trailing whitespace up to `function`.
|
|
180
|
-
this.s.remove(infer.start, infer.end);
|
|
181
|
-
const instruction = fn.nolaMarker?.instruction ?? "";
|
|
182
|
-
if (fn.nolaMarker)
|
|
183
|
-
this.s.remove(fn.nolaMarker.start, fn.nolaMarker.end);
|
|
184
|
-
const body = fn.body;
|
|
185
|
-
if (!body)
|
|
186
|
-
return;
|
|
187
|
-
// Harvest params into FunctionScopeInit args: every named param contributes
|
|
188
|
-
// name (+ InferType when derivable); only `..`-prefixed params contribute
|
|
189
|
-
// the live value. Underivable/unannotated types are silently omitted — an
|
|
190
|
-
// UnsupportedType here would fail tsc-clean, and a missing arg type must
|
|
191
|
-
// not block compilation the way it deliberately does for extractors.
|
|
192
|
-
const argEntries = [];
|
|
193
|
-
for (const p of (fn.params ?? [])) {
|
|
194
|
-
if (p.nolaContextual)
|
|
195
|
-
this.s.remove(p.nolaContextual.start, p.nolaContextual.end);
|
|
196
|
-
const target = p.type === "AssignmentPattern" ? p.left : p;
|
|
197
|
-
if (target.type !== "Identifier")
|
|
198
|
-
continue; // patterns: parser already diagnosed `..` misuse; nothing to harvest
|
|
199
|
-
const paramName = target.name;
|
|
200
|
-
if (!paramName)
|
|
201
|
-
continue;
|
|
202
|
-
let typeField = "";
|
|
203
|
-
const tsAnn = target.typeAnnotation?.typeAnnotation;
|
|
204
|
-
if (tsAnn) {
|
|
205
|
-
const derived = deriveTypeExpr(tsAnn, this.deriveCtx);
|
|
206
|
-
if (derived.ok) {
|
|
207
|
-
// ref() derivation is lazy — a named type's body only derives inside
|
|
208
|
-
// the accessor plan, so "derivable" is only known once the plan builds
|
|
209
|
-
// cleanly. On any transitive failure, omit like the shallow case:
|
|
210
|
-
// nothing absorbed, no dangling __nola_type_* ref, no diagnostic.
|
|
211
|
-
const plan = buildAccessorPlan(derived.refs, this.deriveCtx);
|
|
212
|
-
if (plan.errors.length === 0) {
|
|
213
|
-
typeField = `, type: ${derived.expr}`;
|
|
214
|
-
this.absorbPlan(derived.companions, plan);
|
|
215
|
-
}
|
|
216
|
-
}
|
|
217
|
-
}
|
|
218
|
-
const ctxField = p.nolaContextual ? `, contextual: true, value: ${paramName}` : "";
|
|
219
|
-
argEntries.push(`{ name: ${JSON.stringify(paramName)}${typeField}${ctxField} }`);
|
|
220
|
-
}
|
|
221
|
-
const argsField = argEntries.length > 0 ? `, args: [${argEntries.join(", ")}]` : "";
|
|
222
|
-
this.s.appendRight(body.start + 1, "\n return __nola.intents.Intent(async (__ctx) => {");
|
|
223
|
-
this.s.appendLeft(body.end - 1, ` }, __nola_file_ctx().func({ fn: ${JSON.stringify(name)}, instruction: ${JSON.stringify(instruction)}${argsField} }));\n`);
|
|
224
|
-
this.meta.nolaFunctions.push(name);
|
|
225
|
-
this.usedRuntime = true;
|
|
226
|
-
}
|
|
227
|
-
lowerCallIntent(call, inNolaFnBody) {
|
|
228
|
-
const callee = call.callee;
|
|
229
|
-
const { tag, quasi } = callee;
|
|
230
|
-
if (quasi.expressions.length > 0) {
|
|
231
|
-
this.diag(Codes.SubstitutionInCallMarker,
|
|
232
|
-
// biome-ignore lint/suspicious/noTemplateCurlyInString: literal ${...} in a diagnostic message
|
|
233
|
-
"`${...}` substitutions are not allowed in a call-intent marker.", quasi.expressions[0]);
|
|
234
|
-
return;
|
|
235
|
-
}
|
|
236
|
-
for (const arg of call.arguments)
|
|
237
|
-
this.checkCallIntentArg(arg);
|
|
238
|
-
const instruction = quasi.quasis.map((q) => q.value.cooked ?? q.value.raw).join("");
|
|
239
|
-
const tagText = this.source.slice(tag.start, tag.end);
|
|
240
|
-
const simple = tag.type === "Identifier" || tag.type === "MemberExpression";
|
|
241
|
-
const typeText = simple ? `<Awaited<ReturnType<typeof ${tagText}>>>` : "";
|
|
242
|
-
const { line, column } = call.loc.start;
|
|
243
|
-
this.s.appendLeft(call.start, `__nola.intents.FunctionCallingIntent${typeText}({ fn: `);
|
|
244
|
-
const argsStart = call.arguments.length > 0 ? call.arguments[0].start : call.end - 1;
|
|
245
|
-
this.s.overwrite(tag.end, argsStart, `, name: ${JSON.stringify(tagText)}, instruction: ${JSON.stringify(instruction)}, ` +
|
|
246
|
-
`loc: ${JSON.stringify(`${line}:${column + 1}`)}, args: [`);
|
|
247
|
-
this.s.overwrite(call.end - 1, call.end, "] })");
|
|
248
|
-
this.usedRuntime = true;
|
|
249
|
-
for (const arg of call.arguments)
|
|
250
|
-
this.visit(arg, inNolaFnBody, false);
|
|
251
|
-
}
|
|
252
|
-
/**
|
|
253
|
-
* NOLA2004 for untyped extractors in slot positions: direct args and anywhere
|
|
254
|
-
* inside plain object/array literal nesting (mirrors the runtime slot walk).
|
|
255
|
-
*/
|
|
256
|
-
checkCallIntentArg(arg) {
|
|
257
|
-
if (arg.type === "NolaExtractExpression") {
|
|
258
|
-
if (!arg.typeArgs) {
|
|
259
|
-
this.diag(Codes.UntypedCallIntentArg, "an extractor used as a call-intent argument must have an explicit <T>.", arg);
|
|
260
|
-
}
|
|
261
|
-
return;
|
|
262
|
-
}
|
|
263
|
-
if (arg.type === "ObjectExpression") {
|
|
264
|
-
for (const prop of arg.properties) {
|
|
265
|
-
if (prop.type === "ObjectProperty")
|
|
266
|
-
this.checkCallIntentArg(prop.value);
|
|
267
|
-
}
|
|
268
|
-
return;
|
|
269
|
-
}
|
|
270
|
-
if (arg.type === "ArrayExpression") {
|
|
271
|
-
for (const el of arg.elements) {
|
|
272
|
-
if (el)
|
|
273
|
-
this.checkCallIntentArg(el);
|
|
274
|
-
}
|
|
275
|
-
}
|
|
276
|
-
}
|
|
277
|
-
lowerExtract(node, inNolaFnBody) {
|
|
278
|
-
const quasi = node.quasi;
|
|
279
|
-
if (!quasi)
|
|
280
|
-
return;
|
|
281
|
-
let typeExpr = "__nola.types.string()";
|
|
282
|
-
let typeText = "<any>";
|
|
283
|
-
if (node.typeArgs) {
|
|
284
|
-
const t = node.typeArgs.params[0];
|
|
285
|
-
if (t) {
|
|
286
|
-
typeText = `<${this.source.slice(t.start, t.end)}>`;
|
|
287
|
-
const derived = deriveTypeExpr(t, this.deriveCtx);
|
|
288
|
-
if (derived.ok) {
|
|
289
|
-
typeExpr = derived.expr;
|
|
290
|
-
this.absorbTypeNeeds(derived.refs, derived.companions);
|
|
291
|
-
}
|
|
292
|
-
else {
|
|
293
|
-
this.diag(Codes.UnsupportedIntentType, derived.message, derived.node);
|
|
294
|
-
}
|
|
295
|
-
}
|
|
296
|
-
}
|
|
297
|
-
const { line, column } = node.loc.start;
|
|
298
|
-
// Prefix up to (but not including) the template preserves the template's
|
|
299
|
-
// original bytes; each ${expr} gets __nola.fmt(...) wrapped around it.
|
|
300
|
-
this.s.overwrite(node.start, quasi.start, `__nola.intents.ExtractIntent${typeText}({ instruction: `);
|
|
301
|
-
for (const expr of quasi.expressions) {
|
|
302
|
-
this.s.appendLeft(expr.start, "__nola.fmt(");
|
|
303
|
-
this.s.appendLeft(expr.end, ")");
|
|
304
|
-
}
|
|
305
|
-
const suffix = `, type: ${typeExpr}, loc: ${JSON.stringify(`${line}:${column + 1}`)} })`;
|
|
306
|
-
if (node.end > quasi.end) {
|
|
307
|
-
// Replaces the <T> span (which follows the template).
|
|
308
|
-
this.s.overwrite(quasi.end, node.end, suffix);
|
|
309
|
-
}
|
|
310
|
-
else {
|
|
311
|
-
// appendLeft: must precede an enclosing ask's appendRight ")".
|
|
312
|
-
this.s.appendLeft(node.end, suffix);
|
|
313
|
-
}
|
|
314
|
-
this.usedRuntime = true;
|
|
315
|
-
for (const expr of quasi.expressions)
|
|
316
|
-
this.visit(expr, inNolaFnBody, false);
|
|
317
|
-
}
|
|
318
|
-
}
|
|
319
|
-
//# sourceMappingURL=lower.js.map
|
package/dist/lower/lower.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../src/lower/lower.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,EACL,QAAQ,GAST,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAEL,eAAe,EACf,iBAAiB,EAEjB,kBAAkB,EAElB,cAAc,GACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG3C;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,WAAmB,EAAE,EAAE,CAAC;;oBAE5B,SAAS;0DAC6B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;CACpF,CAAC;AAIF,MAAM,OAAO;IACM,CAAC,CAAe;IAChB,MAAM,CAAS;IAChC,mEAAmE;IAClD,IAAI,CAAS;IAC9B,sEAAsE;IACrD,WAAW,CAAS;IACpB,GAAG,CAAW;IACd,WAAW,GAAiB,EAAE,CAAC;IAC/B,IAAI,GAAgC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IACnE,WAAW,GAAG,KAAK,CAAC;IAC5B,4FAA4F;IAC3E,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3D,qEAAqE;IACpD,gBAAgB,GAAG,IAAI,GAAG,EAA2B,CAAC;IACvE,kFAAkF;IACjE,SAAS,CAAgB;IAE1C,YAAY,MAAc,EAAE,IAAY,EAAE,GAAa,EAAE,WAAmB;QAC1E,IAAI,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,SAAS,GAAG;YACf,MAAM;YACN,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC;YAClC,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC;YAChC,mBAAmB,EAAE,WAAW;YAChC,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,GAAG;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAElC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,mEAAmE;YACnE,iEAAiE;YACjE,kDAAkD;YAClD,IAAI,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAChD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBAC9C,yEAAyE;gBACzE,yEAAyE;gBACzE,wEAAwE;gBACxE,QAAQ,IAAI,YAAY,eAAe,CAAC,IAAI,CAAC,+DAA+D,IAAI,OAAO,CAAC;YAC1H,CAAC;YACD,0EAA0E;YAC1E,wEAAwE;YACxE,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACjD,QAAQ,IAAI,YAAY,GAAG,CAAC,YAAY,YAAY,eAAe,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;YACjJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG;YACjB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/F,CAAC,IAAI,EAAE,CAAC;QAET,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE;YACvB,GAAG;YACH,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;SAC3D,CAAC;IACJ,CAAC;IAEO,IAAI,CAAC,IAAY,EAAE,OAAe,EAAE,IAAc;QACxD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,0FAA0F;IAClF,UAAU,CAAC,UAAwC,EAAE,IAAkB;QAC7E,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpF,CAAC;IAEO,eAAe,CAAC,IAAiB,EAAE,UAAwC;QACjF,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC;IAED,sDAAsD;IACtD,8EAA8E;IACtE,KAAK,CAAC,IAAc,EAAE,YAAqB,EAAE,QAAiB;QACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAA6B,CAAC;gBAC9C,qEAAqE;gBACrE,mCAAmC;gBACnC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,OAAO;gBAChD,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,MAAM,GAAG,GAAG,IAAyB,CAAC;gBACtC,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,sBAAsB,EAC5B,+DAA+D,EAC/D,IAAI,CACL,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,qEAAqE;oBACrE,+CAA+C;oBAC/C,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;oBACtE,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9E,oEAAoE;oBACpE,oDAAoD;oBACpD,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,QAAQ,GAAG,CAAC,CAAC;oBACpD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC1B,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;gBAC9C,OAAO;YACT,CAAC;YACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,IAAwB,CAAC;gBACpC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC;oBAClB,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,yDAAyD;oBACzD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,uDAAuD,EAAE,IAAI,CAAC,CAAC;oBAClG,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;gBAE5B,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;oBACZ,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBACtC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;oBACjC,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAA0B,CAAC;gBACxC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;oBACpD,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACzC,OAAO;gBACT,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;QACD,MAAM,eAAe,GACnB,IAAI,CAAC,IAAI,KAAK,qBAAqB;YACnC,IAAI,CAAC,IAAI,KAAK,oBAAoB;YAClC,IAAI,CAAC,IAAI,KAAK,yBAAyB;YACvC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC;QAC9B,MAAM,YAAY,GAChB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC;QACrG,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,EAAoB;QAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,IAAI,WAAW,CAAC;QACxC,mEAAmE;QACnE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,EAAE,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,UAAU;YAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI;YAAE,OAAO;QAElB,4EAA4E;QAC5E,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,qEAAqE;QACrE,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAoB,EAAE,CAAC;YACrD,IAAI,CAAC,CAAC,cAAc;gBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YAClF,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAG,CAA2B,CAAC,IAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;YACzG,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS,CAAC,qEAAqE;YACjH,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,IAAI,SAAS,GAAG,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC;YACpD,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtD,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;oBACf,qEAAqE;oBACrE,uEAAuE;oBACvE,kEAAkE;oBAClE,kEAAkE;oBAClE,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC7B,SAAS,GAAG,WAAW,OAAO,CAAC,IAAI,EAAE,CAAC;wBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,8BAA8B,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,UAAU,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,SAAS,GAAG,QAAQ,IAAI,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAEpF,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,qDAAqD,CAAC,CAAC;QAC1F,IAAI,CAAC,CAAC,CAAC,UAAU,CACf,IAAI,CAAC,GAAG,GAAG,CAAC,EACZ,qCAAqC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,SAAS,SAAS,CAC5H,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAEO,eAAe,CAAC,IAAwB,EAAE,YAAqB;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAsC,CAAC;QAC3D,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QAC9B,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,wBAAwB;YAC9B,+FAA+F;YAC/F,iEAAiE,EACjE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAa,CACjC,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,CAAC;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,8BAA8B,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACxC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,uCAAuC,QAAQ,SAAS,CAAC,CAAC;QACxF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAc,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACnG,IAAI,CAAC,CAAC,CAAC,SAAS,CACd,GAAG,CAAC,GAAG,EACP,SAAS,EACT,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI;YACjF,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC,WAAW,CAC7D,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACzE,CAAC;IAED;;;OAGG;IACK,kBAAkB,CAAC,GAAa;QACtC,IAAI,GAAG,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACzC,IAAI,CAAE,GAA6B,CAAC,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,oBAAoB,EAC1B,wEAAwE,EACxE,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAK,GAA4B,CAAC,UAAU,EAAE,CAAC;gBAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBAAE,IAAI,CAAC,kBAAkB,CAAE,IAA2B,CAAC,KAAK,CAAC,CAAC;YAClG,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACnC,KAAK,MAAM,EAAE,IAAK,GAA2B,CAAC,QAAQ,EAAE,CAAC;gBACvD,IAAI,EAAE;oBAAE,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAA2B,EAAE,YAAqB;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAI,QAAQ,GAAG,uBAAuB,CAAC;QACvC,IAAI,QAAQ,GAAG,OAAO,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC;gBACN,QAAQ,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;gBACpD,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClD,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;oBACf,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;oBACxB,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;gBACzD,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACxC,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,+BAA+B,QAAQ,kBAAkB,CAAC,CAAC;QACrG,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAC7C,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,QAAQ,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;QACzF,IAAI,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YACzB,sDAAsD;YACtD,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC;CACF"}
|
package/dist/lower.d.ts
DELETED
package/dist/lower.d.ts.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../src/lower.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,QAAQ,EAYd,MAAM,gBAAgB,CAAC;AAcxB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAehD,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,GAAE,MAAa,GAAG,aAAa,CAE5G"}
|