@hyperscale0/hsx 1.0.0 → 1.0.124
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/CHANGELOG.md +5 -256
- package/LICENSE.md +356 -0
- package/NOTICE.md +8 -0
- package/README.md +44 -44
- package/bin/hsx.ts +0 -7
- package/dist/bin/hsx.d.ts +0 -4
- package/dist/bin/hsx.d.ts.map +1 -1
- package/dist/bin/hsx.js +0 -6
- package/dist/bin/hsx.js.map +1 -1
- package/dist/src/ast.d.ts +113 -308
- package/dist/src/ast.d.ts.map +1 -1
- package/dist/src/ast.js +7 -71
- package/dist/src/ast.js.map +1 -1
- package/dist/src/attachment-economics.d.ts +5 -0
- package/dist/src/attachment-economics.d.ts.map +1 -0
- package/dist/src/attachment-economics.js +55 -0
- package/dist/src/attachment-economics.js.map +1 -0
- package/dist/src/binding-contract.d.ts +22 -0
- package/dist/src/binding-contract.d.ts.map +1 -0
- package/dist/src/binding-contract.js +74 -0
- package/dist/src/binding-contract.js.map +1 -0
- package/dist/src/cli.d.ts +4 -19
- package/dist/src/cli.d.ts.map +1 -1
- package/dist/src/cli.js +89 -276
- package/dist/src/cli.js.map +1 -1
- package/dist/src/compile.d.ts +34 -66
- package/dist/src/compile.d.ts.map +1 -1
- package/dist/src/compile.js +2949 -117
- package/dist/src/compile.js.map +1 -1
- package/dist/src/cost.d.ts +8 -75
- package/dist/src/cost.d.ts.map +1 -1
- package/dist/src/cost.js +54 -364
- package/dist/src/cost.js.map +1 -1
- package/dist/src/diagnostics.d.ts +14 -9
- package/dist/src/diagnostics.d.ts.map +1 -1
- package/dist/src/diagnostics.js +39 -416
- package/dist/src/diagnostics.js.map +1 -1
- package/dist/src/examples-bundle.d.ts +3 -0
- package/dist/src/examples-bundle.d.ts.map +1 -0
- package/dist/src/examples-bundle.js +18 -0
- package/dist/src/examples-bundle.js.map +1 -0
- package/dist/src/examples.d.ts +10 -0
- package/dist/src/examples.d.ts.map +1 -0
- package/dist/src/examples.js +2 -0
- package/dist/src/examples.js.map +1 -0
- package/dist/src/format.d.ts +8 -7
- package/dist/src/format.d.ts.map +1 -1
- package/dist/src/format.js +9 -175
- package/dist/src/format.js.map +1 -1
- package/dist/src/header-source.d.ts +3 -0
- package/dist/src/header-source.d.ts.map +1 -0
- package/dist/src/header-source.js +41 -0
- package/dist/src/header-source.js.map +1 -0
- package/dist/src/headers.d.ts +64 -0
- package/dist/src/headers.d.ts.map +1 -0
- package/dist/src/headers.js +167 -0
- package/dist/src/headers.js.map +1 -0
- package/dist/src/index.d.ts +7 -11
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +4 -9
- package/dist/src/index.js.map +1 -1
- package/dist/src/keywords.d.ts +56 -0
- package/dist/src/keywords.d.ts.map +1 -0
- package/dist/src/keywords.js +133 -0
- package/dist/src/keywords.js.map +1 -0
- package/dist/src/language.d.ts +26 -0
- package/dist/src/language.d.ts.map +1 -0
- package/dist/src/language.js +440 -0
- package/dist/src/language.js.map +1 -0
- package/dist/src/lex.d.ts +13 -28
- package/dist/src/lex.d.ts.map +1 -1
- package/dist/src/lex.js +119 -145
- package/dist/src/lex.js.map +1 -1
- package/dist/src/parse.d.ts +4 -17
- package/dist/src/parse.d.ts.map +1 -1
- package/dist/src/parse.js +484 -1036
- package/dist/src/parse.js.map +1 -1
- package/dist/src/std-bundle.d.ts.map +1 -1
- package/dist/src/std-bundle.js +11 -84
- package/dist/src/std-bundle.js.map +1 -1
- package/dist/src/std-library.d.ts +1 -1
- package/dist/src/std-library.d.ts.map +1 -1
- package/dist/src/std-library.js +1 -5
- package/dist/src/std-library.js.map +1 -1
- package/dist/src/tunables.d.ts +7 -0
- package/dist/src/tunables.d.ts.map +1 -0
- package/dist/src/tunables.js +27 -0
- package/dist/src/tunables.js.map +1 -0
- package/docs/README.md +528 -26
- package/docs/assets/brand/hsx-horizontal-white.svg +1 -0
- package/docs/assets/brand/hsx-horizontal.svg +1 -0
- package/docs/assets/brand/hsx-stacked-white.svg +1 -0
- package/docs/assets/brand/hsx-stacked.svg +1 -0
- package/docs/assets/brand/manifest.json +30 -0
- package/docs/assets/hsx.svg +11 -0
- package/examples/cards.hsx +34 -0
- package/examples/collections.hsx +37 -0
- package/examples/cost-table.json +633 -385
- package/examples/escrow.hsx +24 -0
- package/examples/financing.hsx +32 -0
- package/examples/insurance.hsx +30 -0
- package/examples/lending.hsx +57 -0
- package/examples/library.hsx +15 -0
- package/examples/marketplace.hsx +32 -0
- package/examples/money.hsx +19 -0
- package/examples/rental-deposit.hsx +60 -0
- package/examples/repair-approval.hsx +44 -0
- package/examples/reporting.hsx +28 -0
- package/examples/savings.hsx +21 -0
- package/examples/serviced.hsx +25 -0
- package/examples/wallet.hsx +24 -0
- package/package.json +25 -23
- package/src/ast.ts +83 -440
- package/src/attachment-economics.ts +103 -0
- package/src/binding-contract.ts +104 -0
- package/src/cli.ts +95 -325
- package/src/compile.ts +4063 -209
- package/src/cost.ts +71 -574
- package/src/diagnostics.ts +57 -437
- package/src/examples-bundle.ts +19 -0
- package/src/examples.ts +9 -0
- package/src/format.ts +12 -256
- package/src/header-source.ts +54 -0
- package/src/headers.ts +195 -0
- package/src/index.ts +18 -33
- package/src/keywords.ts +134 -0
- package/src/language.ts +629 -0
- package/src/lex.ts +131 -192
- package/src/parse.ts +489 -1195
- package/src/std-bundle.ts +12 -88
- package/src/std-library.ts +2 -7
- package/src/tunables.ts +36 -0
- package/std/cards.hsx +85 -0
- package/std/collections.hsx +90 -0
- package/std/escrow.hsx +73 -0
- package/std/financing.hsx +683 -0
- package/std/insurance.hsx +89 -0
- package/std/lending.hsx +138 -0
- package/std/marketplace.hsx +123 -0
- package/std/money.hsx +173 -0
- package/std/reporting.hsx +753 -0
- package/std/savings.hsx +68 -0
- package/std/wallet.hsx +57 -0
- package/LICENSE +0 -661
- package/LICENSING.md +0 -52
- package/TRADEMARKS.md +0 -35
- package/dist/src/emit.d.ts +0 -34
- package/dist/src/emit.d.ts.map +0 -1
- package/dist/src/emit.js +0 -137
- package/dist/src/emit.js.map +0 -1
- package/dist/src/entry-overrides.d.ts +0 -58
- package/dist/src/entry-overrides.d.ts.map +0 -1
- package/dist/src/entry-overrides.js +0 -284
- package/dist/src/entry-overrides.js.map +0 -1
- package/dist/src/ir.d.ts +0 -66
- package/dist/src/ir.d.ts.map +0 -1
- package/dist/src/ir.js +0 -15
- package/dist/src/ir.js.map +0 -1
- package/dist/src/limits.d.ts +0 -21
- package/dist/src/limits.d.ts.map +0 -1
- package/dist/src/limits.js +0 -21
- package/dist/src/limits.js.map +0 -1
- package/dist/src/lsp/server.d.ts +0 -32
- package/dist/src/lsp/server.d.ts.map +0 -1
- package/dist/src/lsp/server.js +0 -391
- package/dist/src/lsp/server.js.map +0 -1
- package/dist/src/modules.d.ts +0 -38
- package/dist/src/modules.d.ts.map +0 -1
- package/dist/src/modules.js +0 -368
- package/dist/src/modules.js.map +0 -1
- package/dist/src/typecheck.d.ts +0 -8
- package/dist/src/typecheck.d.ts.map +0 -1
- package/dist/src/typecheck.js +0 -2958
- package/dist/src/typecheck.js.map +0 -1
- package/dist/src/version.d.ts +0 -5
- package/dist/src/version.d.ts.map +0 -1
- package/dist/src/version.js +0 -5
- package/dist/src/version.js.map +0 -1
- package/docs/guide/01-first-program.md +0 -24
- package/docs/guide/02-money.md +0 -25
- package/docs/guide/03-instruments.md +0 -22
- package/docs/guide/04-lifecycles.md +0 -25
- package/docs/guide/05-fees-and-splits.md +0 -45
- package/docs/guide/06-schedules.md +0 -22
- package/docs/guide/07-composition.md +0 -46
- package/docs/guide/08-writing-a-module.md +0 -26
- package/docs/guide/09-cost.md +0 -24
- package/docs/guide/10-diagnostics.md +0 -27
- package/docs/llms-full.txt +0 -1739
- package/docs/llms.txt +0 -45
- package/docs/playground.md +0 -54
- package/docs/reference/cli.md +0 -35
- package/docs/reference/diagnostics.md +0 -619
- package/docs/reference/grammar.md +0 -39
- package/docs/reference/std/advance.md +0 -35
- package/docs/reference/std/cancellable_booking.md +0 -35
- package/docs/reference/std/captured_payment.md +0 -43
- package/docs/reference/std/conditional_disbursement.md +0 -33
- package/docs/reference/std/credit_facility.md +0 -35
- package/docs/reference/std/held_payment.md +0 -64
- package/docs/reference/std/instant_transfer.md +0 -30
- package/docs/reference/std/metered.md +0 -27
- package/docs/reference/std/pooled_split.md +0 -26
- package/docs/reference/std/premium_forward.md +0 -39
- package/docs/reference/std/reconciled_payout.md +0 -33
- package/docs/reference/std/recurring_collection.md +0 -25
- package/docs/reference/std/rotating_pool.md +0 -42
- package/docs/reference/std/scheduled.md +0 -51
- package/docs/reference/std/security_deposit.md +0 -46
- package/docs/reference/std/settlement_batch.md +0 -42
- package/docs/reference/std/swap.md +0 -46
- package/docs/reference/std/threshold_pool.md +0 -47
- package/docs/reference/std/weighted_distribution.md +0 -39
- package/docs/reference/types.md +0 -20
- package/docs/reference/udl-output.md +0 -13
- package/docs/sessions/2026-09-02-two-instruments.hsx +0 -21
- package/docs/sessions/2026-09-02-two-instruments.md +0 -41
- package/examples/01-first-program/README.md +0 -45
- package/examples/01-first-program/tip-jar.hsx +0 -17
- package/examples/02-imports-and-archetypes/README.md +0 -96
- package/examples/02-imports-and-archetypes/photo-booth.hsx +0 -37
- package/examples/03-diagnostics/README.md +0 -68
- package/examples/03-diagnostics/corner-shop-fixed.hsx +0 -22
- package/examples/03-diagnostics/corner-shop.hsx +0 -19
- package/examples/04-complete-product/README.md +0 -84
- package/examples/04-complete-product/study-hall.hsx +0 -67
- package/examples/05-watch-club/README.md +0 -9
- package/examples/05-watch-club/watch-club.hsx +0 -124
- package/examples/README.md +0 -18
- package/examples/advance/README.md +0 -3
- package/examples/advance/advance.hsx +0 -13
- package/examples/advance/advance.udl +0 -339
- package/examples/cancellable_booking/README.md +0 -3
- package/examples/cancellable_booking/cancellable_booking.hsx +0 -14
- package/examples/cancellable_booking/cancellable_booking.udl +0 -391
- package/examples/captured_payment/README.md +0 -3
- package/examples/captured_payment/captured_payment.hsx +0 -21
- package/examples/captured_payment/captured_payment.udl +0 -677
- package/examples/conditional_disbursement/README.md +0 -3
- package/examples/conditional_disbursement/conditional_disbursement.hsx +0 -17
- package/examples/conditional_disbursement/conditional_disbursement.udl +0 -412
- package/examples/credit_facility/README.md +0 -3
- package/examples/credit_facility/credit_facility.hsx +0 -27
- package/examples/credit_facility/credit_facility.udl +0 -1373
- package/examples/held_payment/README.md +0 -3
- package/examples/held_payment/held_payment.hsx +0 -13
- package/examples/held_payment/held_payment.udl +0 -507
- package/examples/instant_transfer/README.md +0 -3
- package/examples/instant_transfer/instant_transfer.hsx +0 -16
- package/examples/instant_transfer/instant_transfer.udl +0 -364
- package/examples/metered/README.md +0 -3
- package/examples/metered/metered.hsx +0 -13
- package/examples/metered/metered.udl +0 -247
- package/examples/pooled_split/README.md +0 -3
- package/examples/pooled_split/pooled_split.hsx +0 -15
- package/examples/pooled_split/pooled_split.udl +0 -425
- package/examples/premium_forward/README.md +0 -3
- package/examples/premium_forward/premium_forward.hsx +0 -19
- package/examples/premium_forward/premium_forward.udl +0 -594
- package/examples/reconciled_payout/README.md +0 -3
- package/examples/reconciled_payout/reconciled_payout.hsx +0 -13
- package/examples/reconciled_payout/reconciled_payout.udl +0 -303
- package/examples/recurring_collection/README.md +0 -3
- package/examples/recurring_collection/recurring_collection.hsx +0 -21
- package/examples/recurring_collection/recurring_collection.udl +0 -1130
- package/examples/rotating_pool/README.md +0 -3
- package/examples/rotating_pool/rotating_pool.hsx +0 -18
- package/examples/rotating_pool/rotating_pool.udl +0 -4352
- package/examples/scheduled/README.md +0 -3
- package/examples/scheduled/scheduled.hsx +0 -12
- package/examples/scheduled/scheduled.udl +0 -335
- package/examples/security_deposit/README.md +0 -3
- package/examples/security_deposit/security_deposit.hsx +0 -21
- package/examples/security_deposit/security_deposit.udl +0 -293
- package/examples/settlement_batch/README.md +0 -3
- package/examples/settlement_batch/settlement_batch.hsx +0 -19
- package/examples/settlement_batch/settlement_batch.udl +0 -753
- package/examples/swap/README.md +0 -3
- package/examples/swap/swap.hsx +0 -19
- package/examples/swap/swap.udl +0 -876
- package/examples/threshold_pool/README.md +0 -3
- package/examples/threshold_pool/threshold_pool.hsx +0 -16
- package/examples/threshold_pool/threshold_pool.udl +0 -667
- package/examples/weighted_distribution/README.md +0 -3
- package/examples/weighted_distribution/weighted_distribution.hsx +0 -20
- package/examples/weighted_distribution/weighted_distribution.udl +0 -337
- package/skills/hsx/SKILL.md +0 -483
- package/src/emit.ts +0 -201
- package/src/entry-overrides.ts +0 -428
- package/src/ir.ts +0 -99
- package/src/limits.ts +0 -20
- package/src/lsp/server.ts +0 -460
- package/src/modules.ts +0 -446
- package/src/typecheck.ts +0 -3876
- package/src/version.ts +0 -5
- package/std/SEMANTICS.md +0 -130
- package/std/settlements/advance.hsx +0 -177
- package/std/settlements/cancellable_booking.hsx +0 -87
- package/std/settlements/captured_payment.hsx +0 -144
- package/std/settlements/conditional_disbursement.hsx +0 -185
- package/std/settlements/credit_facility.hsx +0 -167
- package/std/settlements/held_payment.hsx +0 -578
- package/std/settlements/index.hsx +0 -3
- package/std/settlements/instant_transfer.hsx +0 -190
- package/std/settlements/metered.hsx +0 -67
- package/std/settlements/pooled_split.hsx +0 -68
- package/std/settlements/premium_forward.hsx +0 -257
- package/std/settlements/reconciled_payout.hsx +0 -77
- package/std/settlements/recurring_collection.hsx +0 -27
- package/std/settlements/rotating_pool.hsx +0 -252
- package/std/settlements/scheduled.hsx +0 -641
- package/std/settlements/security_deposit.hsx +0 -166
- package/std/settlements/settlement_batch.hsx +0 -122
- package/std/settlements/swap.hsx +0 -1114
- package/std/settlements/threshold_pool.hsx +0 -221
- package/std/settlements/weighted_distribution.hsx +0 -141
package/dist/src/lex.d.ts
CHANGED
|
@@ -1,32 +1,17 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* The HSX lexer. Hand-written, total: every input produces a token stream
|
|
3
|
-
* ending in `eof`, with malformed stretches reported as diagnostics and
|
|
4
|
-
* skipped. Tokens carry byte-offset spans; whitespace and `//` comments are
|
|
5
|
-
* insignificant everywhere.
|
|
6
|
-
*/
|
|
7
1
|
import type { Diagnostic, Span } from "./ast.ts";
|
|
8
|
-
|
|
9
|
-
export declare const KEYWORDS: readonly ["action", "as", "asset", "commit", "const", "expect", "expose", "expires", "export", "from", "import", "instrument", "module", "party", "port", "program", "quote", "rate", "reconcile", "settlement", "subject", "type", "use"];
|
|
2
|
+
export declare const KEYWORDS: readonly ["program", "header", "use", "party", "role", "currency", "instrument", "fields", "lifecycle", "action", "expose", "hide", "as", "cap", "of", "when", "constraints", "requires", "invariants", "moves", "from", "to", "in", "is", "has", "unique", "on", "count", "sum", "hours", "between", "and", "timezone", "evidence", "family", "check", "result", "maxAge", "instruction", "reserve", "post", "void", "capture", "boundary", "key", "fee", "shares", "object", "attach", "subject", "rename", "columns"];
|
|
10
3
|
export interface Token {
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
readonly text: string;
|
|
15
|
-
/** Decoded value for string literals; raw digits for numbers/percents. */
|
|
16
|
-
readonly value: string;
|
|
4
|
+
kind: "name" | "number" | "string" | "date" | "punct" | "comment" | "eof";
|
|
5
|
+
text: string;
|
|
6
|
+
span: Span;
|
|
17
7
|
}
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
readonly diagnostics: readonly Diagnostic[];
|
|
28
|
-
readonly tokens: readonly Token[];
|
|
29
|
-
}
|
|
30
|
-
export declare function lex(source: string): LexResult;
|
|
31
|
-
export {};
|
|
8
|
+
export declare function lex(source: string): {
|
|
9
|
+
tokens: Token[];
|
|
10
|
+
diagnostics: Diagnostic[];
|
|
11
|
+
};
|
|
12
|
+
/** The editor keeps comments and unfinished strings; compiler tokens stay unchanged. */
|
|
13
|
+
export declare function scan(source: string, editor?: boolean): {
|
|
14
|
+
tokens: Token[];
|
|
15
|
+
diagnostics: Diagnostic[];
|
|
16
|
+
};
|
|
32
17
|
//# sourceMappingURL=lex.d.ts.map
|
package/dist/src/lex.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lex.d.ts","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"lex.d.ts","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACjD,eAAO,MAAM,QAAQ,YACnB,SAAS,EACT,QAAQ,EACR,KAAK,EACL,OAAO,EACP,MAAM,EACN,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,MAAM,EACN,aAAa,EACb,UAAU,EACV,YAAY,EACZ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,KAAK,EACL,OAAO,EACP,SAAS,EACT,KAAK,EACL,UAAU,EACV,UAAU,EACV,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,SAAS,EACT,MAAM,EACN,MAAM,EACN,SAAS,EACT,UAAU,EACV,KAAK,EACL,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,SAAS,CACD,CAAC;AACX,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,KAAK,CAAC;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;CACZ;AACD,wBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM;YASxB,KAAK,EAAE;iBACF,UAAU,EAAE;EAR1B;AAED,wFAAwF;AACxF,wBAAgB,IAAI,CAClB,MAAM,EAAE,MAAM,EACd,MAAM,UAAO,GACZ;IACD,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,CAmFA"}
|
package/dist/src/lex.js
CHANGED
|
@@ -1,171 +1,145 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* The HSX lexer. Hand-written, total: every input produces a token stream
|
|
3
|
-
* ending in `eof`, with malformed stretches reported as diagnostics and
|
|
4
|
-
* skipped. Tokens carry byte-offset spans; whitespace and `//` comments are
|
|
5
|
-
* insignificant everywhere.
|
|
6
|
-
*/
|
|
7
1
|
export const KEYWORDS = [
|
|
2
|
+
"program",
|
|
3
|
+
"header",
|
|
4
|
+
"use",
|
|
5
|
+
"party",
|
|
6
|
+
"role",
|
|
7
|
+
"currency",
|
|
8
|
+
"instrument",
|
|
9
|
+
"fields",
|
|
10
|
+
"lifecycle",
|
|
8
11
|
"action",
|
|
9
|
-
"as",
|
|
10
|
-
"asset",
|
|
11
|
-
"commit",
|
|
12
|
-
"const",
|
|
13
|
-
"expect",
|
|
14
12
|
"expose",
|
|
15
|
-
"
|
|
16
|
-
"
|
|
13
|
+
"hide",
|
|
14
|
+
"as",
|
|
15
|
+
"cap",
|
|
16
|
+
"of",
|
|
17
|
+
"when",
|
|
18
|
+
"constraints",
|
|
19
|
+
"requires",
|
|
20
|
+
"invariants",
|
|
21
|
+
"moves",
|
|
17
22
|
"from",
|
|
18
|
-
"
|
|
19
|
-
"
|
|
20
|
-
"
|
|
21
|
-
"
|
|
22
|
-
"
|
|
23
|
-
"
|
|
24
|
-
"
|
|
25
|
-
"
|
|
26
|
-
"
|
|
27
|
-
"
|
|
23
|
+
"to",
|
|
24
|
+
"in",
|
|
25
|
+
"is",
|
|
26
|
+
"has",
|
|
27
|
+
"unique",
|
|
28
|
+
"on",
|
|
29
|
+
"count",
|
|
30
|
+
"sum",
|
|
31
|
+
"hours",
|
|
32
|
+
"between",
|
|
33
|
+
"and",
|
|
34
|
+
"timezone",
|
|
35
|
+
"evidence",
|
|
36
|
+
"family",
|
|
37
|
+
"check",
|
|
38
|
+
"result",
|
|
39
|
+
"maxAge",
|
|
40
|
+
"instruction",
|
|
41
|
+
"reserve",
|
|
42
|
+
"post",
|
|
43
|
+
"void",
|
|
44
|
+
"capture",
|
|
45
|
+
"boundary",
|
|
46
|
+
"key",
|
|
47
|
+
"fee",
|
|
48
|
+
"shares",
|
|
49
|
+
"object",
|
|
50
|
+
"attach",
|
|
28
51
|
"subject",
|
|
29
|
-
"
|
|
30
|
-
"
|
|
31
|
-
];
|
|
32
|
-
export const PUNCT = [
|
|
33
|
-
"{",
|
|
34
|
-
"}",
|
|
35
|
-
"(",
|
|
36
|
-
")",
|
|
37
|
-
"[",
|
|
38
|
-
"]",
|
|
39
|
-
":",
|
|
40
|
-
",",
|
|
41
|
-
";",
|
|
42
|
-
"=",
|
|
43
|
-
"|",
|
|
44
|
-
".",
|
|
45
|
-
"<",
|
|
46
|
-
">",
|
|
47
|
-
"?",
|
|
52
|
+
"rename",
|
|
53
|
+
"columns",
|
|
48
54
|
];
|
|
49
|
-
const PUNCT_SET = new Set(PUNCT);
|
|
50
|
-
const KEYWORD_SET = new Set(KEYWORDS);
|
|
51
|
-
// Case conventions (snake_case declarations, uppercase currency codes) are
|
|
52
|
-
// semantic rules the typechecker words per position; the lexer stays permissive.
|
|
53
|
-
const isIdentStart = (ch) => /[A-Za-z]/.test(ch);
|
|
54
|
-
const isIdentPart = (ch) => /[A-Za-z0-9_]/.test(ch);
|
|
55
|
-
const isDigit = (ch) => ch >= "0" && ch <= "9";
|
|
56
55
|
export function lex(source) {
|
|
56
|
+
return scan(source, false);
|
|
57
|
+
}
|
|
58
|
+
/** The editor keeps comments and unfinished strings; compiler tokens stay unchanged. */
|
|
59
|
+
export function scan(source, editor = true) {
|
|
57
60
|
const tokens = [];
|
|
58
|
-
const comments = [];
|
|
59
61
|
const diagnostics = [];
|
|
60
62
|
let index = 0;
|
|
61
|
-
const push = (kind, start, text, value = text) => {
|
|
62
|
-
tokens.push({ kind, span: { end: index, start }, text, value });
|
|
63
|
-
};
|
|
64
63
|
while (index < source.length) {
|
|
65
|
-
const
|
|
66
|
-
|
|
67
|
-
|
|
64
|
+
const start = index;
|
|
65
|
+
const tail = source.slice(index);
|
|
66
|
+
const whitespace = /^\s+|^\/\/[^\n]*/.exec(tail);
|
|
67
|
+
if (whitespace) {
|
|
68
|
+
index += whitespace[0].length;
|
|
69
|
+
if (editor && whitespace[0].startsWith("//"))
|
|
70
|
+
tokens.push({
|
|
71
|
+
kind: "comment",
|
|
72
|
+
text: whitespace[0],
|
|
73
|
+
span: { start, end: index },
|
|
74
|
+
});
|
|
68
75
|
continue;
|
|
69
76
|
}
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
});
|
|
79
|
-
continue;
|
|
77
|
+
const date = /^\d{4}-\d{2}-\d{2}(?:T\d{2}:\d{2}:\d{2}(?:\.\d{1,3})?(?:Z|[+-]\d{2}:\d{2}))?/.exec(tail);
|
|
78
|
+
const number = /^-?\d+(?:\.\d+)?(?:%|ms|[smhdw])?/.exec(tail);
|
|
79
|
+
const name = /^[A-Za-z_][A-Za-z0-9_]*/.exec(tail);
|
|
80
|
+
let kind;
|
|
81
|
+
let text;
|
|
82
|
+
if (date) {
|
|
83
|
+
kind = "date";
|
|
84
|
+
text = date[0];
|
|
80
85
|
}
|
|
81
|
-
if (
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
push("punct", start, ch);
|
|
85
|
-
continue;
|
|
86
|
+
else if (number) {
|
|
87
|
+
kind = "number";
|
|
88
|
+
text = number[0];
|
|
86
89
|
}
|
|
87
|
-
if (
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
push("punct", start, "->");
|
|
91
|
-
continue;
|
|
90
|
+
else if (name) {
|
|
91
|
+
kind = "name";
|
|
92
|
+
text = name[0];
|
|
92
93
|
}
|
|
93
|
-
if (
|
|
94
|
-
const
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
while (index < source.length) {
|
|
99
|
-
const next = source[index];
|
|
100
|
-
if (next === '"') {
|
|
101
|
-
index += 1;
|
|
102
|
-
closed = true;
|
|
103
|
-
break;
|
|
104
|
-
}
|
|
105
|
-
if (next === "\n")
|
|
106
|
-
break;
|
|
107
|
-
value += next;
|
|
108
|
-
index += 1;
|
|
109
|
-
}
|
|
110
|
-
if (!closed) {
|
|
94
|
+
else if (tail[0] === '"') {
|
|
95
|
+
const quoted =
|
|
96
|
+
// oxlint-disable-next-line no-control-regex -- JSON strings must escape raw control characters.
|
|
97
|
+
/^"(?:[^"\\\u0000-\u001f]|\\["\\/bfnrt]|\\u[0-9a-fA-F]{4})*"/.exec(tail);
|
|
98
|
+
if (!quoted) {
|
|
111
99
|
diagnostics.push({
|
|
112
|
-
|
|
113
|
-
|
|
100
|
+
code: "HSX1000",
|
|
101
|
+
message: "unclosed or invalid string",
|
|
102
|
+
fix: "close the string and use JSON escapes",
|
|
103
|
+
span: { start, end: start + 1 },
|
|
114
104
|
});
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
}
|
|
124
|
-
if (source[index] === "." && isDigit(source[index + 1] ?? "")) {
|
|
125
|
-
index += 1;
|
|
126
|
-
while (index < source.length && isDigit(source[index])) {
|
|
127
|
-
index += 1;
|
|
105
|
+
if (editor) {
|
|
106
|
+
const unfinished = /^"(?:[^"\\\n]|\\[^\n]?)*(?:"|(?=\n)|$)/.exec(tail)?.[0] ?? '"';
|
|
107
|
+
index += unfinished.length;
|
|
108
|
+
tokens.push({
|
|
109
|
+
kind: "string",
|
|
110
|
+
text: unfinished,
|
|
111
|
+
span: { start, end: index },
|
|
112
|
+
});
|
|
128
113
|
}
|
|
114
|
+
else
|
|
115
|
+
index++;
|
|
116
|
+
continue;
|
|
129
117
|
}
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
index += 1;
|
|
133
|
-
push("percent", start, source.slice(start, index), raw);
|
|
134
|
-
}
|
|
135
|
-
else {
|
|
136
|
-
push("number", start, raw, raw);
|
|
137
|
-
}
|
|
138
|
-
continue;
|
|
118
|
+
kind = "string";
|
|
119
|
+
text = quoted[0];
|
|
139
120
|
}
|
|
140
|
-
if (
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
index += 1;
|
|
144
|
-
}
|
|
145
|
-
const text = source.slice(start, index);
|
|
146
|
-
push(KEYWORD_SET.has(text) ? "keyword" : "ident", start, text);
|
|
147
|
-
continue;
|
|
121
|
+
else if (/^(==|!=|<=|>=)/.test(tail)) {
|
|
122
|
+
kind = "punct";
|
|
123
|
+
text = tail.slice(0, 2);
|
|
148
124
|
}
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
125
|
+
else if (/^[{}()[\]:,;=<>?.|]/.test(tail)) {
|
|
126
|
+
kind = "punct";
|
|
127
|
+
text = tail[0];
|
|
128
|
+
}
|
|
129
|
+
else {
|
|
130
|
+
diagnostics.push({
|
|
131
|
+
code: "HSX1000",
|
|
132
|
+
message: `unexpected character ${tail[0]}`,
|
|
133
|
+
fix: "remove this character",
|
|
134
|
+
span: { start, end: start + 1 },
|
|
135
|
+
});
|
|
136
|
+
index++;
|
|
137
|
+
continue;
|
|
155
138
|
}
|
|
156
|
-
|
|
157
|
-
|
|
158
|
-
diagnostics.push({
|
|
159
|
-
message: `"${source.slice(start, index)}" is not part of the HSX language`,
|
|
160
|
-
span: { end: index, start },
|
|
161
|
-
});
|
|
139
|
+
index += text.length;
|
|
140
|
+
tokens.push({ kind, text, span: { start, end: index } });
|
|
162
141
|
}
|
|
163
|
-
tokens.push({
|
|
164
|
-
|
|
165
|
-
span: { end: source.length, start: source.length },
|
|
166
|
-
text: "",
|
|
167
|
-
value: "",
|
|
168
|
-
});
|
|
169
|
-
return { comments, diagnostics, tokens };
|
|
142
|
+
tokens.push({ kind: "eof", text: "", span: { start: index, end: index } });
|
|
143
|
+
return { tokens, diagnostics };
|
|
170
144
|
}
|
|
171
145
|
//# sourceMappingURL=lex.js.map
|
package/dist/src/lex.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lex.js","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"lex.js","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AACA,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,SAAS;IACT,QAAQ;IACR,KAAK;IACL,OAAO;IACP,MAAM;IACN,UAAU;IACV,YAAY;IACZ,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,MAAM;IACN,aAAa;IACb,UAAU;IACV,YAAY;IACZ,OAAO;IACP,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,KAAK;IACL,OAAO;IACP,SAAS;IACT,KAAK;IACL,UAAU;IACV,UAAU;IACV,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,SAAS;IACT,MAAM;IACN,MAAM;IACN,SAAS;IACT,UAAU;IACV,KAAK;IACL,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;CACD,CAAC;AAMX,MAAM,UAAU,GAAG,CAAC,MAAc;IAChC,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,IAAI,CAClB,MAAc,EACd,MAAM,GAAG,IAAI;IAKb,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC9B,IAAI,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC1C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;oBACnB,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE;iBAC5B,CAAC,CAAC;YACL,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GACR,8EAA8E,CAAC,IAAI,CACjF,IAAI,CACL,CAAC;QACJ,MAAM,MAAM,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,IAAmB,CAAC;QACxB,IAAI,IAAY,CAAC;QACjB,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,GAAG,MAAM,CAAC;YACd,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;aAAM,IAAI,MAAM,EAAE,CAAC;YAClB,IAAI,GAAG,QAAQ,CAAC;YAChB,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;aAAM,IAAI,IAAI,EAAE,CAAC;YAChB,IAAI,GAAG,MAAM,CAAC;YACd,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;aAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,MAAM,MAAM;YACV,gGAAgG;YAChG,6DAA6D,CAAC,IAAI,CAChE,IAAI,CACL,CAAC;YACJ,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,4BAA4B;oBACrC,GAAG,EAAE,uCAAuC;oBAC5C,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE;iBAChC,CAAC,CAAC;gBACH,IAAI,MAAM,EAAE,CAAC;oBACX,MAAM,UAAU,GACd,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;oBAClE,KAAK,IAAI,UAAU,CAAC,MAAM,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE;qBAC5B,CAAC,CAAC;gBACL,CAAC;;oBAAM,KAAK,EAAE,CAAC;gBACf,SAAS;YACX,CAAC;YACD,IAAI,GAAG,QAAQ,CAAC;YAChB,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;aAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,IAAI,GAAG,OAAO,CAAC;YACf,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,IAAI,GAAG,OAAO,CAAC;YACf,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,wBAAwB,IAAI,CAAC,CAAC,CAAC,EAAE;gBAC1C,GAAG,EAAE,uBAAuB;gBAC5B,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE;aAChC,CAAC,CAAC;YACH,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QACD,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACjC,CAAC"}
|
package/dist/src/parse.d.ts
CHANGED
|
@@ -1,19 +1,6 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* The HSX parser. Recursive descent over the lexer's token stream, total:
|
|
3
|
-
* it always returns a best-effort `Program` plus diagnostics, recovering at
|
|
4
|
-
* the next top-level keyword after an error so one mistake never hides the
|
|
5
|
-
* rest of the file. Diagnostics speak the author's language and point at
|
|
6
|
-
* source spans.
|
|
7
|
-
*/
|
|
8
1
|
import type { Diagnostic, Program } from "./ast.ts";
|
|
9
|
-
export
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
}
|
|
13
|
-
export declare function parseProgram(source: string): ParseResult;
|
|
14
|
-
/**
|
|
15
|
-
* Convert a percent literal's raw digits to exact basis points, or refuse
|
|
16
|
-
* when the literal is finer than a basis point. "99.5" -> 9950; "0.05" -> 5.
|
|
17
|
-
*/
|
|
18
|
-
export declare function percentToBps(raw: string): number | undefined;
|
|
2
|
+
export declare function parseProgram(source: string): {
|
|
3
|
+
program: Program;
|
|
4
|
+
diagnostics: Diagnostic[];
|
|
5
|
+
};
|
|
19
6
|
//# sourceMappingURL=parse.d.ts.map
|
package/dist/src/parse.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/parse.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/parse.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,UAAU,EAGV,OAAO,EAER,MAAM,UAAU,CAAC;AAOlB,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG;IAC5C,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,CA8CA"}
|