npm - @tsonic/frontend - Versions diffs - 0.0.73 → 0.0.75 - Mend

@tsonic/frontend 0.0.73 → 0.0.75

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1786) hide show

package/dist/ir/converters/statements/declarations/interfaces.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"interfaces.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;~~AAOjC~~,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;~~AAGvB~~;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,GAAmB,EACO,EAAE;IAC5B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,~~OAAO;YACL~~,~~IAAI~~,~~EAAE~~,~~mBAAmB;YACzB~~,~~IAAI~~,~~EACF,~~IAAI,CAAC,IAAI,~~IAAI,EAAE,~~CAAC,~~YAAY,~~CAAC,IAAI,CAAC,~~IAAI~~,~~CAAC~~,~~CAAC~~,CAAC,~~CAAC~~,IAAI,~~CAAC~~,~~IAAI~~,~~CAAC,~~IAAI,~~CAAC~~,~~CAAC,CAAC,YAAY~~;~~YACzE~~,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,cAAc,CACjC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC;YACD,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;YAChC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC;SACtC,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,~~OAAO;YACL~~,~~IAAI~~,~~EAAE~~,~~iBAAiB;YACvB~~,~~IAAI~~,~~EACF,~~IAAI,CAAC,IAAI,~~IAAI,EAAE,~~CAAC,~~YAAY,~~CAAC,IAAI,CAAC,~~IAAI~~,~~CAAC~~,~~CAAC~~,CAAC,~~CAAC~~,IAAI,~~CAAC~~,~~IAAI~~,~~CAAC,~~IAAI,~~CAAC~~,~~CAAC,CAAC,YAAY~~;~~YACzE~~,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;YAC/D,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;YACnD,UAAU,EAAE,IAAI,CAAC,IAAI;gBACnB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC;gBACH,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,OAAuC,EAAW,EAAE;IAC1E,wFAAwF;IACxF,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QACrC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,2BAA2B,GAAG,CAClC,OAAuC,EAC1B,EAAE;IACf,IACE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;QACnC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW;QACvC,OAAO,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IAED,8EAA8E;IAC9E,OAAO,OAAiC,CAAC;AAC3C,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,kCAAkC,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACiC,EAAE;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,+BAA+B;IAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sDAAsD;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAC1C,CAAC;IAEF,yDAAyD;IACzD,IACE,OAAO,CAAC,IAAI,KAAK,eAAe;QAChC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,EACxD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC7C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAC3C,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAA6B,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4CAA4C;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,OAAO,UAAU,KAAK,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACqC,EAAE;IAC1D,0CAA0C;IAC1C,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,MAAM,QAAQ,GAAG,kCAAkC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;YAC/D,IAAI,EAAE;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;aAC9B;YACD,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;YACnC,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,yCAAyC;IACzC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAChD,CAAC;IACF,MAAM,YAAY,GAChB,aAAa,EAAE,KAAK;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,CAC9D,CACF,IAAI,EAAE,CAAC;IAEZ,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SAC1C,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAErD,kDAAkD;IAClD,MAAM,YAAY,GAAG,QAAQ;QAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CACf,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAC9D;QACH,CAAC,CAAC,UAAU,CAAC;IAEf,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,YAAY;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC"}
1	+ {"version":3,"file":"interfaces.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,mCAAmC,EAAE,MAAM,mCAAmC,CAAC;AAExF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,GAAmB,EACO,EAAE;IAC5B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,cAAc,CACjC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC;YACD,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;YAChC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC;SACtC,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,IAAI,EAAE,UAAU;YAChB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;YAC/D,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;YACnD,UAAU,EAAE,IAAI,CAAC,IAAI;gBACnB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC;gBACH,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,OAAuC,EAAW,EAAE;IAC1E,wFAAwF;IACxF,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QACrC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,2BAA2B,GAAG,CAClC,OAAuC,EAC1B,EAAE;IACf,IACE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;QACnC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW;QACvC,OAAO,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IAED,8EAA8E;IAC9E,OAAO,OAAiC,CAAC;AAC3C,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,kCAAkC,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACiC,EAAE;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,+BAA+B;IAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sDAAsD;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAC1C,CAAC;IAEF,yDAAyD;IACzD,IACE,OAAO,CAAC,IAAI,KAAK,eAAe;QAChC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,EACxD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC7C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAC3C,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAiC,EACjC,GAAmB,EACS,EAAE;IAC9B,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;QACnD,UAAU,EAAE,IAAI,CAAC,IAAI;YACnB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;KACzB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,IAA6B,EAC7B,GAAmB,EACC,EAAE;IACtB,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACxD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,UAAU;KAClB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAA6B,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4CAA4C;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,OAAO,UAAU,KAAK,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACqC,EAAE;IAC1D,0CAA0C;IAC1C,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,MAAM,QAAQ,GAAG,kCAAkC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;YAC/D,IAAI,EAAE;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;aAC9B;YACD,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;YACnC,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,gCAAgC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,cAAc,EAAE,EAAE;YAClB,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;YACnC,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,yCAAyC;IACzC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAChD,CAAC;IACF,MAAM,YAAY,GAChB,aAAa,EAAE,KAAK;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,CAC9D,CACF,IAAI,EAAE,CAAC;IAEZ,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SAC1C,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAErD,kDAAkD;IAClD,MAAM,YAAY,GAAG,QAAQ;QAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CACf,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAC9D;QACH,CAAC,CAAC,UAAU,CAAC;IAEf,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,YAAY;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/overload-family-builders.d.ts ADDED Viewed

@@ -0,0 +1,9 @@
+import type { IrFunctionDeclaration, IrMethodDeclaration, IrOverloadOwnerKind } from "../../../types.js";
+export declare const buildPublicOverloadFamilyMember: (opts: {
+    readonly ownerKind: IrOverloadOwnerKind;
+    readonly publicName: string;
+    readonly isStatic: boolean;
+    readonly signatureIndex: number;
+    readonly publicSignatureCount: number;
+}) => NonNullable<IrMethodDeclaration["overloadFamily"]> | NonNullable<IrFunctionDeclaration["overloadFamily"]>;
+//# sourceMappingURL=overload-family-builders.d.ts.map

package/dist/ir/converters/statements/declarations/overload-family-builders.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"overload-family-builders.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/overload-family-builders.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,mBAAmB,EAEnB,mBAAmB,EACpB,MAAM,mBAAmB,CAAC;AAkB3B,eAAO,MAAM,+BAA+B,GAAI,MAAM;IACpD,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC,KACG,WAAW,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,GAClD,WAAW,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAgBtD,CAAC"}

