@adobe/ecs 0.0.0-stage → 0.1.0

package/dist/implementation/compiler/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../../../src/implementation/compiler/program.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAEnC,MAAM,GAAG,GAAG,CAAO,KAAmB,EAAE,GAA+B,EAAmB,EAAE;IACxF,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAc,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAGrG,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AACtE,MAAM,IAAI,GAAW,IAAI,GAAG,EAAE,CAAC;AAC/B,2DAA2D;AAC3D,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC;AAEpB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,UAAgC,EAAE,MAAkC,EAAE,eAAkC,EAAE,EAAE,UAAyB,IAAI,EAAE,MAAM,GAAG,OAAO,KAAK,IAAI,EAAkB,EAAE;IAC9M,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE;QACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,oDAAoD;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAsB,EAAE;QACtD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,kFAAkF;QAClF,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3D,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9G,CAAC,CAAC;IACF,oGAAoG;IACpG,MAAM,SAAS,GAAG,CAAC,KAAa,EAAU,EAAE;QACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,6FAA6F;IAC7F,MAAM,KAAK,GAAG,CAAC,MAAc,EAAsB,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC5H,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAW,EAAE;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC;IAC9D,CAAC,CAAC;IACF,0FAA0F;IAC1F,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAoE,EAAE;QACpG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAC;QACpG,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/G,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;IACnH,CAAC,CAAC;IACF,uDAAuD;IACvD,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAE,MAAe,EAAU,EAAE;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;QAC5F,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACjJ,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;IACF,mFAAmF;IACnF,MAAM,IAAI,GAAG,CAAC,IAAgB,EAAE,MAAc,EAAyC,EAAE;QACrF,MAAM,IAAI,GAAiB,EAAE,CAAC;QAC9B,IAAI,KAAK,GAAe,IAAI,CAAC;QAC7B,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1B,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC1B,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;QACzB,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,MAAM,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAC7B,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/E,MAAM,IAAI,GAAwB,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAChE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,QAAQ,GAAS,IAAI,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5E,CAAC,CAAC;IACF,6FAA6F;IAC7F,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAE,MAAc,EAAE,IAAa,EAAkC,EAAE;QACnG,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACnC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QACpF,CAAC;QACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,QAAQ,CAAC;YAAC,KAAK,SAAS,CAAC;YAAC,KAAK,QAAQ,CAAC;YAAC,KAAK,UAAU,CAAC;YAAC,KAAK,MAAM;gBACtE,OAAO,IAAI,CAAC;YAChB,iGAAiG;YACjG,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACnG,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtE,KAAK,OAAO,CAAC,CAAC,CAAC;gBACX,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC;gBACxE,OAAO,OAAO,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;YAC1E,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACZ,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBAClD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpD,OAAO,IAAI,IAAI,KAAK,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACrF,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC7C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACjD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBACtJ,OAAO,IAAI,IAAI,KAAK,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACtF,CAAC;YACD,KAAK,aAAa,CAAC,CAAC,CAAC;gBACjB,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACtD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC7F,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC5F,OAAO,SAAS,IAAI,UAAU,IAAI,SAAS,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;YACnH,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACV,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC3E,OAAO,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;YACxE,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5D,KAAK,MAAM,CAAC,CAAC,CAAC;gBACV,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;YACxF,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,SAAS,CAAC;YACvD,iGAAiG;YACjG,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/E,KAAK,aAAa,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjF,KAAK,SAAS,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;YACzF,KAAK,WAAW,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5E,OAAO,CAAC,CAAC,OAAO,SAAS,CAAC;QAC9B,CAAC;IACL,CAAC,CAAC;IACF,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,IAA0B,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC;IAC9F,MAAM,KAAK,GAAG,CAAC,IAA0B,EAAE,MAAyB,EAAE,KAAa,EAAmC,EAAE;QACpH,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,MAAM,GAAwB,EAAE,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACtB,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YAClD,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC1B,8DAA8D;YAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACrB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACtF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACxF,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,MAAyB,EAAU,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAClH,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,MAAyB,EAAE,MAAc,EAAmC,EAAE;QAC9G,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,KAAK,CAAC,CAAC,CAAC;gBACT,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5E,CAAC;YACD,KAAK,SAAS;gBACV,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM;oBAAE,UAAU,CAAC,IAAI,CAAC,CAAC;gBACjD,OAAO,EAAE,CAAC;YACd,KAAK,OAAO,CAAC,CAAC,CAAC;gBACX,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,OAAO,CAAC;YAAC,KAAK,MAAM;gBACrB,OAAO,CAAC,IAAI,CAAC,CAAC;YAClB,KAAK,IAAI,CAAC,CAAC,CAAC;gBACR,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACjD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnG,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAClG,OAAO,IAAI,IAAI,UAAU,IAAI,SAAS,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;YAC5F,CAAC;YACD,KAAK,OAAO,CAAC;YAAC,KAAK,MAAM,CAAC,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;gBACxE,OAAO,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YAC7E,KAAK,WAAW,CAAC,CAAC,CAAC;gBACf,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAClG,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBACvD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC/C,OAAO,QAAQ,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAChI,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBACd,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACjD,OAAO,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YAClF,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACX,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;gBACzE,OAAO,MAAM,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAC9H,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACvG,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACZ,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACtD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC;gBACvD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAChC,OAAO,MAAM,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,CAAC,CAAC,OAAO,SAAS,CAAC;QAC9B,CAAC;IACL,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,OAAO,GAAG,EAAE,GAAG,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;IAChJ,IAAI,MAAM;QAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC;IAClG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM;QAAE,KAAK,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC;AACnF,CAAC,CAAC"}

