{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":720607935,"defaultBranch":"master","name":"mer-proto","ownerLogin":"catapillie","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-19T02:06:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59423464?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1711720710.0","currentOid":""},"activityList":{"items":[{"before":"f3b921c4dba771ab861ab8f06185befea31d8017","after":"5f24e418df791abb6930ac503c63e4763f9b0ff8","ref":"refs/heads/master","pushedAt":"2024-04-05T12:08:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"tweak assignement type mismatch error","shortMessageHtmlLink":"tweak assignement type mismatch error"}},{"before":"5f24e418df791abb6930ac503c63e4763f9b0ff8","after":"f3b921c4dba771ab861ab8f06185befea31d8017","ref":"refs/heads/master","pushedAt":"2024-04-03T15:25:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"introduce dedicated Tc typecheck result struct","shortMessageHtmlLink":"introduce dedicated Tc typecheck result struct"}},{"before":"e25ff9804f362b41ededdfae10b345262576d8f1","after":"5f24e418df791abb6930ac503c63e4763f9b0ff8","ref":"refs/heads/master","pushedAt":"2024-04-03T14:23:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"tweak assignement type mismatch error","shortMessageHtmlLink":"tweak assignement type mismatch error"}},{"before":"d7de7249d174fd9720b50d26b033c58752c11741","after":"e25ff9804f362b41ededdfae10b345262576d8f1","ref":"refs/heads/master","pushedAt":"2024-04-01T13:17:15.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add tests for pattern matching by type","shortMessageHtmlLink":"add tests for pattern matching by type"}},{"before":"d464bf6f47feb5b8ffe429a234caa78dce3bdaec","after":"d7de7249d174fd9720b50d26b033c58752c11741","ref":"refs/heads/master","pushedAt":"2024-03-31T21:01:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"tweak to formatting","shortMessageHtmlLink":"tweak to formatting"}},{"before":"997465d49715d14b387d63cab8852cf669561322","after":"d464bf6f47feb5b8ffe429a234caa78dce3bdaec","ref":"refs/heads/master","pushedAt":"2024-03-31T20:53:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"remove unused type info in expr abt","shortMessageHtmlLink":"remove unused type info in expr abt"}},{"before":"60a541dd9017012abcbe81ee534563af1c8df531","after":"997465d49715d14b387d63cab8852cf669561322","ref":"refs/heads/master","pushedAt":"2024-03-31T17:02:15.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"Merge branch 'wip/closures'","shortMessageHtmlLink":"Merge branch 'wip/closures'"}},{"before":"a6954f57d5ea4b4dcf368764b2ee98c3c8677995","after":"738ea243de103c7996df934f19485ac65eda8d32","ref":"refs/heads/wip/closures","pushedAt":"2024-03-31T16:51:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add tests for capture imports","shortMessageHtmlLink":"add tests for capture imports"}},{"before":"6bc71b8743afedd522599484e8f851585b8fa7e1","after":"a6954f57d5ea4b4dcf368764b2ee98c3c8677995","ref":"refs/heads/wip/closures","pushedAt":"2024-03-31T16:22:58.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"remove old commented code","shortMessageHtmlLink":"remove old commented code"}},{"before":"57114fe70df1e1cdc9febb8e2913ad972bb97705","after":"6bc71b8743afedd522599484e8f851585b8fa7e1","ref":"refs/heads/wip/closures","pushedAt":"2024-03-31T14:26:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add counter sample","shortMessageHtmlLink":"add counter sample"}},{"before":"1b455031edc180134590cd9e4a465cd31c7f261c","after":"60a541dd9017012abcbe81ee534563af1c8df531","ref":"refs/heads/master","pushedAt":"2024-03-30T20:29:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/catapillie/mer-proto","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/catapillie/mer-proto\">https://github.com/catapillie/mer-proto</a>"}},{"before":null,"after":"57114fe70df1e1cdc9febb8e2913ad972bb97705","ref":"refs/heads/wip/closures","pushedAt":"2024-03-29T13:58:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add simple tests for captures","shortMessageHtmlLink":"add simple tests for captures"}},{"before":"0413e389419fda32e04aa96259e8de171daf7a42","after":"1b455031edc180134590cd9e4a465cd31c7f261c","ref":"refs/heads/master","pushedAt":"2024-03-27T16:12:54.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add custom diagnostic for opaque type constructor calls","shortMessageHtmlLink":"add custom diagnostic for opaque type constructor calls"}},{"before":"832b33049125b62559956aabebd8dfb50f83baab","after":"0413e389419fda32e04aa96259e8de171daf7a42","ref":"refs/heads/master","pushedAt":"2024-03-25T08:47:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"consider alias types of data structures as data structures themselves","shortMessageHtmlLink":"consider alias types of data structures as data structures themselves"}},{"before":"3c159550e64f114055fc78138020ba3178be3700","after":"832b33049125b62559956aabebd8dfb50f83baab","ref":"refs/heads/master","pushedAt":"2024-03-25T08:29:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add pattern deconstruction test","shortMessageHtmlLink":"add pattern deconstruction test"}},{"before":"00740066b8d98295e3492848168c6a37d68ec1ad","after":"3c159550e64f114055fc78138020ba3178be3700","ref":"refs/heads/master","pushedAt":"2024-03-25T08:05:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add opaque type tests","shortMessageHtmlLink":"add opaque type tests"}},{"before":"41217ae6d9454fbe313698e74e4cafef70766700","after":"00740066b8d98295e3492848168c6a37d68ec1ad","ref":"refs/heads/master","pushedAt":"2024-03-24T18:53:27.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add diagnostics for type constructor patterns","shortMessageHtmlLink":"add diagnostics for type constructor patterns"}},{"before":"383370322eb1d07933b6064245e0ac6d25fb95cb","after":"00740066b8d98295e3492848168c6a37d68ec1ad","ref":"refs/heads/wip/patterns","pushedAt":"2024-03-24T17:38:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add diagnostics for type constructor patterns","shortMessageHtmlLink":"add diagnostics for type constructor patterns"}},{"before":"8f77139f6bf06932dbe9e363d310846f83cd71d2","after":"383370322eb1d07933b6064245e0ac6d25fb95cb","ref":"refs/heads/wip/patterns","pushedAt":"2024-03-24T16:25:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"codegen for pattern deconstruction","shortMessageHtmlLink":"codegen for pattern deconstruction"}},{"before":"3eb1e77ff7dc86a5e15cd8ca3647a8a37f1db12a","after":"8f77139f6bf06932dbe9e363d310846f83cd71d2","ref":"refs/heads/wip/patterns","pushedAt":"2024-03-24T13:26:43.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"add ref pattern","shortMessageHtmlLink":"add ref pattern"}},{"before":"1844f8e38e8db3049ebde293494b910322decee9","after":null,"ref":"refs/heads/wip/recursive-declarations","pushedAt":"2024-03-23T23:17:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"}},{"before":null,"after":"3eb1e77ff7dc86a5e15cd8ca3647a8a37f1db12a","ref":"refs/heads/wip/patterns","pushedAt":"2024-03-23T23:14:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"parse pattern in variable declaration","shortMessageHtmlLink":"parse pattern in variable declaration"}},{"before":"eee7ada61911829a406b629828679bd9b80205e7","after":"41217ae6d9454fbe313698e74e4cafef70766700","ref":"refs/heads/master","pushedAt":"2024-03-23T21:17:47.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"compile type constructors","shortMessageHtmlLink":"compile type constructors"}},{"before":"c92cb886a6825193c046d7f2d63e4a2b9a94874d","after":"eee7ada61911829a406b629828679bd9b80205e7","ref":"refs/heads/master","pushedAt":"2024-03-23T18:18:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"fix incorrect typechecking logic in operation analysis","shortMessageHtmlLink":"fix incorrect typechecking logic in operation analysis"}},{"before":"8335b57380b156a9fba50f21753781f32d1d0ba7","after":"c92cb886a6825193c046d7f2d63e4a2b9a94874d","ref":"refs/heads/master","pushedAt":"2024-03-22T20:45:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"dealias type in type checking for binary operation","shortMessageHtmlLink":"dealias type in type checking for binary operation"}},{"before":"4e16e8f15e74af6c38a2623d0b7446ea0020c2d5","after":"8335b57380b156a9fba50f21753781f32d1d0ba7","ref":"refs/heads/master","pushedAt":"2024-03-22T20:29:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"update example in readme","shortMessageHtmlLink":"update example in readme"}},{"before":"c937601e14bad7a08420c75b256a91c176de7244","after":"4e16e8f15e74af6c38a2623d0b7446ea0020c2d5","ref":"refs/heads/master","pushedAt":"2024-03-22T20:20:04.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"dealias type when matching against types","shortMessageHtmlLink":"dealias type when matching against types"}},{"before":"1844f8e38e8db3049ebde293494b910322decee9","after":"c937601e14bad7a08420c75b256a91c176de7244","ref":"refs/heads/master","pushedAt":"2024-03-21T09:17:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"change 'data' keyword to 'type'","shortMessageHtmlLink":"change 'data' keyword to 'type'"}},{"before":"1424b16b106a9563b64d7bb589c63543d2f22ee6","after":"1844f8e38e8db3049ebde293494b910322decee9","ref":"refs/heads/master","pushedAt":"2024-03-20T23:15:26.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"finish analysis of block-level declarations + tweak infinite size error","shortMessageHtmlLink":"finish analysis of block-level declarations + tweak infinite size error"}},{"before":"2576bf70fa41d9fae2d3d4491558dbf78cccfb10","after":"1844f8e38e8db3049ebde293494b910322decee9","ref":"refs/heads/wip/recursive-declarations","pushedAt":"2024-03-20T22:17:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"catapillie","name":null,"path":"/catapillie","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59423464?s=80&v=4"},"commit":{"message":"finish analysis of block-level declarations + tweak infinite size error","shortMessageHtmlLink":"finish analysis of block-level declarations + tweak infinite size error"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0wNVQxMjowODoxOC4wMDAwMDBazwAAAAQo0aga","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0yMFQyMjoxNzozMS4wMDAwMDBazwAAAAQbJ-Am"}},"title":"Activity · catapillie/mer-proto"}