package/dist/ir/converters/statements/declarations/overload-family-builders.js ADDED Viewed

@@ -0,0 +1,21 @@
+const buildOverloadFamilyId = (ownerKind, publicName, isStatic) => {
+    if (ownerKind === "method" || ownerKind === "constructor") {
+        return `${ownerKind}:${isStatic ? "static" : "instance"}:${publicName}`;
+    }
+    return `${ownerKind}:${publicName}`;
+};
+const buildPublicOverloadMemberId = (familyId, signatureIndex) => `${familyId}:public:${signatureIndex}`;
+export const buildPublicOverloadFamilyMember = (opts) => {
+    const familyId = buildOverloadFamilyId(opts.ownerKind, opts.publicName, opts.isStatic);
+    const overloadFamily = {
+        familyId,
+        memberId: buildPublicOverloadMemberId(familyId, opts.signatureIndex),
+        ownerKind: opts.ownerKind,
+        publicName: opts.publicName,
+        isStatic: opts.isStatic,
+        publicSignatureIndex: opts.signatureIndex,
+        publicSignatureCount: opts.publicSignatureCount,
+    };
+    return overloadFamily;
+};
+//# sourceMappingURL=overload-family-builders.js.map

package/dist/ir/converters/statements/declarations/overload-family-builders.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"overload-family-builders.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/overload-family-builders.ts"],"names":[],"mappings":"AAOA,MAAM,qBAAqB,GAAG,CAC5B,SAA8B,EAC9B,UAAkB,EAClB,QAAiB,EACT,EAAE;IACV,IAAI,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,aAAa,EAAE,CAAC;QAC1D,OAAO,GAAG,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,UAAU,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,GAAG,SAAS,IAAI,UAAU,EAAE,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAgB,EAChB,cAAsB,EACd,EAAE,CAAC,GAAG,QAAQ,WAAW,cAAc,EAAE,CAAC;AAEpD,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,IAM/C,EAEwD,EAAE;IACzD,MAAM,QAAQ,GAAG,qBAAqB,CACpC,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,QAAQ,CACd,CAAC;IACF,MAAM,cAAc,GAA2B;QAC7C,QAAQ;QACR,QAAQ,EAAE,2BAA2B,CAAC,QAAQ,EAAE,IAAI,CAAC,cAAc,CAAC;QACpE,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,oBAAoB,EAAE,IAAI,CAAC,cAAc;QACzC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;KAChD,CAAC;IACF,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/type-aliases.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"type-aliases.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,~~EAAE~~,WAAW,~~EAA0B~~,MAAM,mBAAmB,CAAC;~~AAGxE~~,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;~~AAElE~~;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,KAAK,cAAc,KAClB,SAAS,WAAW,~~EAkBtB~~,CAAC"}
1	+ {"version":3,"file":"type-aliases.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,WAAW,EAGZ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAsBlE;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,KAAK,cAAc,KAClB,SAAS,WAAW,EAsBtB,CAAC"}

package/dist/ir/converters/statements/declarations/type-aliases.js CHANGED Viewed

@@ -1,8 +1,19 @@
 /**
  * Type alias declaration converter
  */
+import { stampRuntimeUnionAliasCarrier, } from "../../../types.js";
 import { hasExportModifier, convertTypeParameters } from "../helpers.js";
 import { processTypeAliasForSynthetics } from "../../synthetic-types.js";
