openalgo-script 0.1.0-alpha.1 → 0.4.0

package/dist/core/check/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/core/check/expressions.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EACL,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,MAAM,EACN,MAAM,EACN,OAAO,EACP,OAAO,EACP,iBAAiB,EACjB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAEtF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACtD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEvC;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,UAAsB,EACtB,SAAoB;IAEpB,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,OAAO,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB,EAAE,UAAsB,EAAE,SAAoB;IAC/E,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtD,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtD,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpD,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrD,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACvD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACzE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;QACpF,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QAC3D,KAAK,eAAe;YAClB,OAAO,kBAAkB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC1C,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QACpD,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QACrD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,cAAc,CAAC,OAAO,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACzD,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1E,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAC5E,sEAAsE;YACtE,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;gBACrC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;oBACxC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;oBAC5B,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC;iBAC/B,CAAC,CAAC;gBACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CACnB,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CACvF,CAAC;YACF,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QACrD,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,SAAqB,EACrB,SAAoB;IAEpB,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO;IAC5D,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO;IAC5C,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE;QACvC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;KACrC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAgB,EAChB,UAAyD,EACzD,SAAoB;IAEpB,yEAAyE;IACzE,iEAAiE;IACjE,gCAAgC;IAChC,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAChD,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9B,OAAO,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAEtF,yEAAyE;IACzE,2EAA2E;IAC3E,gEAAgE;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;IAEtF,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,OAAO,CAAC;IAC5F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACvF,IAAI,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE;YACzD,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC;YAC1B,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC;YAC1B,KAAK,EAAE,CAAC;SACT,CAAC,CAAC;QACH,uEAAuE;QACvE,yEAAyE;QACzE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgB,EAAE,UAAyB;IACrE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAChC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;QACD,wEAAwE;QACxE,2EAA2E;QAC3E,0EAA0E;QAC1E,6DAA6D;QAC7D,IACE,OAAO,CAAC,YAAY,GAAG,CAAC;YACxB,WAAW,CAAC,OAAO,CAAC,KAAK,SAAS;YAClC,OAAO,CAAC,IAAI,KAAK,WAAW,EAC5B,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;QACtB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5C,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,kEAAkE;YAClE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;YACxC,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC;SACnD,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC1E,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,UAAkB;IACvD,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;IACtC,MAAM,IAAI,GAAG,GAAG,OAAO,IAAI,MAAM,EAAE,CAAC;IAEpC,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE;YAC/C,SAAS,EAAE,OAAO;YAClB,MAAM;YACN,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE;YAC/C,SAAS,EAAE,OAAO;YAClB,MAAM;YACN,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;SACpD,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC1E,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,UAAU,CAAC,OAAgB,EAAE,UAAiB,EAAE,SAAoB;IAC3E,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE/E,IAAI,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;gBACxC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC;gBACvB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;aAC9C,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACrD,CAAC;QACD,oEAAoE;QACpE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;YACxC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;YAC1B,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC;SAC7B,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,UAAkB,EAAE,SAAoB;IAC7E,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,CAAC,IAAU,EAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,IAAU,EAAW,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IAElD,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,6EAA6E;QAC7E,MAAM,OAAO,GACX,UAAU,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACzC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;QAC9E,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;gBACxC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;gBACxB,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC;aAC3B,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;QACD,yEAAyE;QACzE,wBAAwB;QACxB,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IAClF,CAAC;IAED,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,CAAC,IAAU,EAAW,EAAE,CACtC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QACjE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;gBACxC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;gBACxB,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC;aAC3B,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,iEAAiE;QACjE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IAChF,CAAC;IAED,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;gBACxC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;gBACxB,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC;aAC3B,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;QACD,0EAA0E;QAC1E,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;IAC5E,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE;YAC7C,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;SAC3C,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE;YAC9C,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;YACrB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;SAC5C,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IACD,yEAAyE;IACzE,2EAA2E;IAC3E,2DAA2D;IAC3D,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,aAAa,CAAC,UAAsB;IAC3C,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,UAAU,CAAC,OAAgB,EAAE,UAAiB,EAAE,SAAoB;IAC3E,0EAA0E;IAC1E,0EAA0E;IAC1E,oDAAoD;IACpD,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtE,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAEzD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAExF,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QACjE,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,YAAY,CAAC;QAClE,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;IACpC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9F,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;YACxC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;SAC7C,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAC3D,CAAC;IAED,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7C,6EAA6E;IAC7E,gEAAgE;IAChE,MAAM,MAAM,GACV,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC1E,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,aAAa,CAAC,OAAgB,EAAE,UAAiB;IACxD,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACnF,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,KAAK,MAAM;QACnB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAC9B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;YAC9B,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;YACnC,CAAC,CAAC,SAAS,CAAC;IAClB,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,2DAA2D;AAC3D,SAAS,UAAU,CAAC,OAAgB,EAAE,MAAkB,EAAE,IAAU;IAClE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5E,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC;IAEjD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe,CAAC,OAAgB,EAAE,MAAkB;IAC3D,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO;IAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;AACzD,CAAC"}