package/dist/implementation/compiler/scalar.d.ts

@@ -0,0 +1,8 @@
+import type { Node } from 'estree';
+import type { Scope } from './scope.js';
+import { type Expression } from './ir.js';
+import { type Value } from './value.js';
+/** A component in `write` is readable too. */
+export declare const requireReadable: (node: Node, scope: Scope, component: string) => void;
+/** A value used as a number or boolean. A component of unknown shape is read as a scalar. */
+export declare const scalar: (value: Value, node: Node, scope: Scope) => Expression;

package/dist/implementation/compiler/scalar.js

@@ -0,0 +1,47 @@
+import { componentRead, fieldRead } from './columns.js';
+import { fail } from './failure.js';
+import { local } from './ir.js';
+import { snapshotLeaf } from './snapshot.js';
+import { describeValue } from './value.js';
+/** The `rowLeaves` index of a leaf bodies read of a lookup's rows, listed once. */
+const rowLeafIndex = (unit, lookup, read, path) => {
+    const text = JSON.stringify([lookup, read, path]);
+    const index = unit.rowLeaves.indexOf(text);
+    if (index >= 0)
+        return index;
+    unit.rowLeaves.push(text);
+    return unit.rowLeaves.length - 1;
+};
+/** A component in `write` is readable too. */
+export const requireReadable = (node, scope, component) => {
+    const { signature } = scope.unit;
+    if (!signature.read.has(component) && !signature.write.has(component))
+        fail(node, `${component} is not in components read or write`);
+    scope.unit.used.read.add(component);
+};
+/** A value used as a number or boolean. A component of unknown shape is read as a scalar. */
+export const scalar = (value, node, scope) => {
+    switch (value.kind) {
+        case "scalar":
+        case "dynamic":
+        case "found":
+            return value.expression;
+        case "component":
+            if (value.up === true)
+                return componentRead(scope.unit, value);
+            requireReadable(node, scope, value.component);
+            return fieldRead(scope.unit, value.component, value.path);
+        case "snapshot":
+            return local(snapshotLeaf(scope.unit, value.snapshot, value.path));
+        // A row tests as found, so a unique index's result compares with null as a lookup's does.
+        case "indexed":
+            return { kind: "rowFound", row: value.first, lookup: value.lookup };
+        case "indexRow":
+            return { kind: "rowFound", row: value.row, lookup: value.lookup };
+        case "rowRead":
+            return { kind: "rowLeaf", row: value.row, lookup: value.lookup, leaf: rowLeafIndex(scope.unit, value.lookup, value.read, value.path) };
+        default:
+            return fail(node, `expected a number or boolean, not ${describeValue(value)}`);
+    }
+};
+//# sourceMappingURL=scalar.js.map

package/dist/implementation/compiler/scalar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar.js","sourceRoot":"","sources":["../../../src/implementation/compiler/scalar.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,OAAO,EAAE,KAAK,EAAmB,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAc,MAAM,YAAY,CAAC;AAEvD,mFAAmF;AACnF,MAAM,YAAY,GAAG,CAAC,IAAmB,EAAE,MAAc,EAAE,IAAY,EAAE,IAAkC,EAAU,EAAE;IACnH,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,SAAiB,EAAQ,EAAE;IACjF,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IACjC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,IAAI,EAAE,GAAG,SAAS,qCAAqC,CAAC,CAAC;IACrI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF,6FAA6F;AAC7F,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,KAAY,EAAc,EAAE;IACzE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,OAAO;YACvC,OAAO,KAAK,CAAC,UAAU,CAAC;QAC5B,KAAK,WAAW;YACZ,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI;gBAAE,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/D,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAC9C,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,KAAK,UAAU;YACX,OAAO,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,0FAA0F;QAC1F,KAAK,SAAS;YACV,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACxE,KAAK,UAAU;YACX,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACtE,KAAK,SAAS;YACV,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3I;YACI,OAAO,IAAI,CAAC,IAAI,EAAE,qCAAqC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;AACL,CAAC,CAAC"}

package/dist/implementation/compiler/scope.d.ts

@@ -0,0 +1,24 @@
+import type { Module } from './module-scope.js';
+import type { Unit } from './unit.js';
+import type { Value } from './value.js';
+export type Local = {
+    readonly value: Value;
+    readonly mutable: boolean;
+};
+/** The labels `break` and `continue` branch to. */
+export type Loop = {
+    readonly exit: number;
+    readonly next: number;
+};
+/** A lexical scope. A helper's scope has no parent, so it sees only its parameters and its module's scope, `module`. */
+export type Scope = {
+    readonly unit: Unit;
+    readonly module: Module;
+    readonly locals: Map<string, Local>;
+    readonly parent: Scope | undefined;
+    readonly loop: Loop | undefined;
+    readonly helper: boolean;
+};
+export declare const rootScope: (unit: Unit, helper: boolean, module?: Module) => Scope;
+export declare const childScope: (scope: Scope, loop?: Loop | undefined) => Scope;
+export declare const findLocal: (scope: Scope | undefined, name: string) => Local | undefined;