+import { resolveSourceFileIdentity } from "../../../../program/source-file-identity.js";
+const stampAliasCarrier = (type, node, ctx) => {
+    const sourceIdentity = resolveSourceFileIdentity(node.getSourceFile().fileName, ctx.sourceRoot, ctx.rootNamespace);
+    return stampRuntimeUnionAliasCarrier(type, {
+        aliasName: node.name.text,
+        fullyQualifiedName: `${sourceIdentity.namespace}.${node.name.text}`,
+        namespaceName: sourceIdentity.namespace,
+        typeParameters: (node.typeParameters ?? []).map((tp) => tp.name.text),
+    });
+};
 /**
  * Convert type alias declaration.
  *
@@ -19,7 +30,7 @@ export const convertTypeAliasDeclaration = (node, ctx) => {
         kind: "typeAliasDeclaration",
         name: node.name.text,
         typeParameters: convertTypeParameters(node.typeParameters, ctx),
-        type: ctx.typeSystem.typeFromSyntax(typeSyntaxId),
+        type: stampAliasCarrier(ctx.typeSystem.typeFromSyntax(typeSyntaxId), node, ctx),
         isExported: hasExportModifier(node),
         isStruct: false, // Type aliases are not structs by default
     };

package/dist/ir/converters/statements/declarations/type-aliases.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"type-aliases.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;~~AAIH~~,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;~~AAGzE~~;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACK,EAAE;IAC1B,iEAAiE;IACjE,uEAAuE;IACvE,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,SAAS,GAA2B;QACxC,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,YAAY,CAAC;~~QACjD~~,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ,EAAE,KAAK,EAAE,0CAA0C;KAC5D,CAAC;IAEF,mEAAmE;IACnE,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAExD,oEAAoE;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;AAC3D,CAAC,CAAC"}
1	+ {"version":3,"file":"type-aliases.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAIL,6BAA6B,GAC9B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAExF,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,IAA6B,EAC7B,GAAmB,EACX,EAAE;IACV,MAAM,cAAc,GAAG,yBAAyB,CAC9C,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,EAC7B,GAAG,CAAC,UAAU,EACd,GAAG,CAAC,aAAa,CAClB,CAAC;IAEF,OAAO,6BAA6B,CAAC,IAAI,EAAE;QACzC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACzB,kBAAkB,EAAE,GAAG,cAAc,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;QACnE,aAAa,EAAE,cAAc,CAAC,SAAS;QACvC,cAAc,EAAE,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;KACtE,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACK,EAAE;IAC1B,iEAAiE;IACjE,uEAAuE;IACvE,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,SAAS,GAA2B;QACxC,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,IAAI,EAAE,iBAAiB,CACrB,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,YAAY,CAAC,EAC3C,IAAI,EACJ,GAAG,CACJ;QACD,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ,EAAE,KAAK,EAAE,0CAA0C;KAC5D,CAAC;IAEF,mEAAmE;IACnE,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAExD,oEAAoE;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;AAC3D,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/variable-generic-lowering.d.ts ADDED Viewed

@@ -0,0 +1,50 @@
+/**
+ * Generic function value lowering for variable declarations
+ *
+ * Handles conversion of generic arrow/function expressions assigned to
+ * variables into function declarations, and resolution of generic
+ * function alias chains:
+ * - resolveGenericFunctionValueReturnType
+ * - isSupportedGenericFunctionValueDeclaration
+ * - resolveSymbol
+ * - resolveGenericFunctionAliasTargetFromSymbol
+ * - isSupportedGenericFunctionAliasDeclaration
+ * - createTypeParameterTypeArgs
+ * - createIdentifierArgumentsForParameters
+ * - convertGenericFunctionValueDeclaration
+ * - convertGenericFunctionValueAliasDeclaration
+ */
+import * as ts from "typescript";
+import { IrArrowFunctionExpression, IrFunctionDeclaration, IrFunctionExpression, IrType } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+import { type GenericFunctionValueNode } from "../../../../generic-function-values.js";
+export declare const resolveGenericFunctionValueReturnType: (initializer: IrArrowFunctionExpression | IrFunctionExpression) => IrType | undefined;
+export declare const isSupportedGenericFunctionValueDeclaration: (decl: ts.VariableDeclaration, checker: ts.TypeChecker, writtenSymbols: ReadonlySet<ts.Symbol>) => decl is ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: GenericFunctionValueNode;
+};
+export declare const resolveSymbol: (checker: ts.TypeChecker, node: ts.Node) => ts.Symbol | undefined;
+export type GenericFunctionAliasTarget = {
+    readonly kind: "genericValue";
+    readonly name: string;
+    readonly initializer: GenericFunctionValueNode;
+} | {
+    readonly kind: "functionDeclaration";
+    readonly declaration: ts.FunctionDeclaration & {
+        readonly name: ts.Identifier;
+    };
+};
+export declare const resolveGenericFunctionAliasTargetFromSymbol: (symbol: ts.Symbol, checker: ts.TypeChecker, seen: Set<ts.Symbol>) => GenericFunctionAliasTarget | undefined;
+export declare const isSupportedGenericFunctionAliasDeclaration: (decl: ts.VariableDeclaration, checker: ts.TypeChecker, writtenSymbols: ReadonlySet<ts.Symbol>, supportedSymbols: ReadonlySet<ts.Symbol>) => decl is ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: ts.Identifier;
+};
+export declare const convertGenericFunctionValueDeclaration: (node: ts.VariableStatement, decl: ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: GenericFunctionValueNode;
+}, ctx: ProgramContext) => IrFunctionDeclaration | null;
+export declare const convertGenericFunctionValueAliasDeclaration: (node: ts.VariableStatement, decl: ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: ts.Identifier;
+}, ctx: ProgramContext) => IrFunctionDeclaration | null;
+//# sourceMappingURL=variable-generic-lowering.d.ts.map