package/dist/core/check/functions.d.ts

@@ -0,0 +1,31 @@
+/**
+ * The functions a file declares: collecting them, ordering them and checking
+ * their bodies.
+ *
+ * Two rules shape everything here. A `fn` may be called before its declaration
+ * appears (`language.md` 12.5), so every declaration is collected before any
+ * body is checked. And a function may not call itself, directly or through a
+ * cycle (11.4), because state regions are allocated per call site and recursion
+ * would need a stack of them on every bar of every script; the cycle is
+ * reported as OS2005 and named in full, since a three function cycle is not
+ * something a reader can see from one line.
+ *
+ * Bodies are checked callees first, so a function that calls another already
+ * knows what that one returns rather than treating it as unknown.
+ */
+import type { Script } from '../ast/index.js';
+import type { Checker } from './checker.js';
+/**
+ * Checks a body once, the first time anything needs to know what it returns.
+ *
+ * A body is checked in the file scope rather than wherever the call was
+ * written, because a function's enclosing scope is the file whatever line calls
+ * it, and it is checked on demand rather than up front because the file-scope
+ * names it can see are the ones declared above the call (`language.md` 12.5).
+ */
+export declare function ensureChecked(checker: Checker, id: number): void;
+/** Collects every declaration and reports any cycle among them, before the file runs. */
+export declare function checkFunctionDeclarations(checker: Checker, script: Script): void;
+/** The bodies nothing called, so an unused helper still gets its diagnostics. */
+export declare function checkRemainingFunctions(checker: Checker): void;
+//# sourceMappingURL=functions.d.ts.map

package/dist/core/check/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../src/core/check/functions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAA0C,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAEtF,OAAO,KAAK,EAAE,OAAO,EAAa,MAAM,cAAc,CAAC;AAsGvD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAehE;AAED,yFAAyF;AACzF,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAGhF;AAED,iFAAiF;AACjF,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAE9D"}

package/dist/core/check/functions.js

