{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":168815289,"defaultBranch":"master","name":"tl","ownerLogin":"teal-language","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-02-02T09:23:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/62526430?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705463623.0","currentOid":""},"activityList":{"items":[{"before":"20336fa92e20392cba90dac5fd1676458e068fdf","after":"63f582816a2e1541c09618ff9296d8235b86bf0e","ref":"refs/heads/next","pushedAt":"2024-02-16T19:33:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"fix: let lax mode perform emptytable key-value inference as normal\n\nDo not over-constrain types with `unknown`, let `assert_is_a`\nperform the check when t2 is `unresolved_emptytable_value`.","shortMessageHtmlLink":"fix: let lax mode perform emptytable key-value inference as normal"}},{"before":"d885f90a0a88d21713c9f2b1b3d838a850ac6599","after":"20336fa92e20392cba90dac5fd1676458e068fdf","ref":"refs/heads/next","pushedAt":"2024-01-26T21:22:21.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"fix: let lax mode perform emptytable key-value inference as normal\n\nDo not over-constrain types with `unknown`, let `assert_is_a`\nperform the check when t2 is `unresolved_emptytable_value`.","shortMessageHtmlLink":"fix: let lax mode perform emptytable key-value inference as normal"}},{"before":"05ef2dc6304d592834ba5c438a84a0bc317d88b8","after":"d885f90a0a88d21713c9f2b1b3d838a850ac6599","ref":"refs/heads/next","pushedAt":"2024-01-26T04:06:20.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"big code reorganization: TypeChecker record\n\nSeveral big changes, that were done in tandem, and which\nwould be too troublesome to break into separate commits.\nThe goal here is to ultimately be able to break tl.tl\ninto multiple files (because its size started hitting\nlimits in both Lua 5.1 (number of upvalues) and Lua 5.4\n(number of locals). Here's a high-level summary of the\nchanges:\n\n* new Errors record, encapsulating error-reporting concerns;\n\n* all Type occurrences have unique objects reporting their\n locations (no more singletons for base types such as BOOLEAN\n and INVALID);\n\n* some enums renamed for more consistency across Gen and Feat\n options;\n\n* TypeCheckOptions and EnvOptions tables reorganized for\n easier forwarding of options across them;\n\n* simplifications in the various function signatures\n of the public API;\n\n* all Types and Nodes store filename, line and column\n location (`f`, `y`, `x`);\n\n* Scope is now a record containing the variables map and\n unresolved items -- no more \"@unresolved\" pseudo-variable\n and `unresolved` pseudo-type for storing this data in\n the symbols table;\n\n* `type_check` now uses a TypeChecker object for storing all state, instead of\n relying on closures and function nesting (that's a bit sad is it ended up\n spreading `self:` and extra function arguments everywhere, but I guess state\n management will be more explicit for others reading the code now...);\n\n* all Fact objects have a Where location as well, and supressions of\n inference data in error messages for widened-back types is marked\n explicitly with `no_infer` instead of missing a `w` field;\n\n* general simplification of the sourcing of error locations (though\n I would still like to improve that further);","shortMessageHtmlLink":"big code reorganization: TypeChecker record"}},{"before":"837d6c8defb4d2c8a2634f8d3c7ba242d3549fd4","after":"44d76c9fbe13d0855aa5a93de69099788536bfa3","ref":"refs/heads/next-pre-reorg","pushedAt":"2024-01-18T05:24:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"[wip] wip wip","shortMessageHtmlLink":"[wip] wip wip"}},{"before":null,"after":"837d6c8defb4d2c8a2634f8d3c7ba242d3549fd4","ref":"refs/heads/next-pre-reorg","pushedAt":"2024-01-17T03:53:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"wip wip","shortMessageHtmlLink":"wip wip"}},{"before":"f64fe9d0877be689d81ab0b699b55bd0d0d10459","after":"05ef2dc6304d592834ba5c438a84a0bc317d88b8","ref":"refs/heads/next","pushedAt":"2024-01-15T16:09:53.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"move module_name logic out of type_check\n\nit is now handled by the parts that deal with module names:\n`require` and the package loader.","shortMessageHtmlLink":"move module_name logic out of type_check"}},{"before":"888c9d3defd699dc738177140f2a14ba259ffd19","after":"f64fe9d0877be689d81ab0b699b55bd0d0d10459","ref":"refs/heads/next","pushedAt":"2024-01-15T04:46:54.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"standard library: add missing entries","shortMessageHtmlLink":"standard library: add missing entries"}},{"before":null,"after":"f36d764680d59a9418398bc53ecdf7fe950c68d5","ref":"refs/heads/next-reorg-wip","pushedAt":"2024-01-14T20:53:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"wip FULL REORG","shortMessageHtmlLink":"wip FULL REORG"}},{"before":"e3c7c860963a8013814b43bc479c686fbe11c1d1","after":"888c9d3defd699dc738177140f2a14ba259ffd19","ref":"refs/heads/next","pushedAt":"2024-01-11T02:44:05.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"Type: remove xend and yend","shortMessageHtmlLink":"Type: remove xend and yend"}},{"before":"5b3e3eebe1ae01f4465d6ebda6ac085ade8b7578","after":"e3c7c860963a8013814b43bc479c686fbe11c1d1","ref":"refs/heads/next","pushedAt":"2024-01-09T05:31:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"Makefile: allow testing with different interpreter values\n\nThis will allow me to more easily run local tests with my\nhacked `lua-no-tailcalls` interpreter binary.","shortMessageHtmlLink":"Makefile: allow testing with different interpreter values"}},{"before":"4525fa33a153ca78e642dbd8b3571d7a6bda1f6f","after":"5b3e3eebe1ae01f4465d6ebda6ac085ade8b7578","ref":"refs/heads/next","pushedAt":"2024-01-08T21:58:10.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"standard library: add missing entries","shortMessageHtmlLink":"standard library: add missing entries"}},{"before":"d72b218843fafec448893a2c91f357ae2b69d396","after":"4525fa33a153ca78e642dbd8b3571d7a6bda1f6f","ref":"refs/heads/next","pushedAt":"2024-01-08T05:09:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"standard library definition written in Teal","shortMessageHtmlLink":"standard library definition written in Teal"}},{"before":"d774e3d5e82c64af28d24788df1b54056c69ba4b","after":"d72b218843fafec448893a2c91f357ae2b69d396","ref":"refs/heads/next","pushedAt":"2024-01-06T01:16:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"fixup TypeArgType","shortMessageHtmlLink":"fixup TypeArgType"}},{"before":"a9f2e9c1d91e7683b1cb2e041b0ac8b4250aaec3","after":"4478a82397f2b5a60424fea894f5fd9dd3387b27","ref":"refs/heads/master","pushedAt":"2024-01-05T19:33:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"fix: preserve vararg info in recursive function definition\n\nFixes #727","shortMessageHtmlLink":"fix: preserve vararg info in recursive function definition"}},{"before":"4c0c162f5512866ca568e763349504e830263052","after":"a9f2e9c1d91e7683b1cb2e041b0ac8b4250aaec3","ref":"refs/heads/master","pushedAt":"2024-01-05T19:27:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"fix: hashbang, if exists and wanted, stays on line 1\n\nFixes: #729\nCloses: #730\n\nCo-authored-by: JLPLabs LLC ","shortMessageHtmlLink":"fix: hashbang, if exists and wanted, stays on line 1"}},{"before":"5e9266dbd9d654b478c44375f8b6187ca961f5b8","after":null,"ref":"refs/heads/pin-luasystem","pushedAt":"2024-01-05T19:09:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}},{"before":"cecb87d666aa38eaf2f9fb2ca7de0306481f3756","after":"4c0c162f5512866ca568e763349504e830263052","ref":"refs/heads/master","pushedAt":"2024-01-05T19:08:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"deps: pin test dependency luasystem 0.2.1\n\nSee https://github.com/lunarmodules/luasystem/issues/15","shortMessageHtmlLink":"deps: pin test dependency luasystem 0.2.1"}},{"before":"1580a523cb155630f39e3d3417ee5ff3ce90cece","after":"5e9266dbd9d654b478c44375f8b6187ca961f5b8","ref":"refs/heads/pin-luasystem","pushedAt":"2024-01-05T19:05:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"deps: pin test dependency luasystem 0.2.1\n\nSee https://github.com/lunarmodules/luasystem/issues/15","shortMessageHtmlLink":"deps: pin test dependency luasystem 0.2.1"}},{"before":"0ad4fe70a0918e4915b9425379f13ab95bb49405","after":"1580a523cb155630f39e3d3417ee5ff3ce90cece","ref":"refs/heads/pin-luasystem","pushedAt":"2024-01-05T19:00:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"deps: pin test dependency luasystem 0.2.1\n\nSee https://github.com/lunarmodules/luasystem/issues/15","shortMessageHtmlLink":"deps: pin test dependency luasystem 0.2.1"}},{"before":"cecb87d666aa38eaf2f9fb2ca7de0306481f3756","after":"0ad4fe70a0918e4915b9425379f13ab95bb49405","ref":"refs/heads/pin-luasystem","pushedAt":"2024-01-05T18:57:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"github: allow workflow dispatch","shortMessageHtmlLink":"github: allow workflow dispatch"}},{"before":null,"after":"cecb87d666aa38eaf2f9fb2ca7de0306481f3756","ref":"refs/heads/pin-luasystem","pushedAt":"2024-01-05T18:48:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"TL_DEBUG: don't lose status when processing multiple files","shortMessageHtmlLink":"TL_DEBUG: don't lose status when processing multiple files"}},{"before":"e16d39d5a8302fba3ebeaa6142fb0b1d6a1e97f0","after":"d774e3d5e82c64af28d24788df1b54056c69ba4b","ref":"refs/heads/next","pushedAt":"2024-01-01T18:37:51.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"TupleType, InvalidType","shortMessageHtmlLink":"TupleType, InvalidType"}},{"before":"3852973680322778973cccdc59e920cc072da523","after":"e16d39d5a8302fba3ebeaa6142fb0b1d6a1e97f0","ref":"refs/heads/next","pushedAt":"2023-12-29T23:56:37.000Z","pushType":"push","commitsCount":24,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"},"commit":{"message":"TypeVarType, TypeArgType, UnresolvedTypeArgType, UnresolvableTypeArgType","shortMessageHtmlLink":"TypeVarType, TypeArgType, UnresolvedTypeArgType, UnresolvableTypeArgType"}},{"before":"6207297fc3ecb321027b96ce2c6dec816283edb2","after":null,"ref":"refs/heads/fix-706","pushedAt":"2023-12-28T17:00:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}},{"before":"fb4fd0806646c1bf4a9cca30fb3da1f5813f9f00","after":null,"ref":"refs/heads/lex-micro","pushedAt":"2023-12-28T17:00:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}},{"before":"eb7131b9f99c31be51ea8f78a0c0157e6b3185f6","after":null,"ref":"refs/heads/tl-types","pushedAt":"2023-12-28T16:59:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}},{"before":"084e2c2cc1f1b53b3ae9ef7466d95249328d5c9f","after":null,"ref":"refs/heads/fresh_type_variables","pushedAt":"2023-12-28T16:59:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}},{"before":"a092eb41a6e6bd165e50d89109ec25c8aa3f71a0","after":null,"ref":"refs/heads/release-0.14.0","pushedAt":"2023-12-28T16:59:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}},{"before":"c321aaef2e228ecd6e8f2efc5a6d419e3249d4ad","after":null,"ref":"refs/heads/propagate-for-elision","pushedAt":"2023-12-28T16:59:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}},{"before":"c85756c9b8b0d08338abffb03ed2b963feeaa2d8","after":null,"ref":"refs/heads/type-require","pushedAt":"2023-12-28T16:59:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hishamhm","name":"Hisham Muhammad","path":"/hishamhm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245621?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD_ObrNQA","startCursor":null,"endCursor":null}},"title":"Activity ยท teal-language/tl"}