package/dist/ir/converters/statements/declarations/variable-generic-lowering.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"variable-generic-lowering.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variable-generic-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,yBAAyB,EAGzB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EAEP,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EACL,KAAK,wBAAwB,EAI9B,MAAM,wCAAwC,CAAC;AAEhD,eAAO,MAAM,qCAAqC,GAChD,aAAa,yBAAyB,GAAG,oBAAoB,KAC5D,MAAM,GAAG,SASX,CAAC;AAEF,eAAO,MAAM,0CAA0C,GACrD,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACrC,IAAI,IAAI,EAAE,CAAC,mBAAmB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAYhD,CAAC;AAEF,eAAO,MAAM,aAAa,GACxB,SAAS,EAAE,CAAC,WAAW,EACvB,MAAM,EAAE,CAAC,IAAI,KACZ,EAAE,CAAC,MAAM,GAAG,SAOd,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAClC;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAChD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,mBAAmB,GAAG;QAC7C,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;KAC9B,CAAC;CACH,CAAC;AAEN,eAAO,MAAM,2CAA2C,GACtD,QAAQ,EAAE,CAAC,MAAM,EACjB,SAAS,EAAE,CAAC,WAAW,EACvB,MAAM,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,KACnB,0BAA0B,GAAG,SA+C/B,CAAC;AAEF,eAAO,MAAM,0CAA0C,GACrD,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,EACtC,kBAAkB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACvC,IAAI,IAAI,EAAE,CAAC,mBAAmB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;CAuBrC,CAAC;AAsCF,eAAO,MAAM,sCAAsC,GACjD,MAAM,EAAE,CAAC,iBAAiB,EAC1B,MAAM,EAAE,CAAC,mBAAmB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAChD,EACD,KAAK,cAAc,KAClB,qBAAqB,GAAG,IAwC1B,CAAC;AAEF,eAAO,MAAM,2CAA2C,GACtD,MAAM,EAAE,CAAC,iBAAiB,EAC1B,MAAM,EAAE,CAAC,mBAAmB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;CACrC,EACD,KAAK,cAAc,KAClB,qBAAqB,GAAG,IAuI1B,CAAC"}

package/dist/ir/converters/statements/declarations/variable-generic-lowering.js ADDED Viewed