package/dist/implementation/compiler/scope.js

@@ -0,0 +1,4 @@
+export const rootScope = (unit, helper, module = unit.module) => ({ unit, module, locals: new Map(), parent: undefined, loop: undefined, helper });
+export const childScope = (scope, loop = scope.loop) => ({ unit: scope.unit, module: scope.module, locals: new Map(), parent: scope, loop, helper: scope.helper });
+export const findLocal = (scope, name) => scope === undefined ? undefined : scope.locals.get(name) ?? findLocal(scope.parent, name);
+//# sourceMappingURL=scope.js.map

package/dist/implementation/compiler/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../../src/implementation/compiler/scope.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,MAAe,EAAE,SAAiB,IAAI,CAAC,MAAM,EAAS,EAAE,CAC1F,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;AAEtF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAY,EAAE,OAAyB,KAAK,CAAC,IAAI,EAAS,EAAE,CACnF,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAE/G,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAwB,EAAE,IAAY,EAAqB,EAAE,CACnF,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC"}

package/dist/implementation/compiler/serialize.d.ts

@@ -0,0 +1,2 @@
+/** Data as a JS literal; unlike JSON, it keeps NaN, infinities and -0. */
+export declare const serialize: (value: unknown) => string;

package/dist/implementation/compiler/serialize.js

@@ -0,0 +1,14 @@
+import { printNumber } from './print.js';
+/** Data as a JS literal; unlike JSON, it keeps NaN, infinities and -0. */
+export const serialize = (value) => {
+    if (typeof value === "number")
+        return printNumber(value);
+    if (typeof value === "string" || typeof value === "boolean" || value === null)
+        return JSON.stringify(value);
+    if (Array.isArray(value))
+        return `[${value.map(serialize).join(", ")}]`;
+    if (typeof value === "object")
+        return `{ ${Object.entries(value).map(([key, item]) => `${JSON.stringify(key)}: ${serialize(item)}`).join(", ")} }`;
+    return "undefined";
+};
+//# sourceMappingURL=serialize.js.map

package/dist/implementation/compiler/serialize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../../src/implementation/compiler/serialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,0EAA0E;AAC1E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAU,EAAE;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5G,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACxE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACnJ,OAAO,WAAW,CAAC;AACvB,CAAC,CAAC"}

package/dist/implementation/compiler/signature.d.ts

@@ -0,0 +1,45 @@
+import type { ObjectExpression } from 'estree';
+import type { Reduction } from '../../interface/resource/reduction.js';
+import type { Lists } from './lists.js';
+import type { ModuleScope } from './module-scope.js';
+/**
+ * A lookup by entity, or through an index (`index`), whose calls take a key and give a list of rows. A lookup by
+ * entity that `watches` declares `changed`: its result has `changed` after what it reads.
+ */
+export type Lookup = {
+    readonly name: string;
+    readonly read: readonly string[];
+    readonly index: boolean;
+    readonly watches: boolean;
+};
+/** The reference rows run down, and what the context's `up` reads of the entity it names. */
+export type Up = {
+    readonly through: string;
+    readonly read: readonly string[];
+};
+/** A resource the kernel reduces into, by its module-scope binding name. */
+export type Reduced = {
+    readonly resource: string;
+    readonly operator: Reduction;
+};
+/**
+ * The parts of a kernel declaration the compiler needs. Component and resource keys are expressions of the kernel's
+ * module: its module-scope bindings, or, for a key only another module's list names, that list indexed (`lists.ts`).
+ */
+export type Signature = {
+    readonly read: ReadonlySet<string>;
+    readonly write: ReadonlySet<string>;
+    readonly resources: readonly string[];
+    readonly reduced: readonly Reduced[];
+    readonly lookups: readonly Lookup[];
+    readonly up: Up | null;
+    /** Whether its rows run in an index's order, as a list, as `up`'s do. */
+    readonly ordered: boolean;
+    readonly input: boolean;
+    /** Whether it filters on `added` or `changed` components, or on changed resources. */
+    readonly filtered: boolean;
+};
+/** What kind of kernel a `System.create` declaration compiles to, or null when it isn't a kernel. */
+export declare const kernelOf: (declaration: ObjectExpression) => "cpu" | "gpu" | null;
+/** Reads and validates a kernel declaration; `lists` reads its lists of keys. */
+export declare const signature: (declaration: ObjectExpression, module: ModuleScope, lists: Lists) => Signature;

package/dist/implementation/compiler/signature.js