@@ -0,0 +1,238 @@
+import { walk } from '../ast/index.js';
+import { TOP_LEVEL } from './checker.js';
+import { calleeNameOf } from './constant.js';
+import { checkExpression } from './expressions.js';
+import { checkStatements, resolveAnnotation } from './statements.js';
+import { isLibraryName } from './surface.js';
+import { UNKNOWN, isDefinite, join, sameType, typeText } from './types.js';
+import { BAR_ZERO, earlier } from './warmup.js';
+/** Registers every `fn` in the file, so a call above one still resolves. */
+function collectFunctions(checker, script) {
+    for (const item of script.items) {
+        if (item.kind !== 'functionDeclaration')
+            continue;
+        const name = item.name.text;
+        const existing = checker.functionNodes.get(name);
+        if (existing !== undefined) {
+            checker.report('OS2017', item.name.span, { name, line: existing.span.line });
+            continue;
+        }
+        if (isLibraryName(name)) {
+            checker.report('OS2002', item.name.span, { name, line: 'built-in' });
+            continue;
+        }
+        const id = checker.functions.length;
+        checker.functionNodes.set(name, item);
+        checker.functionsByName.set(name, id);
+        checker.functions.push({
+            id,
+            declaration: item,
+            parameters: [],
+            returns: UNKNOWN,
+            warmup: BAR_ZERO,
+            stateful: false,
+        });
+        checker.declare(item.name, 'function', UNKNOWN, BAR_ZERO);
+    }
+}
+/** Every function this one calls, read off its body without checking anything. */
+function calleesOf(declaration, known) {
+    const found = new Set();
+    walk(declaration, {
+        enter(node) {
+            if (node.kind !== 'call')
+                return;
+            const name = calleeNameOf(node.callee);
+            if (name !== undefined && known.has(name))
+                found.add(name);
+        },
+    });
+    return found;
+}
+/**
+ * OS2005: a function that reaches itself.
+ *
+ * A depth first walk that meets a name already on its own stack has found a
+ * cycle, and the stack from that name back to itself is the chain the message
+ * quotes, because a three function cycle is not something a reader can see from
+ * one line. The walk runs over every declaration, including the ones nothing
+ * ever calls, so a cycle is reported whether or not the file uses it.
+ */
+function detectRecursion(checker) {
+    const known = new Set(checker.functionNodes.keys());
+    const callees = new Map();
+    for (const [name, declaration] of checker.functionNodes) {
+        callees.set(name, calleesOf(declaration, known));
+    }
+    const done = new Set();
+    const stack = [];
+    const reported = new Set();
+    const visit = (name) => {
+        const cycle = stack.indexOf(name);
+        if (cycle >= 0) {
+            const chain = [...stack.slice(cycle), name];
+            const start = chain[0] ?? name;
+            if (!reported.has(start)) {
+                reported.add(start);
+                const declaration = checker.functionNodes.get(start);
+                checker.report('OS2005', declaration?.name.span ?? checker.script.span, {
+                    name: start,
+                    cycle: chain.join(' calls '),
+                });
+            }
+            return;
+        }
+        if (done.has(name))
+            return;
+        stack.push(name);
+        for (const callee of callees.get(name) ?? [])
+            visit(callee);
+        stack.pop();
+        done.add(name);
+    };
+    for (const name of checker.functionNodes.keys())
+        visit(name);
+}
+/**
+ * Checks a body once, the first time anything needs to know what it returns.
+ *
+ * A body is checked in the file scope rather than wherever the call was
+ * written, because a function's enclosing scope is the file whatever line calls
+ * it, and it is checked on demand rather than up front because the file-scope
+ * names it can see are the ones declared above the call (`language.md` 12.5).
+ */
+export function ensureChecked(checker, id) {
+    const fn = checker.functions[id];
+    if (fn === undefined)
+        return;
+    if (checker.checkedFunctions.has(id) || checker.checkingFunctions.has(id))
+        return;
+    checker.checkingFunctions.add(id);
+    const outer = checker.scope;
+    checker.scope = checker.fileScope;
+    try {
+        checkBody(checker, id, fn.declaration);
+    }
+    finally {
+        checker.scope = outer;
+        checker.checkingFunctions.delete(id);
+        checker.checkedFunctions.add(id);
+    }
+}
+/** Collects every declaration and reports any cycle among them, before the file runs. */
+export function checkFunctionDeclarations(checker, script) {
+    collectFunctions(checker, script);
+    detectRecursion(checker);
+}
+/** The bodies nothing called, so an unused helper still gets its diagnostics. */
+export function checkRemainingFunctions(checker) {
+    for (const id of checker.functionsByName.values())
+        ensureChecked(checker, id);
+}
+function checkBody(checker, id, declaration) {
+    const fn = checker.functions[id];
+    if (fn === undefined)
+        return;
+    const firstBinding = checker.bindings.length;
+    const firstCall = checker.calls.length;
+    const outerReturns = checker.pendingReturns;
+    checker.pendingReturns = [];
+    const result = checker.inScope('function', undefined, () => {
+        const parameters = declareParameters(checker, declaration);
+        fn.parameters = parameters;
+        return runBody(checker, declaration.body);
+    });
+    const returns = checker.pendingReturns;
+    checker.pendingReturns = outerReturns;
+    // A function holds state when its body does, whether the body wrote a `var`
+    // or called something that keeps one (language.md 11.4).
+    const heldVar = checker.bindings
+        .slice(firstBinding)
+        .some((one) => one.persistence !== 'none');
+    const heldCall = checker.calls.slice(firstCall).some((one) => one.stateful);
+    fn.stateful = heldVar || heldCall;
+    let type = result.type;
+    let warmup = result.warmup;
+    for (const one of returns) {
+        if (isDefinite(one.type) && isDefinite(type) && !sameType(type, one.type)) {
+            checker.report('OS2003', declaration.span, {
+                leftType: typeText(type),
+                rightType: typeText(one.type),
+            });
+            continue;
+        }
+        type = join(type, one.type);
+        warmup = earlier(warmup, one.warmup);
+    }
+    fn.returns = type;
+    fn.warmup = warmup;
+}
+/** The parameters, in a scope of the body's own, `language.md` 11.2 and 12.3. */
+function declareParameters(checker, declaration) {
+    const bindings = [];
+    const seen = new Set();
+    for (const parameter of declaration.parameters) {
+        const name = parameter.name.text;
+        if (seen.has(name)) {
+            checker.report('OS2018', parameter.name.span, { name });
+            continue;
+        }
+        seen.add(name);
+        const enclosing = checker.enclosing(name);
+        if (enclosing !== undefined) {
+            checker.report('OS2002', parameter.name.span, {
+                name,
+                line: enclosing.declaredAt.line,
+            });
+        }
+        else if (isLibraryName(name)) {
+            checker.report('OS2002', parameter.name.span, { name, line: 'built-in' });
+        }
+        const annotated = parameter.annotation === undefined
+            ? undefined
+            : resolveAnnotation(checker, parameter.annotation);
+        const fromDefault = parameter.defaultValue === undefined
+            ? undefined
+            : checkExpression(checker, parameter.defaultValue, TOP_LEVEL);
+        // Without an annotation the type is inferred from use (language.md 11.2).
+        // Version 1 of this checker infers only from a default value and otherwise
+        // leaves the parameter open, which reports nothing it cannot prove.
+        const type = annotated ?? fromDefault ?? UNKNOWN;
+        bindings.push(checker.declare(parameter.name, 'parameter', type, BAR_ZERO));
+    }
+    return bindings;
+}
+/**
+ * Inside a function body, which both spellings of one are.
+ *
+ * The single line form used to be checked as though it stood at the top level,
+ * and the placement is what OS3006 and OS3007 read: `fn f(x) => x + input(3,
+ * "K")` declared a settings row from inside a function, which `language.md`
+ * 13.4 forbids in as many words, and nothing said so. The two forms are the
+ * same construct written two ways and a rule that holds for one holds for both.
+ */
+const INSIDE_A_BODY = {
+    topLevel: false,
+    construct: 'a function body',
+    inLoop: false,
+};
+/**
+ * A body and what it gives back.
+ *
+ * The single line form is one expression. The indented form ends in a bare
+ * expression, which is its value, and a body that ends in something else
+ * returns `none` unless a `return` ran (`language.md` 11.3).
+ */
+function runBody(checker, body) {
+    if (body.kind !== 'block') {
+        const type = checkExpression(checker, body, INSIDE_A_BODY);
+        return { type, warmup: checker.warmupOf(body) };
+    }
+    checkStatements(checker, body.statements, INSIDE_A_BODY);
+    const last = body.statements[body.statements.length - 1];
+    if (last === undefined || last.kind !== 'expressionStatement') {
+        return { type: UNKNOWN, warmup: BAR_ZERO };
+    }
+    return { type: checker.typeOf(last.expression), warmup: checker.warmupOf(last.expression) };
+}
+//# sourceMappingURL=functions.js.map