@@ -0,0 +1,281 @@
+/**
+ * Generic function value lowering for variable declarations
+ *
+ * Handles conversion of generic arrow/function expressions assigned to
+ * variables into function declarations, and resolution of generic
+ * function alias chains:
+ * - resolveGenericFunctionValueReturnType
+ * - isSupportedGenericFunctionValueDeclaration
+ * - resolveSymbol
+ * - resolveGenericFunctionAliasTargetFromSymbol
+ * - isSupportedGenericFunctionAliasDeclaration
+ * - createTypeParameterTypeArgs
+ * - createIdentifierArgumentsForParameters
+ * - convertGenericFunctionValueDeclaration
+ * - convertGenericFunctionValueAliasDeclaration
+ */
+import * as ts from "typescript";
+import { convertExpression } from "../../../expression-converter.js";
+import { convertParameters, convertTypeParameters, hasExportModifier, } from "../helpers.js";
+import { getSupportedGenericFunctionValueSymbol, isDeterministicGenericFunctionAliasTargetSymbol, isGenericFunctionValueNode, } from "../../../../generic-function-values.js";
+export const resolveGenericFunctionValueReturnType = (initializer) => {
+    if (initializer.returnType)
+        return initializer.returnType;
+    if (initializer.inferredType &&
+        initializer.inferredType.kind === "functionType") {
+        return initializer.inferredType.returnType;
+    }
+    return undefined;
+};
+export const isSupportedGenericFunctionValueDeclaration = (decl, checker, writtenSymbols) => {
+    if (!ts.isIdentifier(decl.name))
+        return false;
+    if (!decl.initializer || !isGenericFunctionValueNode(decl.initializer)) {
+        return false;
+    }
+    const symbol = getSupportedGenericFunctionValueSymbol(decl.initializer, checker, writtenSymbols);
+    return symbol !== undefined;
+};
+export const resolveSymbol = (checker, node) => {
+    const symbol = checker.getSymbolAtLocation(node);
+    if (!symbol)
+        return undefined;
+    if (symbol.flags & ts.SymbolFlags.Alias) {
+        return checker.getAliasedSymbol(symbol);
+    }
+    return symbol;
+};
+export const resolveGenericFunctionAliasTargetFromSymbol = (symbol, checker, seen) => {
+    if (seen.has(symbol))
+        return undefined;
+    seen.add(symbol);
+    for (const declaration of symbol.declarations ?? []) {
+        if (ts.isFunctionDeclaration(declaration) &&
+            declaration.name &&
+            ts.isIdentifier(declaration.name) &&
+            declaration.typeParameters &&
+            declaration.typeParameters.length > 0) {
+            return {
+                kind: "functionDeclaration",
+                declaration: declaration,
+            };
+        }
+        if (ts.isVariableDeclaration(declaration) &&
+            ts.isIdentifier(declaration.name)) {
+            const initializer = declaration.initializer;
+            if (initializer && isGenericFunctionValueNode(initializer)) {
+                return {
+                    kind: "genericValue",
+                    name: declaration.name.text,
+                    initializer,
+                };
+            }
+            if (initializer && ts.isIdentifier(initializer)) {
+                const targetSymbol = resolveSymbol(checker, initializer);
+                if (!targetSymbol)
+                    continue;
+                const resolved = resolveGenericFunctionAliasTargetFromSymbol(targetSymbol, checker, seen);
+                if (resolved)
+                    return resolved;
+            }
+        }
+    }
+    return undefined;
+};
+export const isSupportedGenericFunctionAliasDeclaration = (decl, checker, writtenSymbols, supportedSymbols) => {
+    if (!ts.isIdentifier(decl.name))
+        return false;
+    if (!decl.initializer || !ts.isIdentifier(decl.initializer))
+        return false;
+    const declarationList = decl.parent;
+    if (!declarationList || !ts.isVariableDeclarationList(declarationList)) {
+        return false;
+    }
+    const isConst = (declarationList.flags & ts.NodeFlags.Const) !== 0;
+    const isLet = (declarationList.flags & ts.NodeFlags.Let) !== 0;
+    if (!isConst && !isLet)
+        return false;
+    const aliasSymbol = resolveSymbol(checker, decl.name);
+    if (!aliasSymbol)
+        return false;
+    if (!isConst && writtenSymbols.has(aliasSymbol))
+        return false;
+    const targetSymbol = resolveSymbol(checker, decl.initializer);
+    if (!targetSymbol)
+        return false;
+    return isDeterministicGenericFunctionAliasTargetSymbol(targetSymbol, supportedSymbols);
+};
+const createTypeParameterTypeArgs = (typeParameters) => {
+    if (!typeParameters || typeParameters.length === 0)
+        return undefined;
+    return typeParameters.map((typeParameter) => ({
+        kind: "typeParameterType",
+        name: typeParameter.name.text,
+    }));
+};
+const createIdentifierArgumentsForParameters = (parameters) => {
+    const args = [];
+    for (const parameter of parameters) {
+        if (parameter.pattern.kind !== "identifierPattern") {
+            return undefined;
+        }
+        const identifierExpression = {
+            kind: "identifier",
+            name: parameter.pattern.name,
+            inferredType: parameter.type,
+        };
+        if (parameter.isRest) {
+            args.push({
+                kind: "spread",
+                expression: identifierExpression,
+                inferredType: identifierExpression.inferredType,
+            });
+            continue;
+        }
+        args.push(identifierExpression);
+    }
+    return args;
+};
+export const convertGenericFunctionValueDeclaration = (node, decl, ctx) => {
+    const initializer = convertExpression(decl.initializer, ctx, undefined);
+    if (initializer.kind !== "arrowFunction" &&
+        initializer.kind !== "functionExpression") {
+        return null;
+    }
+    let body;
+    if (initializer.kind === "functionExpression") {
+        body = initializer.body;
+    }
+    else if (initializer.body.kind === "blockStatement") {
+        body = initializer.body;
+    }
+    else {
+        body = {
+            kind: "blockStatement",
+            statements: [
+                {
+                    kind: "returnStatement",
+                    expression: initializer.body,
+                },
+            ],
+        };
+    }
+    return {
+        kind: "functionDeclaration",
+        name: decl.name.text,
+        typeParameters: convertTypeParameters(decl.initializer.typeParameters, ctx),
+        parameters: initializer.parameters,
+        returnType: resolveGenericFunctionValueReturnType(initializer),
+        body,
+        isAsync: initializer.isAsync,
+        isGenerator: initializer.kind === "functionExpression"
+            ? initializer.isGenerator
+            : false,
+        isExported: hasExportModifier(node),
+    };
+};
+export const convertGenericFunctionValueAliasDeclaration = (node, decl, ctx) => {
+    const targetSymbol = resolveSymbol(ctx.checker, decl.initializer);
+    if (!targetSymbol)
+        return null;
+    const target = resolveGenericFunctionAliasTargetFromSymbol(targetSymbol, ctx.checker, new Set());
+    if (!target)
+        return null;
+    let targetName;
+    let typeParameters;
+    let parameters;
+    let returnType;
+    let typeArguments;
+    let callee;
+    if (target.kind === "genericValue") {
+        const convertedTarget = convertExpression(target.initializer, ctx, undefined);
+        if (convertedTarget.kind !== "arrowFunction" &&
+            convertedTarget.kind !== "functionExpression") {
+            return null;
+        }
+        targetName = target.name;
+        typeParameters = convertTypeParameters(target.initializer.typeParameters, ctx);
+        parameters = convertedTarget.parameters;
+        returnType = resolveGenericFunctionValueReturnType(convertedTarget);
+        typeArguments = createTypeParameterTypeArgs(target.initializer.typeParameters);
+        callee = {
+            kind: "identifier",
+            name: targetName,
+        };
+    }
+    else {
+        const declaration = target.declaration;
+        targetName = declaration.name.text;
+        typeParameters = convertTypeParameters(declaration.typeParameters, ctx);
+        parameters = convertParameters(declaration.parameters, ctx);
+        returnType = declaration.type
+            ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(declaration.type))
+            : undefined;
+        if (!returnType) {
+            const targetIdentifier = convertExpression(decl.initializer, ctx, undefined);
+            if (targetIdentifier.inferredType &&
+                targetIdentifier.inferredType.kind === "functionType") {
+                returnType = targetIdentifier.inferredType.returnType;
+            }
+        }
+        if (!returnType) {
+            return null;
+        }
+        typeArguments = createTypeParameterTypeArgs(declaration.typeParameters);
+        const isCrossModuleTarget = declaration.getSourceFile() !== decl.getSourceFile();
+        if (isCrossModuleTarget) {
+            callee = convertExpression(decl.initializer, ctx, undefined);
+        }
+        else {
+            callee = {
+                kind: "identifier",
+                name: targetName,
+            };
+        }
+    }
+    if (parameters.some((parameter) => parameter.pattern.kind !== "identifierPattern")) {
+        return null;
+    }
+    const callArguments = createIdentifierArgumentsForParameters(parameters);
+    if (!callArguments || callArguments.length !== parameters.length) {
+        return null;
+    }
+    if (!callee)
+        return null;
+    const callExpression = {
+        kind: "call",
+        callee,
+        arguments: [...callArguments],
+        isOptional: false,
+        typeArguments,
+        inferredType: returnType,
+    };
+    const callStatements = returnType?.kind === "voidType"
+        ? [
+            {
+                kind: "expressionStatement",
+                expression: callExpression,
+            },
+        ]
+        : [
+            {
+                kind: "returnStatement",
+                expression: callExpression,
+            },
+        ];
+    return {
+        kind: "functionDeclaration",
+        name: decl.name.text,
+        typeParameters,
+        parameters,
+        returnType,
+        body: {
+            kind: "blockStatement",
+            statements: callStatements,
+        },
+        isAsync: false,
+        isGenerator: false,
+        isExported: hasExportModifier(node),
+    };
+};
+//# sourceMappingURL=variable-generic-lowering.js.map