@@ -0,0 +1,150 @@
+import { isReduction, reductionOperators } from '../../interface/registry/reduction.js';
+import { fail } from './failure.js';
+const entry = (name, value) => [name, value];
+const propertyName = (property) => {
+    if (!property.computed && property.key.type === "Identifier")
+        return property.key.name;
+    if (property.key.type === "Literal" && typeof property.key.value === "string")
+        return property.key.value;
+    return fail(property.key, "kernel declaration keys must be plain names");
+};
+const properties = (node, what) => {
+    if (node.type !== "ObjectExpression")
+        return fail(node, `${what} must be an object literal in a kernel declaration`);
+    return node.properties.map((property) => property.type === "SpreadElement"
+        ? fail(property, `${what} can't use spread in a kernel declaration`)
+        : entry(propertyName(property), property));
+};
+/** Keys a kernel declaration lists, as `Lists.names` reads them; `what` names the list in a failure. */
+const identifiers = (node, what, lists) => {
+    const names = lists.names(node);
+    return "error" in names ? fail(node, `${what}: ${names.error}`) : names;
+};
+const keyLists = (node, what, allowed, lists) => new Map(properties(node, what).map(([name, property]) => allowed.includes(name)
+    ? entry(name, identifiers(property.value, `${what}.${name}`, lists))
+    : fail(property, `${what}.${name} is not allowed in a kernel declaration`)));
+/** `reduce: { [resource]: "operator", ... }`, with resources bound at module scope. */
+const reductions = (node, module) => {
+    if (node.type !== "ObjectExpression")
+        return fail(node, "reduce must be an object literal in a kernel declaration");
+    return node.properties.map((property) => {
+        if (property.type === "SpreadElement" || !property.computed || property.key.type !== "Identifier" || !module.has(property.key.name)) {
+            return fail(property, "reduce names each resource as a computed key bound at module scope, as in { [total]: \"+\" }");
+        }
+        const { value } = property;
+        const operator = value.type === "Literal" ? value.value : undefined;
+        if (!isReduction(operator))
+            return fail(value, `a resource is reduced with one of ${reductionOperators.map(item => JSON.stringify(item)).join(", ")}`);
+        return { resource: property.key.name, operator };
+    }).map((entry, index, all) => all.findIndex(other => other.resource === entry.resource) === index ? entry : fail(node, `${entry.resource} is reduced twice`));
+};
+/** What kind of kernel a `System.create` declaration compiles to, or null when it isn't a kernel. */
+export const kernelOf = (declaration) => {
+    for (const property of declaration.properties) {
+        if (property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name === "kernel") {
+            const { value } = property;
+            if (value.type === "Literal" && (value.value === "cpu" || value.value === "gpu"))
+                return value.value;
+            return fail(value, `kernel must be the literal "cpu" or "gpu"`);
+        }
+    }
+    return null;
+};
+/** Reads and validates a kernel declaration; `lists` reads its lists of keys. */
+export const signature = (declaration, module, lists) => {
+    let components;
+    let resources = [];
+    let reduced = [];
+    let changedResources = [];
+    let input = false;
+    let up = null;
+    let ordered = false;
+    const lookups = [];
+    for (const [name, property] of properties(declaration, "a kernel declaration")) {
+        switch (name) {
+            case "components":
+                components = keyLists(property.value, "components", ["read", "write", "has", "not", "added", "changed"], lists);
+                break;
+            case "resources":
+                for (const [list, value] of properties(property.value, "resources")) {
+                    // A condition in `is` is readable too; one in `not` is only checked before the kernel runs.
+                    if (list === "read" || list === "is")
+                        resources = [...resources, ...identifiers(value.value, `resources.${list}`, lists)];
+                    else if (list === "changed")
+                        changedResources = identifiers(value.value, "resources.changed", lists);
+                    else if (list === "not")
+                        continue;
+                    else
+                        fail(value, `resources.${list} is not allowed in a kernel declaration`);
+                }
+                break;
+            case "reduce":
+                reduced = reductions(property.value, module);
+                break;
+            case "lookup":
+                for (const [lookup, value] of properties(property.value, "lookup")) {
+                    // The index is a value the world resolves; only that a lookup goes through one changes how it compiles.
+                    const fields = properties(value.value, `lookup.${lookup}`);
+                    const index = fields.some(([field]) => field === "index");
+                    const listed = fields.filter(([field]) => field !== "index");
+                    const read = listed.flatMap(([field, item]) => {
+                        if (index ? field !== "read" && field !== "changed" : field !== "read" && field !== "has" && field !== "not" && field !== "changed")
+                            return fail(item, `lookup.${lookup}.${field} is not allowed in a kernel declaration`);
+                        // An index lookup's `changed: true` filters the system's runs, which the world does before calling it.
+                        if (index && field === "changed" && item.value.type === "Literal" && item.value.value === true)
+                            return [];
+                        const names = identifiers(item.value, `lookup.${lookup}.${field}`, lists);
+                        return field === "read" ? names : [];
+                    });
+                    lookups.push({ name: lookup, read, index, watches: !index && listed.some(([field]) => field === "changed") });
+                }
+                break;
+            case "up": {
+                let through;
+                let read = [];
+                for (const [field, value] of properties(property.value, "up")) {
+                    if (field === "through") {
+                        const node = value.value;
+                        through = node.type === "Identifier" && module.has(node.name) ? node.name : fail(node, "up.through is an identifier bound at module scope");
+                    }
+                    else if (field === "read")
+                        read = identifiers(value.value, "up.read", lists);
+                    else
+                        fail(value, `up.${field} is not allowed in a kernel declaration`);
+                }
+                up = { through: through ?? fail(property, "up needs through"), read };
+                break;
+            }
+            case "input":
+                input = true;
+                break;
+            // The index is a value the world resolves; only that rows run as a list changes how it compiles.
+            case "order":
+                ordered = true;
+                break;
+            case "name":
+            case "kernel":
+            case "before":
+            case "after":
+            case "during":
+                break;
+            default:
+                fail(property, `${name} is not allowed in a kernel declaration`);
+        }
+    }
+    if (components === undefined)
+        return fail(declaration, "a kernel needs components");
+    for (const { resource } of reduced) {
+        if (resources.includes(resource) || changedResources.includes(resource))
+            fail(declaration, `${resource} is reduced, so it can't also be read or filtered on`);
+    }
+    const write = components.get("write") ?? [];
+    const both = (components.get("read") ?? []).find(key => write.includes(key));
+    if (both !== undefined)
+        fail(declaration, `${both} is in both components read and write; write already makes it readable`);
+    const rowFiltered = (components.get("added")?.length ?? 0) + (components.get("changed")?.length ?? 0) > 0;
+    if (up !== null && ordered)
+        fail(declaration, "a kernel can't use both up and order, which both decide the order of its rows");
+    return { read: new Set(components.get("read")), write: new Set(write), resources, reduced, lookups, up, ordered, input, filtered: changedResources.length > 0 || rowFiltered };
+};
+//# sourceMappingURL=signature.js.map