package/dist/core/check/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../src/core/check/functions.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEvC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3E,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEhD,4EAA4E;AAC5E,SAAS,gBAAgB,CAAC,OAAgB,EAAE,MAAc;IACxD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE5B,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QACD,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;YACrE,SAAS;QACX,CAAC;QAED,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;QACpC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,EAAE;YACF,WAAW,EAAE,IAAI;YACjB,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,SAAS,SAAS,CAAC,WAAgC,EAAE,KAA0B;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,CAAC,WAAW,EAAE;QAChB,KAAK,CAAC,IAAI;YACR,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO;YACjC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC;KACF,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,OAAgB;IACvC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QACxD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpB,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACrD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE;oBACtE,IAAI,EAAE,KAAK;oBACX,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;iBAC7B,CAAC,CAAC;YACL,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAE3B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5D,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,EAAU;IACxD,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO;IAC7B,IAAI,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO;IAElF,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC;IAClC,IAAI,CAAC;QACH,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;QACtB,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,MAAc;IACxE,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClC,eAAe,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,uBAAuB,CAAC,OAAgB;IACtD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM,EAAE;QAAE,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB,EAAE,EAAU,EAAE,WAAgC;IAC/E,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO;IAE7B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;IACvC,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC;IAC5C,OAAO,CAAC,cAAc,GAAG,EAAE,CAAC;IAE5B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE;QACzD,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC3D,EAAE,CAAC,UAAU,GAAG,UAAU,CAAC;QAC3B,OAAO,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC;IACvC,OAAO,CAAC,cAAc,GAAG,YAAY,CAAC;IAEtC,4EAA4E;IAC5E,yDAAyD;IACzD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ;SAC7B,KAAK,CAAC,YAAY,CAAC;SACnB,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5E,EAAE,CAAC,QAAQ,GAAG,OAAO,IAAI,QAAQ,CAAC;IAElC,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACvB,IAAI,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,EAAE;gBACzC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;gBACxB,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;aAC9B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAED,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC;IAClB,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC;AACrB,CAAC;AAED,iFAAiF;AACjF,SAAS,iBAAiB,CACxB,OAAgB,EAChB,WAAgC;IAEhC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACnB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACxD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEf,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC5C,IAAI;gBACJ,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI;aAChC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5E,CAAC;QAED,MAAM,SAAS,GACb,SAAS,CAAC,UAAU,KAAK,SAAS;YAChC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;QACvD,MAAM,WAAW,GACf,SAAS,CAAC,YAAY,KAAK,SAAS;YAClC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAElE,0EAA0E;QAC1E,2EAA2E;QAC3E,oEAAoE;QACpE,MAAM,IAAI,GAAG,SAAS,IAAI,WAAW,IAAI,OAAO,CAAC;QACjD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,aAAa,GAAc;IAC/B,QAAQ,EAAE,KAAK;IACf,SAAS,EAAE,iBAAiB;IAC5B,MAAM,EAAE,KAAK;CACd,CAAC;AAEF;;;;;;GAMG;AACH,SAAS,OAAO,CACd,OAAgB,EAChB,IAAwB;IAExB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,CAAC;IAED,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAEzD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC9D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC7C,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;AAC9F,CAAC"}