package/dist/ir/converters/statements/declarations/variable-generic-lowering.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"variable-generic-lowering.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variable-generic-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAUjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAEL,sCAAsC,EACtC,+CAA+C,EAC/C,0BAA0B,GAC3B,MAAM,wCAAwC,CAAC;AAEhD,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,WAA6D,EACzC,EAAE;IACtB,IAAI,WAAW,CAAC,UAAU;QAAE,OAAO,WAAW,CAAC,UAAU,CAAC;IAC1D,IACE,WAAW,CAAC,YAAY;QACxB,WAAW,CAAC,YAAY,CAAC,IAAI,KAAK,cAAc,EAChD,CAAC;QACD,OAAO,WAAW,CAAC,YAAY,CAAC,UAAU,CAAC;IAC7C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAA4B,EAC5B,OAAuB,EACvB,cAAsC,EAItC,EAAE;IACF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,sCAAsC,CACnD,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,cAAc,CACf,CAAC;IACF,OAAO,MAAM,KAAK,SAAS,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAuB,EACvB,IAAa,EACU,EAAE;IACzB,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAeF,MAAM,CAAC,MAAM,2CAA2C,GAAG,CACzD,MAAiB,EACjB,OAAuB,EACvB,IAAoB,EACoB,EAAE;IAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEjB,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACpD,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACrC,WAAW,CAAC,IAAI;YAChB,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;YACjC,WAAW,CAAC,cAAc;YAC1B,WAAW,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EACrC,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,qBAAqB;gBAC3B,WAAW,EAAE,WAEZ;aACF,CAAC;QACJ,CAAC;QAED,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACrC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC;YAC5C,IAAI,WAAW,IAAI,0BAA0B,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC3D,OAAO;oBACL,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI;oBAC3B,WAAW;iBACZ,CAAC;YACJ,CAAC;YAED,IAAI,WAAW,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;gBAChD,MAAM,YAAY,GAAG,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;gBACzD,IAAI,CAAC,YAAY;oBAAE,SAAS;gBAC5B,MAAM,QAAQ,GAAG,2CAA2C,CAC1D,YAAY,EACZ,OAAO,EACP,IAAI,CACL,CAAC;gBACF,IAAI,QAAQ;oBAAE,OAAO,QAAQ,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAA4B,EAC5B,OAAuB,EACvB,cAAsC,EACtC,gBAAwC,EAIxC,EAAE;IACF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAE1E,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACpC,IAAI,CAAC,eAAe,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAErC,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAE9D,MAAM,YAAY,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9D,IAAI,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,+CAA+C,CACpD,YAAY,EACZ,gBAAgB,CACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,cAAkE,EACnC,EAAE;IACjC,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrE,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,mBAA4B;QAClC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI;KAC9B,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,sCAAsC,GAAG,CAC7C,UAA+C,EACV,EAAE;IACvC,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,oBAAoB,GAAiB;YACzC,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI;YAC5B,YAAY,EAAE,SAAS,CAAC,IAAI;SAC7B,CAAC;QACF,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,oBAAoB;gBAChC,YAAY,EAAE,oBAAoB,CAAC,YAAY;aAChD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,IAA0B,EAC1B,IAGC,EACD,GAAmB,EACW,EAAE;IAChC,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACxE,IACE,WAAW,CAAC,IAAI,KAAK,eAAe;QACpC,WAAW,CAAC,IAAI,KAAK,oBAAoB,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAsB,CAAC;IAC3B,IAAI,WAAW,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC9C,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;IAC1B,CAAC;SAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtD,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;IAC1B,CAAC;SAAM,CAAC;QACN,IAAI,GAAG;YACL,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,WAAW,CAAC,IAAI;iBAC7B;aACF;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,GAAG,CAAC;QAC3E,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,UAAU,EAAE,qCAAqC,CAAC,WAAW,CAAC;QAC9D,IAAI;QACJ,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,WAAW,EACT,WAAW,CAAC,IAAI,KAAK,oBAAoB;YACvC,CAAC,CAAC,WAAW,CAAC,WAAW;YACzB,CAAC,CAAC,KAAK;QACX,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2CAA2C,GAAG,CACzD,IAA0B,EAC1B,IAGC,EACD,GAAmB,EACW,EAAE;IAChC,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAClE,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,MAAM,GAAG,2CAA2C,CACxD,YAAY,EACZ,GAAG,CAAC,OAAO,EACX,IAAI,GAAG,EAAa,CACrB,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,IAAI,UAAkB,CAAC;IACvB,IAAI,cAAuD,CAAC;IAC5D,IAAI,UAA+C,CAAC;IACpD,IAAI,UAA8B,CAAC;IACnC,IAAI,aAA4C,CAAC;IACjD,IAAI,MAAgC,CAAC;IAErC,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACnC,MAAM,eAAe,GAAG,iBAAiB,CACvC,MAAM,CAAC,WAAW,EAClB,GAAG,EACH,SAAS,CACV,CAAC;QACF,IACE,eAAe,CAAC,IAAI,KAAK,eAAe;YACxC,eAAe,CAAC,IAAI,KAAK,oBAAoB,EAC7C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,cAAc,GAAG,qBAAqB,CACpC,MAAM,CAAC,WAAW,CAAC,cAAc,EACjC,GAAG,CACJ,CAAC;QACF,UAAU,GAAG,eAAe,CAAC,UAAU,CAAC;QACxC,UAAU,GAAG,qCAAqC,CAAC,eAAe,CAAC,CAAC;QACpE,aAAa,GAAG,2BAA2B,CACzC,MAAM,CAAC,WAAW,CAAC,cAAc,CAClC,CAAC;QACF,MAAM,GAAG;YACP,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,UAAU;SACjB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;QACvC,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QACnC,cAAc,GAAG,qBAAqB,CAAC,WAAW,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;QACxE,UAAU,GAAG,iBAAiB,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC5D,UAAU,GAAG,WAAW,CAAC,IAAI;YAC3B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,CAChD;YACH,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,gBAAgB,GAAG,iBAAiB,CACxC,IAAI,CAAC,WAAW,EAChB,GAAG,EACH,SAAS,CACV,CAAC;YACF,IACE,gBAAgB,CAAC,YAAY;gBAC7B,gBAAgB,CAAC,YAAY,CAAC,IAAI,KAAK,cAAc,EACrD,CAAC;gBACD,UAAU,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC;YACxD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,aAAa,GAAG,2BAA2B,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;QACxE,MAAM,mBAAmB,GACvB,WAAW,CAAC,aAAa,EAAE,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;QACvD,IAAI,mBAAmB,EAAE,CAAC;YACxB,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,MAAM,GAAG;gBACP,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,UAAU;aACjB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IACE,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,CAC9D,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,aAAa,GAAG,sCAAsC,CAAC,UAAU,CAAC,CAAC;IACzE,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,MAAM,cAAc,GAAiB;QACnC,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,SAAS,EAAE,CAAC,GAAG,aAAa,CAAC;QAC7B,UAAU,EAAE,KAAK;QACjB,aAAa;QACb,YAAY,EAAE,UAAU;KACzB,CAAC;IAEF,MAAM,cAAc,GAClB,UAAU,EAAE,IAAI,KAAK,UAAU;QAC7B,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,cAAc;aAC3B;SACF;QACH,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,iBAAiB;gBACvB,UAAU,EAAE,cAAc;aAC3B;SACF,CAAC;IAER,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc;QACd,UAAU;QACV,UAAU;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,cAAc;SAC3B;QACD,OAAO,EAAE,KAAK;QACd,WAAW,EAAE,KAAK;QAClB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/variable-helpers.d.ts ADDED Viewed