package/dist/implementation/compiler/signature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.js","sourceRoot":"","sources":["../../../src/implementation/compiler/signature.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AACxF,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAkCpC,MAAM,KAAK,GAAG,CAAI,IAAY,EAAE,KAAQ,EAAwB,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAEjF,MAAM,YAAY,GAAG,CAAC,QAAkB,EAAU,EAAE;IAChD,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;IACvF,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;IACzG,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAA0B,EAAE,IAAY,EAA4C,EAAE;IACtG,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,oDAAoD,CAAC,CAAC;IACrH,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAkC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;QAChG,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,2CAA2C,CAAC;QACpE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,wGAAwG;AACxG,MAAM,WAAW,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAE,KAAY,EAAqB,EAAE;IAC9F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAE,OAA0B,EAAE,KAAY,EAA0C,EAAE,CAC5I,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3E,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,IAAI,IAAI,yCAAyC,CAAC,CAAC,CAAC,CAAC;AAErF,uFAAuF;AACvF,MAAM,UAAU,GAAG,CAAC,IAA0B,EAAE,MAAmB,EAAsB,EAAE;IACvF,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,0DAA0D,CAAC,CAAC;IACpH,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAW,EAAE;QAC7C,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAClI,OAAO,IAAI,CAAC,QAAQ,EAAE,8FAA8F,CAAC,CAAC;QAC1H,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;QAC3B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,EAAE,qCAAqC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvJ,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,QAAQ,mBAAmB,CAAC,CAAC,CAAC;AAClK,CAAC,CAAC;AAEF,qGAAqG;AACrG,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,WAA6B,EAAwB,EAAE;IAC5E,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7H,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC,KAAK,CAAC;YACrG,OAAO,IAAI,CAAC,KAAK,EAAE,2CAA2C,CAAC,CAAC;QACpE,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,iFAAiF;AACjF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,WAA6B,EAAE,MAAmB,EAAE,KAAY,EAAa,EAAE;IACrG,IAAI,UAA8D,CAAC;IACnE,IAAI,SAAS,GAAsB,EAAE,CAAC;IACtC,IAAI,OAAO,GAAuB,EAAE,CAAC;IACrC,IAAI,gBAAgB,GAAsB,EAAE,CAAC;IAC7C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,EAAE,GAAc,IAAI,CAAC;IACzB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,sBAAsB,CAAC,EAAE,CAAC;QAC7E,QAAQ,IAAI,EAAE,CAAC;YACX,KAAK,YAAY;gBACb,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;gBAChH,MAAM;YACV,KAAK,WAAW;gBACZ,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;oBAClE,4FAA4F;oBAC5F,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI;wBAAE,SAAS,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;yBACrH,IAAI,IAAI,KAAK,SAAS;wBAAE,gBAAgB,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,mBAAmB,EAAE,KAAK,CAAC,CAAC;yBAChG,IAAI,IAAI,KAAK,KAAK;wBAAE,SAAS;;wBAC7B,IAAI,CAAC,KAAK,EAAE,aAAa,IAAI,yCAAyC,CAAC,CAAC;gBACjF,CAAC;gBACD,MAAM;YACV,KAAK,QAAQ;gBACT,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC7C,MAAM;YACV,KAAK,QAAQ;gBACT,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACjE,wGAAwG;oBACxG,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,MAAM,EAAE,CAAC,CAAC;oBAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;oBAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;oBAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE;wBAC1C,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,SAAS;4BAAE,OAAO,IAAI,CAAC,IAAI,EAAE,UAAU,MAAM,IAAI,KAAK,yCAAyC,CAAC,CAAC;wBAC3N,uGAAuG;wBACvG,IAAI,KAAK,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI;4BAAE,OAAO,EAAE,CAAC;wBAC1G,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,MAAM,IAAI,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;wBAC1E,OAAO,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,CAAC,CAAC,CAAC;oBACH,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC,CAAC;gBAClH,CAAC;gBACD,MAAM;YACV,KAAK,IAAI,CAAC,CAAC,CAAC;gBACR,IAAI,OAA2B,CAAC;gBAChC,IAAI,IAAI,GAAsB,EAAE,CAAC;gBACjC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC5D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACtB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC;wBACzB,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,mDAAmD,CAAC,CAAC;oBAChJ,CAAC;yBACI,IAAI,KAAK,KAAK,MAAM;wBAAE,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;;wBACxE,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,yCAAyC,CAAC,CAAC;gBAC3E,CAAC;gBACD,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC;gBACtE,MAAM;YACV,CAAC;YACD,KAAK,OAAO;gBACR,KAAK,GAAG,IAAI,CAAC;gBACb,MAAM;YACV,iGAAiG;YACjG,KAAK,OAAO;gBACR,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACV,KAAK,MAAM,CAAC;YAAC,KAAK,QAAQ,CAAC;YAAC,KAAK,QAAQ,CAAC;YAAC,KAAK,OAAO,CAAC;YAAC,KAAK,QAAQ;gBAClE,MAAM;YACV;gBACI,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,yCAAyC,CAAC,CAAC;QACzE,CAAC;IACL,CAAC;IACD,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,WAAW,EAAE,2BAA2B,CAAC,CAAC;IACpF,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,OAAO,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,WAAW,EAAE,GAAG,QAAQ,sDAAsD,CAAC,CAAC;IAClK,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7E,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,wEAAwE,CAAC,CAAC;IAC3H,MAAM,WAAW,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1G,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO;QAAE,IAAI,CAAC,WAAW,EAAE,+EAA+E,CAAC,CAAC;IAC/H,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;AACnL,CAAC,CAAC"}