package/dist/core/check/handles.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Where a declaration handle may stand, which is `language.md` 5.4's table.
+ *
+ * `plot()`, `plotCandles()`, `fill()` and `level()` hand back the compile-time
+ * half of a declaration. It is not a value. No slot, no cell and no register
+ * ever holds one, and nothing of it is left in the bar loop, so the places one
+ * may be written are a closed list of three:
+ *
+ *     a declaration statement            plot(close, "C", aqua)
+ *     the whole right side of a plain     upper = plot(basis + dev, "U", aqua)
+ *       assignment, where the right side
+ *       is the declaration call itself
+ *     an argument of a call               fill(upper, lower, color = c)
+ *
+ * The third is a permission to be written, not to be accepted: the signature
+ * decides, and `fill` is the one call in version 1 whose parameters take a
+ * handle. Everywhere else a value is required, and 5.4 answers that with
+ * OS2003.
+ *
+ * The rule is a permission rather than a refusal written out at each of the
+ * twenty places a value can appear, because the refusal has to hold for the
+ * position nobody thought of. An expression the checker accepts and the
+ * emitter cannot emit becomes an instruction reading a slot nothing ever
+ * writes, and a study then plots absence on every bar where the script said
+ * plot. Silence of that kind is worse than a refusal, so the default is to
+ * refuse and the permissions are listed.
+ */
+import type { Expression } from '../ast/index.js';
+import type { Checker } from './checker.js';
+import type { Type } from './types.js';
+/**
+ * Marks an expression as one of the places 5.4 lets a handle be written.
+ *
+ * Grouping is transparent to every rule in the language, so `(upper)` is
+ * permitted wherever `upper` is and each layer is marked.
+ */
+export declare function allowHandle(checker: Checker, expression: Expression): void;
+/** Whether a handle written here has been permitted by one of the three rules. */
+export declare function handleAllowed(checker: Checker, expression: Expression): boolean;
+/**
+ * OS2003 for a handle in a position that requires a value, `language.md` 5.4.
+ *
+ * The expression is left `unknown` rather than left as a handle, so the rule
+ * above it does not report a second time and the emitter is never handed a
+ * handle to find a register for.
+ */
+export declare function refuseHandle(checker: Checker, expression: Expression, type: Type): Type;
+//# sourceMappingURL=handles.d.ts.map