@@ -0,0 +1,29 @@
+/**
+ * Variable declaration helpers
+ *
+ * Utility predicates and type derivation helpers used by the variable
+ * declaration converter:
+ * - isModuleLevelVariable: Check if a variable is at module level
+ * - isBindingPattern: Check if a declaration uses destructuring
+ * - getExpectedTypeForInitializer: Derive expected type from annotation
+ */
+import * as ts from "typescript";
+import type { IrType } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+/**
+ * Check if a variable statement is at module level (not inside a function).
+ * Module-level variables become static fields in C# and need explicit types.
+ */
+export declare const isModuleLevelVariable: (node: ts.VariableStatement) => boolean;
+/**
+ * Check if a variable declaration has a binding pattern (destructuring).
+ * Binding patterns include array patterns ([a, b]) and object patterns ({x, y}).
+ */
+export declare const isBindingPattern: (decl: ts.VariableDeclaration) => boolean;
+/**
+ * Get the expected type for initializer conversion (only from explicit annotations).
+ * This is used for deterministic contextual typing - only explicit annotations
+ * should influence literal type inference.
+ */
+export declare const getExpectedTypeForInitializer: (decl: ts.VariableDeclaration, ctx: ProgramContext) => IrType | undefined;
+//# sourceMappingURL=variable-helpers.d.ts.map

package/dist/ir/converters/statements/declarations/variable-helpers.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"variable-helpers.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variable-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,EAAE,CAAC,iBAAiB,KAAG,OAuBlE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,EAAE,CAAC,mBAAmB,KAAG,OAI/D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,EAAE,CAAC,mBAAmB,EAC5B,KAAK,cAAc,KAClB,MAAM,GAAG,SAUX,CAAC"}

package/dist/ir/converters/statements/declarations/variable-helpers.js ADDED Viewed