package/dist/implementation/compiler/snapshot.d.ts

@@ -0,0 +1,21 @@
+import type { Path } from '../world/kernel.js';
+import type { Expression, Statement } from './ir.js';
+import { type Unit } from './unit.js';
+/**
+ * A local bound to a component value of unknown shape. Each leaf the body uses becomes its own local,
+ * set where the snapshot was bound, so later writes to the component don't change it.
+ */
+export type Snapshot = {
+    readonly keyword: "const" | "let";
+    readonly hint: string;
+    readonly read: (path: Path) => Expression;
+    readonly leaves: Map<string, {
+        readonly local: number;
+        readonly value: Expression;
+    }>;
+};
+export declare const createSnapshot: (keyword: "const" | "let", hint: string, read: (path: Path) => Expression) => Snapshot;
+/** The local holding one leaf of `snapshot`. */
+export declare const snapshotLeaf: (unit: Unit, snapshot: Snapshot, path: Path) => number;
+/** The leaves the body used, resolved after the body is compiled. */
+export declare const snapshotDeclaration: (snapshot: Snapshot) => () => readonly Statement[];

package/dist/implementation/compiler/snapshot.js

@@ -0,0 +1,18 @@
+import { record } from './booleans.js';
+import { fresh } from './unit.js';
+export const createSnapshot = (keyword, hint, read) => ({ keyword, hint, read, leaves: new Map() });
+/** The local holding one leaf of `snapshot`. */
+export const snapshotLeaf = (unit, snapshot, path) => {
+    const identity = JSON.stringify(path);
+    const existing = snapshot.leaves.get(identity);
+    if (existing !== undefined)
+        return existing.local;
+    const local = fresh(unit, snapshot.hint);
+    const value = snapshot.read(path);
+    record(unit, local, value);
+    snapshot.leaves.set(identity, { local, value });
+    return local;
+};
+/** The leaves the body used, resolved after the body is compiled. */
+export const snapshotDeclaration = (snapshot) => () => [...snapshot.leaves.values()].map(leaf => ({ kind: "set", local: leaf.local, value: leaf.value, declare: snapshot.keyword }));
+//# sourceMappingURL=snapshot.js.map

package/dist/implementation/compiler/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../../src/implementation/compiler/snapshot.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAEvC,OAAO,EAAE,KAAK,EAAa,MAAM,WAAW,CAAC;AAa7C,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,OAAwB,EAAE,IAAY,EAAE,IAAgC,EAAY,EAAE,CACjH,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;AAEjD,gDAAgD;AAChD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAU,EAAE,QAAkB,EAAE,IAAU,EAAU,EAAE;IAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAChD,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAkB,EAAE,EAAE,CAAC,GAAyB,EAAE,CAClF,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC"}

package/dist/implementation/compiler/source-map.d.ts

