{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":56918603,"defaultBranch":"master","name":"concat","ownerLogin":"jmanuel1","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-23T12:41:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7255867?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709702193.0","currentOid":""},"activityList":{"items":[{"before":"66a6b94028848d41b2ff031bad6934741cd58572","after":"8bdacaeedcb48eb16efba4d471e5dd018067f0d3","ref":"refs/heads/stubs","pushedAt":"2024-09-07T17:28:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Don't use sequence for multiple commands?","shortMessageHtmlLink":"Don't use sequence for multiple commands?"}},{"before":"4ab282a97790950a771ced06d108071cf2f08961","after":"66a6b94028848d41b2ff031bad6934741cd58572","ref":"refs/heads/stubs","pushedAt":"2024-09-07T17:26:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Make sure to generate coverage.xml and coverage.lcov","shortMessageHtmlLink":"Make sure to generate coverage.xml and coverage.lcov"}},{"before":"a10dbf120adeb0757915d2d7cd797dddcdd9a0ac","after":"4ab282a97790950a771ced06d108071cf2f08961","ref":"refs/heads/stubs","pushedAt":"2024-09-07T17:11:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Update GitHub workflow after removing tox","shortMessageHtmlLink":"Update GitHub workflow after removing tox"}},{"before":"c3b1fa3dcfc845718fdb17918f4747a7e383fed2","after":"a10dbf120adeb0757915d2d7cd797dddcdd9a0ac","ref":"refs/heads/stubs","pushedAt":"2024-09-07T16:59:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Remove remaining module type guessing code and use stubs instead\n\nNow we don't need to import (and execute!) modules imported by Concat \nsource within the type checker.","shortMessageHtmlLink":"Remove remaining module type guessing code and use stubs instead"}},{"before":"00a9217ceeaa9a0f5d96e2ee5434d24327876c89","after":"c3b1fa3dcfc845718fdb17918f4747a7e383fed2","ref":"refs/heads/stubs","pushedAt":"2024-09-03T06:43:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Move as many preamble types as possible to stubs, separate nominal & structural types","shortMessageHtmlLink":"Move as many preamble types as possible to stubs, separate nominal &amp; …"}},{"before":"c411d78369ff1bbe89f844311c93b983978f8f15","after":"00a9217ceeaa9a0f5d96e2ee5434d24327876c89","ref":"refs/heads/stubs","pushedAt":"2024-09-03T05:39:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Clean up imports in __main__","shortMessageHtmlLink":"Clean up imports in __main__"}},{"before":"5bab4da5546ccbee19fd74d6a9e95591e7269c58","after":"c411d78369ff1bbe89f844311c93b983978f8f15","ref":"refs/heads/stubs","pushedAt":"2024-09-03T02:40:59.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Make sure missing stub causes error pointing to import*ing* file","shortMessageHtmlLink":"Make sure missing stub causes error pointing to import*ing* file"}},{"before":"b56be5cd559f418ee0d73b2f5ea49578ae0888f2","after":"5bab4da5546ccbee19fd74d6a9e95591e7269c58","ref":"refs/heads/stubs","pushedAt":"2024-07-21T08:04:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Fix typechecker tests","shortMessageHtmlLink":"Fix typechecker tests"}},{"before":"7b3e02b1f2b5351e74f5b969faa45e739ff71ea7","after":"b56be5cd559f418ee0d73b2f5ea49578ae0888f2","ref":"refs/heads/stubs","pushedAt":"2024-07-21T00:36:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Fail to constrain a bound variable only when it has to be substituted","shortMessageHtmlLink":"Fail to constrain a bound variable only when it has to be substituted"}},{"before":"1d317860a488a8751376eea78e56b0350ad08c4f","after":"7b3e02b1f2b5351e74f5b969faa45e739ff71ea7","ref":"refs/heads/stubs","pushedAt":"2024-07-20T08:24:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Implement subsumption between polytypes using regeneralization\n\nAlso, generic types can now have a type of any kind as the body.","shortMessageHtmlLink":"Implement subsumption between polytypes using regeneralization"}},{"before":"9a11cbf4bfc589f9b946d5da7383ac1e4a443d81","after":"1d317860a488a8751376eea78e56b0350ad08c4f","ref":"refs/heads/stubs","pushedAt":"2024-07-20T03:45:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Provide user-friendly __str__ for kinds","shortMessageHtmlLink":"Provide user-friendly __str__ for kinds"}},{"before":"8b8670e15abd388cc66e2857a526aab0e6e61d3f","after":"9a11cbf4bfc589f9b946d5da7383ac1e4a443d81","ref":"refs/heads/stubs","pushedAt":"2024-07-19T23:51:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Implement kind subtyping","shortMessageHtmlLink":"Implement kind subtyping"}},{"before":"da0b9a6f45211b1b8ed163194647e35aa8d1708a","after":"8b8670e15abd388cc66e2857a526aab0e6e61d3f","ref":"refs/heads/stubs","pushedAt":"2024-06-06T23:55:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Allow some (probably broken) subtyping between type of different arities\n\nI did this to get continuation.cat to typecheck. But I don't want that kind of subtyping anymore.\nIn the future I will use kind polymorphism.","shortMessageHtmlLink":"Allow some (probably broken) subtyping between type of different arities"}},{"before":"44266aa4f28f78ed45bf6382a6e4a4ce9aaf2d3b","after":"da0b9a6f45211b1b8ed163194647e35aa8d1708a","ref":"refs/heads/stubs","pushedAt":"2024-06-06T23:45:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Add cast because type variable failed to be unified","shortMessageHtmlLink":"Add cast because type variable failed to be unified"}},{"before":"ac8816dcb77c34a5061bc0c8f23e9a241082d598","after":"44266aa4f28f78ed45bf6382a6e4a4ce9aaf2d3b","ref":"refs/heads/stubs","pushedAt":"2024-06-06T23:34:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Handle variadic generic type arguments in GenericType","shortMessageHtmlLink":"Handle variadic generic type arguments in GenericType"}},{"before":"85adac8f7c729ef529d4892e0a82eb90fa70db70","after":"ac8816dcb77c34a5061bc0c8f23e9a241082d598","ref":"refs/heads/stubs","pushedAt":"2024-06-06T04:50:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Add verbose flag to print traceback for type errors","shortMessageHtmlLink":"Add verbose flag to print traceback for type errors"}},{"before":"da1b127953c5709b31c3d2505a974ed9df22aea5","after":"85adac8f7c729ef529d4892e0a82eb90fa70db70","ref":"refs/heads/stubs","pushedAt":"2024-06-05T07:43:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Give unrolled Fix the same id as the original type and use ids to compare with object type","shortMessageHtmlLink":"Give unrolled Fix the same id as the original type and use ids to com…"}},{"before":"2b2d811caab7a6760e8e43064d7f805eda3d2610","after":"da1b127953c5709b31c3d2505a974ed9df22aea5","ref":"refs/heads/stubs","pushedAt":"2024-06-04T06:52:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Define get_type_of_attribute in terms of attributes","shortMessageHtmlLink":"Define get_type_of_attribute in terms of attributes"}},{"before":"ef29b5749f46b73f205ec71c9b9ffe746ca179c1","after":"2b2d811caab7a6760e8e43064d7f805eda3d2610","ref":"refs/heads/stubs","pushedAt":"2024-06-04T06:36:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Prevent sequence variables automatically introduced by type sequence AST from entering Python function type args","shortMessageHtmlLink":"Prevent sequence variables automatically introduced by type sequence …"}},{"before":"eefc36ad403e971ee8198d94fcf929300e0dc655","after":"ef29b5749f46b73f205ec71c9b9ffe746ca179c1","ref":"refs/heads/stubs","pushedAt":"2024-06-04T04:46:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Remove type hashing, except for variables","shortMessageHtmlLink":"Remove type hashing, except for variables"}},{"before":"4b5a06c4f54f2f63c3efcc1464b7aa3e105adaf6","after":"eefc36ad403e971ee8198d94fcf929300e0dc655","ref":"refs/heads/stubs","pushedAt":"2024-06-04T04:25:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Try to get test_add_operator_inference to pass again\n\n* Fix type of map\n* Separate fixpoints from ObjectType\n* Don't immediately resolve all forward references\n* Use the integer type defined in stubs\n* Introduce ids for substitution caching\n* Move type error clssses to new module","shortMessageHtmlLink":"Try to get test_add_operator_inference to pass again"}},{"before":"67ed6726602ffe25c03e366bdb595d5032c2dd5b","after":"4b5a06c4f54f2f63c3efcc1464b7aa3e105adaf6","ref":"refs/heads/stubs","pushedAt":"2024-06-01T06:16:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Fix subtyping for object (top) and no_return (bottom)","shortMessageHtmlLink":"Fix subtyping for object (top) and no_return (bottom)"}},{"before":"8d392064e9b425b6d52c03e9a6da392bdf4dac22","after":"67ed6726602ffe25c03e366bdb595d5032c2dd5b","ref":"refs/heads/stubs","pushedAt":"2024-06-01T04:02:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Make notes about type-level lang design","shortMessageHtmlLink":"Make notes about type-level lang design"}},{"before":"a732a09a5da337771fbbacfe73c673a1566960b9","after":"8d392064e9b425b6d52c03e9a6da392bdf4dac22","ref":"refs/heads/stubs","pushedAt":"2024-06-01T03:38:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Trade <= with is_subtype_of","shortMessageHtmlLink":"Trade &lt;= with is_subtype_of"}},{"before":"19fe9ffe73cd0223d648547caa70c080696aaeb7","after":"a732a09a5da337771fbbacfe73c673a1566960b9","ref":"refs/heads/stubs","pushedAt":"2024-06-01T00:45:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Break infinite recursions in subtyping and free variables","shortMessageHtmlLink":"Break infinite recursions in subtyping and free variables"}},{"before":"4aa49aa20908fd0ffa401ddcf290eab350540b85","after":"19fe9ffe73cd0223d648547caa70c080696aaeb7","ref":"refs/heads/stubs","pushedAt":"2024-05-31T07:51:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Add preamble type stubs","shortMessageHtmlLink":"Add preamble type stubs"}},{"before":"4b251be221b5c2eae2f2a258ba82847eab8a4517","after":"4aa49aa20908fd0ffa401ddcf290eab350540b85","ref":"refs/heads/stubs","pushedAt":"2024-05-31T01:25:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Use Python function as argument to cont.map in map_cont","shortMessageHtmlLink":"Use Python function as argument to cont.map in map_cont"}},{"before":"272905c79be7d098b188765f890ad875aabfddd3","after":"4b251be221b5c2eae2f2a258ba82847eab8a4517","ref":"refs/heads/stubs","pushedAt":"2024-05-30T06:29:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Improve .many() error messages by being able to commit to an alternative","shortMessageHtmlLink":"Improve .many() error messages by being able to commit to an alternative"}},{"before":"57c0991cd34501de788c8de0d89d698ae4b6a136","after":"272905c79be7d098b188765f890ad875aabfddd3","ref":"refs/heads/stubs","pushedAt":"2024-05-30T05:18:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Fix parsing in the REPL after adding error tolerance","shortMessageHtmlLink":"Fix parsing in the REPL after adding error tolerance"}},{"before":"333e8160ddf5c3beb19fd105e7268a723dab0530","after":"57c0991cd34501de788c8de0d89d698ae4b6a136","ref":"refs/heads/stubs","pushedAt":"2024-05-30T04:28:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jmanuel1","name":"Jason Manuel","path":"/jmanuel1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7255867?s=80&v=4"},"commit":{"message":"Fix LinkedList.__eq__","shortMessageHtmlLink":"Fix LinkedList.__eq__"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wN1QxNzoyODo0MS4wMDAwMDBazwAAAASvvdZU","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wN1QxNzoyODo0MS4wMDAwMDBazwAAAASvvdZU","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0zMFQwNDoyODoxNC4wMDAwMDBazwAAAARXmqfI"}},"title":"Activity · jmanuel1/concat"}