@@ -0,0 +1,58 @@
+/**
+ * Variable declaration helpers
+ *
+ * Utility predicates and type derivation helpers used by the variable
+ * declaration converter:
+ * - isModuleLevelVariable: Check if a variable is at module level
+ * - isBindingPattern: Check if a declaration uses destructuring
+ * - getExpectedTypeForInitializer: Derive expected type from annotation
+ */
+import * as ts from "typescript";
+/**
+ * Check if a variable statement is at module level (not inside a function).
+ * Module-level variables become static fields in C# and need explicit types.
+ */
+export const isModuleLevelVariable = (node) => {
+    // Walk up the parent chain to check if we're inside a function/method
+    let current = node;
+    while (current.parent) {
+        current = current.parent;
+        // If we hit a function-like node, we're not at module level
+        if (ts.isFunctionDeclaration(current) ||
+            ts.isFunctionExpression(current) ||
+            ts.isArrowFunction(current) ||
+            ts.isMethodDeclaration(current) ||
+            ts.isConstructorDeclaration(current) ||
+            ts.isGetAccessorDeclaration(current) ||
+            ts.isSetAccessorDeclaration(current)) {
+            return false;
+        }
+        // If we hit the source file, we're at module level
+        if (ts.isSourceFile(current)) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Check if a variable declaration has a binding pattern (destructuring).
+ * Binding patterns include array patterns ([a, b]) and object patterns ({x, y}).
+ */
+export const isBindingPattern = (decl) => {
+    return (ts.isArrayBindingPattern(decl.name) || ts.isObjectBindingPattern(decl.name));
+};
+/**
+ * Get the expected type for initializer conversion (only from explicit annotations).
+ * This is used for deterministic contextual typing - only explicit annotations
+ * should influence literal type inference.
+ */
+export const getExpectedTypeForInitializer = (decl, ctx) => {
+    // Only use explicit type annotation as expectedType
+    // Inferred types should NOT influence literal typing
+    if (decl.type) {
+        // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
+        return ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(decl.type));
+    }
+    return undefined;
+};
+//# sourceMappingURL=variable-helpers.js.map

package/dist/ir/converters/statements/declarations/variable-helpers.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"variable-helpers.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variable-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAA0B,EAAW,EAAE;IAC3E,sEAAsE;IACtE,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QACzB,4DAA4D;QAC5D,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC/B,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;YACpC,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;YACpC,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC,EACpC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,mDAAmD;QACnD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAA4B,EAAW,EAAE;IACxE,OAAO,CACL,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAA4B,EAC5B,GAAmB,EACC,EAAE;IACtB,oDAAoD;IACpD,qDAAqD;IACrD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,iEAAiE;QACjE,OAAO,GAAG,CAAC,UAAU,CAAC,cAAc,CAClC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/variables-generic-function-values.d.ts ADDED Viewed

@@ -0,0 +1,21 @@
+import * as ts from "typescript";
+import { IrFunctionDeclaration } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+import { type GenericFunctionValueNode } from "../../../../generic-function-values.js";
+export declare const isSupportedGenericFunctionValueDeclaration: (decl: ts.VariableDeclaration, checker: ts.TypeChecker, writtenSymbols: ReadonlySet<ts.Symbol>) => decl is ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: GenericFunctionValueNode;
+};
+export declare const isSupportedGenericFunctionAliasDeclaration: (decl: ts.VariableDeclaration, checker: ts.TypeChecker, writtenSymbols: ReadonlySet<ts.Symbol>, supportedSymbols: ReadonlySet<ts.Symbol>) => decl is ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: ts.Identifier;
+};
+export declare const convertGenericFunctionValueDeclaration: (node: ts.VariableStatement, decl: ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: GenericFunctionValueNode;
+}, ctx: ProgramContext) => IrFunctionDeclaration | null;
+export declare const convertGenericFunctionValueAliasDeclaration: (node: ts.VariableStatement, decl: ts.VariableDeclaration & {
+    readonly name: ts.Identifier;
+    readonly initializer: ts.Identifier;
+}, ctx: ProgramContext) => IrFunctionDeclaration | null;
+//# sourceMappingURL=variables-generic-function-values.d.ts.map

package/dist/ir/converters/statements/declarations/variables-generic-function-values.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"variables-generic-function-values.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variables-generic-function-values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAIL,qBAAqB,EAItB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAMlE,OAAO,EAIL,KAAK,wBAAwB,EAC9B,MAAM,wCAAwC,CAAC;AAehD,eAAO,MAAM,0CAA0C,GACrD,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACrC,IAAI,IAAI,EAAE,CAAC,mBAAmB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAYhD,CAAC;AAgFF,eAAO,MAAM,0CAA0C,GACrD,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,EACtC,kBAAkB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACvC,IAAI,IAAI,EAAE,CAAC,mBAAmB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;CAuBrC,CAAC;AAsCF,eAAO,MAAM,sCAAsC,GACjD,MAAM,EAAE,CAAC,iBAAiB,EAC1B,MAAM,EAAE,CAAC,mBAAmB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAChD,EACD,KAAK,cAAc,KAClB,qBAAqB,GAAG,IAwC1B,CAAC;AAEF,eAAO,MAAM,2CAA2C,GACtD,MAAM,EAAE,CAAC,iBAAiB,EAC1B,MAAM,EAAE,CAAC,mBAAmB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;CACrC,EACD,KAAK,cAAc,KAClB,qBAAqB,GAAG,IAsI1B,CAAC"}