@@ -0,0 +1,34 @@
+import { type Module } from './module-scope.js';
+/** One mapping: a generated column and the source line and column it came from, all counted from 0. */
+type Segment = {
+    readonly column: number;
+    readonly sourceLine: number;
+    readonly sourceColumn: number;
+};
+/** Decodes a source map's `mappings` into each generated line's segments that name a source position. */
+export declare const decodeMappings: (mappings: string) => readonly (readonly Segment[])[];
+/** Locates offsets in `code` at the source positions its map's `mappings` give: the nearest mapping at or before each. */
+export declare const locateThroughMap: (code: string, mappings: string) => Module["locate"];
+/** A source map of one source, version 3, as a bundler takes one from a transform. */
+export type SourceMap = {
+    readonly version: 3;
+    readonly sources: string[];
+    readonly sourcesContent: string[];
+    readonly names: string[];
+    readonly mappings: string;
+};
+/** Text inserted before the character at offset `at`; insertions at one offset keep their order. */
+export type Insertion = {
+    readonly at: number;
+    readonly text: string;
+};
+/**
+ * `code` with `insertions` made, and its map back to `code` named `source`. Every character of `code` keeps its source
+ * position: a segment starts each line, each word or run of other characters, and what follows an insertion, so a
+ * position maps to its own column without interpolating. Inserted text maps to nothing of its own.
+ */
+export declare const insertInto: (code: string, insertions: readonly Insertion[], source: string) => {
+    readonly code: string;
+    readonly map: SourceMap;
+};
+export {};

package/dist/implementation/compiler/source-map.js

@@ -0,0 +1,130 @@
+import { locateIn } from './module-scope.js';
+const base64 = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/";
+/** Decodes a source map's `mappings` into each generated line's segments that name a source position. */
+export const decodeMappings = (mappings) => {
+    const lines = [];
+    let sourceLine = 0;
+    let sourceColumn = 0;
+    for (const line of mappings.split(";")) {
+        const segments = [];
+        let column = 0;
+        for (const text of line.split(",")) {
+            if (text === "")
+                continue;
+            const values = [];
+            let value = 0;
+            let shift = 0;
+            for (const character of text) {
+                const digit = base64.indexOf(character);
+                value += (digit & 31) << shift;
+                if (digit & 32)
+                    shift += 5;
+                else {
+                    values.push(value & 1 ? -(value >>> 1) : value >>> 1);
+                    value = 0;
+                    shift = 0;
+                }
+            }
+            column += values[0] ?? 0;
+            if (values.length < 4)
+                continue;
+            sourceLine += values[2] ?? 0;
+            sourceColumn += values[3] ?? 0;
+            segments.push({ column, sourceLine, sourceColumn });
+        }
+        lines.push(segments);
+    }
+    return lines;
+};
+/** Locates offsets in `code` at the source positions its map's `mappings` give: the nearest mapping at or before each. */
+export const locateThroughMap = (code, mappings) => {
+    const generated = locateIn(code);
+    const lines = decodeMappings(mappings);
+    return offset => {
+        const { line, column } = generated(offset);
+        for (let index = line - 1; index >= 0; index--) {
+            const segments = lines[index] ?? [];
+            const found = [...segments].reverse().find(segment => index < line - 1 || segment.column <= column - 1);
+            if (found !== undefined)
+                return { line: found.sourceLine + 1, column: found.sourceColumn + 1 + (index === line - 1 ? column - 1 - found.column : 0) };
+        }
+        return { line, column };
+    };
+};
+/** Appends `value` as a base64 VLQ, the sign in its lowest bit. */
+const encode = (value, into) => {
+    let rest = value < 0 ? (-value << 1) | 1 : value << 1;
+    do {
+        let digit = rest & 31;
+        rest >>>= 5;
+        if (rest > 0)
+            digit |= 32;
+        into.push(base64[digit] ?? "");
+    } while (rest > 0);
+};
+const word = /[\w$]/;
+/**
+ * `code` with `insertions` made, and its map back to `code` named `source`. Every character of `code` keeps its source
+ * position: a segment starts each line, each word or run of other characters, and what follows an insertion, so a
+ * position maps to its own column without interpolating. Inserted text maps to nothing of its own.
+ */
+export const insertInto = (code, insertions, source) => {
+    const ordered = insertions.map((insertion, order) => ({ insertion, order })).sort((a, b) => a.insertion.at - b.insertion.at || a.order - b.order);
+    const output = [];
+    const mappings = [];
+    let generatedColumn = 0;
+    let lineHasSegment = false;
+    let lastGeneratedColumn = 0;
+    let lastSourceLine = 0;
+    let lastSourceColumn = 0;
+    let sourceLine = 0;
+    let sourceColumn = 0;
+    let next = 0;
+    let inserted = true;
+    const newLine = () => {
+        mappings.push(";");
+        generatedColumn = 0;
+        lastGeneratedColumn = 0;
+        lineHasSegment = false;
+    };
+    const write = (text) => {
+        output.push(text);
+        for (let k = 0; k < text.length; k++) {
+            if (text[k] === "\n")
+                newLine();
+            else
+                generatedColumn++;
+        }
+    };
+    for (let at = 0; at <= code.length; at++) {
+        while (next < ordered.length && ordered[next].insertion.at === at) {
+            write(ordered[next++].insertion.text);
+            inserted = true;
+        }
+        if (at === code.length)
+            break;
+        const character = code[at] ?? "";
+        if (character !== "\n" && (inserted || sourceColumn === 0 || word.test(character) !== word.test(code[at - 1] ?? ""))) {
+            if (lineHasSegment)
+                mappings.push(",");
+            encode(generatedColumn - lastGeneratedColumn, mappings);
+            encode(0, mappings);
+            encode(sourceLine - lastSourceLine, mappings);
+            encode(sourceColumn - lastSourceColumn, mappings);
+            lastGeneratedColumn = generatedColumn;
+            lastSourceLine = sourceLine;
+            lastSourceColumn = sourceColumn;
+            lineHasSegment = true;
+        }
+        inserted = false;
+        write(character);
+        if (character === "\n") {
+            sourceLine++;
+            sourceColumn = 0;
+        }
+        else
+            sourceColumn++;
+    }
+    return { code: output.join(""), map: { version: 3, sources: [source], sourcesContent: [code], names: [], mappings: mappings.join("") } };
+};
+//# sourceMappingURL=source-map.js.map