package/dist/core/check/handles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"handles.d.ts","sourceRoot":"","sources":["../../../src/core/check/handles.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAYvC;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,IAAI,CAO1E;AAED,kFAAkF;AAClF,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,OAAO,CAE/E;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAMvF"}

package/dist/core/check/handles.js

@@ -0,0 +1,43 @@
+import { UNKNOWN, typeText } from './types.js';
+/**
+ * What a position holds when it requires a value and fixes no type of its own.
+ *
+ * A `var`, a ternary arm, a `return` and an operand of `==` all want one value
+ * per bar and take any type. What they cannot take is the one thing that has no
+ * per-bar value at all, and that is the sentence OS2003 has to say.
+ */
+const PER_BAR_VALUE = 'a per-bar value';
+/**
+ * Marks an expression as one of the places 5.4 lets a handle be written.
+ *
+ * Grouping is transparent to every rule in the language, so `(upper)` is
+ * permitted wherever `upper` is and each layer is marked.
+ */
+export function allowHandle(checker, expression) {
+    let node = expression;
+    for (;;) {
+        checker.handleSites.add(node);
+        if (node.kind !== 'grouping')
+            return;
+        node = node.expression;
+    }
+}
+/** Whether a handle written here has been permitted by one of the three rules. */
+export function handleAllowed(checker, expression) {
+    return checker.handleSites.has(expression);
+}
+/**
+ * OS2003 for a handle in a position that requires a value, `language.md` 5.4.
+ *
+ * The expression is left `unknown` rather than left as a handle, so the rule
+ * above it does not report a second time and the emitter is never handed a
+ * handle to find a register for.
+ */
+export function refuseHandle(checker, expression, type) {
+    checker.report('OS2003', expression.span, {
+        leftType: PER_BAR_VALUE,
+        rightType: typeText(type),
+    });
+    return checker.record(expression, UNKNOWN, checker.warmupOf(expression));
+}
+//# sourceMappingURL=handles.js.map

package/dist/core/check/handles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handles.js","sourceRoot":"","sources":["../../../src/core/check/handles.ts"],"names":[],"mappings":"AA8BA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE/C;;;;;;GAMG;AACH,MAAM,aAAa,GAAG,iBAAiB,CAAC;AAExC;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,UAAsB;IAClE,IAAI,IAAI,GAAe,UAAU,CAAC;IAClC,SAAS,CAAC;QACR,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QACrC,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,UAAsB;IACpE,OAAO,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,UAAsB,EAAE,IAAU;IAC/E,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE;QACxC,QAAQ,EAAE,aAAa;QACvB,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC;KAC1B,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;AAC3E,CAAC"}

package/dist/core/check/index.d.ts

@@ -0,0 +1,31 @@
+/**
+ * The checker: a syntax tree in, and the answer to two questions out.
+ *
+ * Is this a program the engine can run, and what does every name in it mean.
+ * Those are one pass rather than two, because the second question is how the
+ * first one is answered: a name resolves or it does not, an expression has a
+ * type or the operator above it cannot be checked, and a value has a first bar
+ * or a line would be drawn before there was anything to draw.
+ *
+ * What comes out is a `CheckedScript`. It is not a second tree: the syntax tree
+ * is still the tree, and every answer is recorded against the node it is about,
+ * so the code generator walks what the parser produced and looks the answers up
+ * rather than working any of them out a second time.
+ *
+ * Nothing here throws. A file with three mistakes in it produces three
+ * diagnostics and a checked tree with `unknown` where the mistakes were,
+ * because a trader fixing three mistakes should see three of them.
+ */
+export { check } from './check.js';
+export { inputHeldBy } from './checked.js';
+export { alertKey } from './outputs.js';
+export { FOLDABLE_CALLS } from './constant.js';
+export type { Binding, BindingKind, CheckedCall, CheckedDeclaration, CheckedFunction, CheckedInput, CheckedOutput, CheckedRequest, CheckedScript, InputKind, RequestMode, Storage, } from './checked.js';
+export type { HandleKind, ObjectKind, Type, ValueKind } from './types.js';
+export { HANDLE_KINDS, OBJECT_KINDS, VALUE_KINDS, accepts, arrayOf, elementOf, isSeries, join, sameType, seriesOf, typeText, } from './types.js';
+export type { Warmup } from './warmup.js';
+export { BAR_ZERO, allOf, atBar, atLeastBar, delayed, earlier, isNever, later } from './warmup.js';
+export type { LibraryEntry, LibraryParameter, WarmupRule } from './library.js';
+export type { LibraryProse } from './surface.js';
+export { NAMESPACES, REQUEST_NAMES, STRATEGY_NAMESPACES, describedNames, isLibraryName, isNamespace, libraryEntries, libraryNames, membersOf, proseFor, } from './surface.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/check/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,YAAY,EACV,OAAO,EACP,WAAW,EACX,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,YAAY,EACZ,aAAa,EACb,cAAc,EACd,aAAa,EACb,SAAS,EACT,WAAW,EACX,OAAO,GACR,MAAM,cAAc,CAAC;AAEtB,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC1E,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,OAAO,EACP,OAAO,EACP,SAAS,EACT,QAAQ,EACR,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEnG,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/E,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EACL,UAAU,EACV,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,SAAS,EACT,QAAQ,GACT,MAAM,cAAc,CAAC"}