package/dist/implementation/compiler/source-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-map.js","sourceRoot":"","sources":["../../../src/implementation/compiler/source-map.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAe,MAAM,mBAAmB,CAAC;AAE1D,MAAM,MAAM,GAAG,kEAAkE,CAAC;AAKlF,yGAAyG;AACzG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAmC,EAAE;IAChF,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,IAAI,IAAI,KAAK,EAAE;gBAAE,SAAS;YAC1B,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;gBAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBACxC,KAAK,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC;gBAC/B,IAAI,KAAK,GAAG,EAAE;oBAAE,KAAK,IAAI,CAAC,CAAC;qBACtB,CAAC;oBACF,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;oBACtD,KAAK,GAAG,CAAC,CAAC;oBACV,KAAK,GAAG,CAAC,CAAC;gBACd,CAAC;YACL,CAAC;YACD,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAChC,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7B,YAAY,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,0HAA0H;AAC1H,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,QAAgB,EAAoB,EAAE;IACjF,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,EAAE;QACZ,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAC3C,KAAK,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;YACxG,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1J,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC,CAAC;AACN,CAAC,CAAC;AAQF,mEAAmE;AACnE,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,IAAc,EAAQ,EAAE;IACnD,IAAI,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACtD,GAAG,CAAC;QACA,IAAI,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,IAAI,MAAM,CAAC,CAAC;QACZ,IAAI,IAAI,GAAG,CAAC;YAAE,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE;AACvB,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,OAAO,CAAC;AAErB;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,UAAgC,EAAE,MAAc,EAAsD,EAAE;IAC7I,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAClJ,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,MAAM,OAAO,GAAG,GAAS,EAAE;QACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,eAAe,GAAG,CAAC,CAAC;QACpB,mBAAmB,GAAG,CAAC,CAAC;QACxB,cAAc,GAAG,KAAK,CAAC;IAC3B,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACjC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;;gBAC3B,eAAe,EAAE,CAAC;QAC3B,CAAC;IACL,CAAC,CAAC;IACF,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACvC,OAAO,IAAI,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YAChE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACtC,QAAQ,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,IAAI,EAAE,KAAK,IAAI,CAAC,MAAM;YAAE,MAAM;QAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACjC,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACnH,IAAI,cAAc;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,CAAC,eAAe,GAAG,mBAAmB,EAAE,QAAQ,CAAC,CAAC;YACxD,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACpB,MAAM,CAAC,UAAU,GAAG,cAAc,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,YAAY,GAAG,gBAAgB,EAAE,QAAQ,CAAC,CAAC;YAClD,mBAAmB,GAAG,eAAe,CAAC;YACtC,cAAc,GAAG,UAAU,CAAC;YAC5B,gBAAgB,GAAG,YAAY,CAAC;YAChC,cAAc,GAAG,IAAI,CAAC;QAC1B,CAAC;QACD,QAAQ,GAAG,KAAK,CAAC;QACjB,KAAK,CAAC,SAAS,CAAC,CAAC;QACjB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACrB,UAAU,EAAE,CAAC;YACb,YAAY,GAAG,CAAC,CAAC;QACrB,CAAC;;YACI,YAAY,EAAE,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;AAC7I,CAAC,CAAC"}

package/dist/implementation/compiler/spawns.d.ts

@@ -0,0 +1,29 @@
+import type { Node } from 'estree';
+import type { ModuleScope } from './module-scope.js';
+type Range = {
+    readonly start: number;
+    readonly end: number;
+};
+/**
+ * A `commands.spawn(components)({ ... })` or `commands.add(entity, components, { ... })` call with literal keys: key
+ * expressions as module-scope source, and source ranges of the entity, for an add, of the components and of the values
+ * in order.
+ */
+export type SpawnSite = Range & {
+    readonly kind: "spawn" | "add";
+    readonly entity: Range | null;
+    readonly components: Range;
+    readonly keys: readonly string[];
+    readonly values: readonly Range[];
+};
+/**
+ * The spawn and add sites in a main-thread system body whose values can pass positionally: `spawn(components)(values)`
+ * and `add(entity, components, values)` on the commands of the body's own context parameter, at index `context`, with
+ * an object literal of computed keys, each a module-scope constant. A body that redeclares the context or its commands anywhere is left alone, and so is a
+ * key it shadows.
+ */
+export declare const spawnSites: (body: Node, module: ModuleScope, context: number) => {
+    readonly commands: string;
+    readonly sites: readonly SpawnSite[];
+} | null;
+export {};