package/dist/core/check/index.js

@@ -0,0 +1,26 @@
+/**
+ * The checker: a syntax tree in, and the answer to two questions out.
+ *
+ * Is this a program the engine can run, and what does every name in it mean.
+ * Those are one pass rather than two, because the second question is how the
+ * first one is answered: a name resolves or it does not, an expression has a
+ * type or the operator above it cannot be checked, and a value has a first bar
+ * or a line would be drawn before there was anything to draw.
+ *
+ * What comes out is a `CheckedScript`. It is not a second tree: the syntax tree
+ * is still the tree, and every answer is recorded against the node it is about,
+ * so the code generator walks what the parser produced and looks the answers up
+ * rather than working any of them out a second time.
+ *
+ * Nothing here throws. A file with three mistakes in it produces three
+ * diagnostics and a checked tree with `unknown` where the mistakes were,
+ * because a trader fixing three mistakes should see three of them.
+ */
+export { check } from './check.js';
+export { inputHeldBy } from './checked.js';
+export { alertKey } from './outputs.js';
+export { FOLDABLE_CALLS } from './constant.js';
+export { HANDLE_KINDS, OBJECT_KINDS, VALUE_KINDS, accepts, arrayOf, elementOf, isSeries, join, sameType, seriesOf, typeText, } from './types.js';
+export { BAR_ZERO, allOf, atBar, atLeastBar, delayed, earlier, isNever, later } from './warmup.js';
+export { NAMESPACES, REQUEST_NAMES, STRATEGY_NAMESPACES, describedNames, isLibraryName, isNamespace, libraryEntries, libraryNames, membersOf, proseFor, } from './surface.js';
+//# sourceMappingURL=index.js.map

package/dist/core/check/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAkB/C,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,OAAO,EACP,OAAO,EACP,SAAS,EACT,QAAQ,EACR,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAInG,OAAO,EACL,UAAU,EACV,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,SAAS,EACT,QAAQ,GACT,MAAM,cAAc,CAAC"}

package/dist/core/check/library-bars.d.ts

@@ -0,0 +1,7 @@
+import type { LibraryEntry } from './library.js';
+/** The colour names of stdlib.md 11.1, each an ordinary global of type `color`. */
+export declare const COLOUR_NAMES: readonly string[];
+/** The built-in series of stdlib.md 3.1, the only names with a bar's history. */
+export declare const BAR_SERIES: readonly string[];
+export declare const BAR_ENTRIES: readonly LibraryEntry[];
+//# sourceMappingURL=library-bars.d.ts.map

package/dist/core/check/library-bars.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"library-bars.d.ts","sourceRoot":"","sources":["../../../src/core/check/library-bars.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,mFAAmF;AACnF,eAAO,MAAM,YAAY,EAAE,SAAS,MAAM,EAoBzC,CAAC;AAEF,iFAAiF;AACjF,eAAO,MAAM,UAAU,EAAE,SAAS,MAAM,EAYvC,CAAC;AAwIF,eAAO,MAAM,WAAW,EAAE,SAAS,YAAY,EAS9C,CAAC"}