{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":75982258,"defaultBranch":"dev","name":"koka","ownerLogin":"koka-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-12-08T23:00:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/24441365?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724093944.0","currentOid":""},"activityList":{"items":[{"before":"a979e1c7c2bc4ded5e1e8e0cdc56150fce37f797","after":"b65030e7f8a9a0e0455b367e7c91726df3eda552","ref":"refs/heads/dev","pushedAt":"2024-09-20T01:28:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"fix doc formatting (issue #546)","shortMessageHtmlLink":"fix doc formatting (issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2331645749\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/546\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/546/hovercard\" href=\"https://github.com/koka-lang/koka/issues/546\">#546</a>)"}},{"before":"8da3feabf33aaee1a0121aef30d44b2f8a353e49","after":"a979e1c7c2bc4ded5e1e8e0cdc56150fce37f797","ref":"refs/heads/dev","pushedAt":"2024-09-20T00:54:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"add malloc_usable_size for WASI and EMSCRIPTEN (issue #579)","shortMessageHtmlLink":"add malloc_usable_size for WASI and EMSCRIPTEN (issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2535744313\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/579\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/579/hovercard\" href=\"https://github.com/koka-lang/koka/issues/579\">#579</a>)"}},{"before":"352733791f6f2eb65291e254ecc91f6f0f26bef1","after":"8da3feabf33aaee1a0121aef30d44b2f8a353e49","ref":"refs/heads/dev","pushedAt":"2024-09-20T00:43:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"allow operator id's in fields (issue #557)","shortMessageHtmlLink":"allow operator id's in fields (issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2363216114\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/557\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/557/hovercard\" href=\"https://github.com/koka-lang/koka/issues/557\">#557</a>)"}},{"before":"a9d90110ef2af0349081be7c5c14be7356b8233b","after":"352733791f6f2eb65291e254ecc91f6f0f26bef1","ref":"refs/heads/dev","pushedAt":"2024-09-19T21:31:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"add learn/basic to all samples","shortMessageHtmlLink":"add learn/basic to all samples"}},{"before":"08af0fb18bc14cac114de0658bfff56748cc889e","after":"a9d90110ef2af0349081be7c5c14be7356b8233b","ref":"refs/heads/dev","pushedAt":"2024-09-19T20:50:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"add all samples to the test suite","shortMessageHtmlLink":"add all samples to the test suite"}},{"before":"c4dd0245c1cb53b91a2d607e39e1aabd32811a17","after":"b280601d8de721e4a4cb86579a0df7134a29aced","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T05:37:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"update docs","shortMessageHtmlLink":"update docs"}},{"before":"b3e5ebd800511697fa9b27260f2a0be0d16a1c5e","after":"c4dd0245c1cb53b91a2d607e39e1aabd32811a17","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T05:35:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"update docs with better highlights","shortMessageHtmlLink":"update docs with better highlights"}},{"before":"efc67178ff106d0f32de3f7dfa96608317ac2b45","after":"08af0fb18bc14cac114de0658bfff56748cc889e","ref":"refs/heads/dev","pushedAt":"2024-09-19T05:33:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"improve syntax hightlighting, improve docs","shortMessageHtmlLink":"improve syntax hightlighting, improve docs"}},{"before":"0147b5852cc9421424254119c47f80c00c607c6b","after":"efc67178ff106d0f32de3f7dfa96608317ac2b45","ref":"refs/heads/dev","pushedAt":"2024-09-19T01:20:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"upgrade to clang-cl 18.1.8 on Windows (possible fix for issue #568)","shortMessageHtmlLink":"upgrade to clang-cl 18.1.8 on Windows (possible fix for issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2447262904\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/568\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/568/hovercard\" href=\"https://github.com/koka-lang/koka/issues/568\">#568</a>)"}},{"before":"f05b93c14dcdfbefc18eb3484d31cb4b087e5c44","after":"0147b5852cc9421424254119c47f80c00c607c6b","ref":"refs/heads/dev","pushedAt":"2024-09-19T00:12:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"when debug extension is enabled in vscode, use the socket interface so `trace` messages show up in the stderr output","shortMessageHtmlLink":"when debug extension is enabled in vscode, use the socket interface s…"}},{"before":"1b952e004ec456bd02940d2e76bae462cf61c352","after":"f05b93c14dcdfbefc18eb3484d31cb4b087e5c44","ref":"refs/heads/dev","pushedAt":"2024-09-18T22:56:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"potential fix for importing modules when evaluation a main function","shortMessageHtmlLink":"potential fix for importing modules when evaluation a main function"}},{"before":"48a33410568f8cdab56d8ef313d32c30fe5d8330","after":"1b952e004ec456bd02940d2e76bae462cf61c352","ref":"refs/heads/dev","pushedAt":"2024-09-18T22:23:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"put all parseFip behind a try (issue #399)","shortMessageHtmlLink":"put all parseFip behind a try (issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2052209000\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/399\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/399/hovercard\" href=\"https://github.com/koka-lang/koka/issues/399\">#399</a>)"}},{"before":"747a568ec963b49d890842ede94adb58ee2e79d0","after":"48a33410568f8cdab56d8ef313d32c30fe5d8330","ref":"refs/heads/dev","pushedAt":"2024-09-18T19:05:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"fix non-exhaustive pattern match","shortMessageHtmlLink":"fix non-exhaustive pattern match"}},{"before":"61f61f2a3947d98e0d7a9167a18b961b01200bb4","after":"747a568ec963b49d890842ede94adb58ee2e79d0","ref":"refs/heads/dev","pushedAt":"2024-09-18T04:40:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"fix issue #360 by revising how protect-prompts work","shortMessageHtmlLink":"fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1899837668\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/360\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/360/hovercard\" href=\"https://github.com/koka-lang/koka/issues/360\">#360</a> by revising how protect-prompts work"}},{"before":"27a1d2f6ed57321baf7655d3373c19b2429b7d3c","after":"61f61f2a3947d98e0d7a9167a18b961b01200bb4","ref":"refs/heads/dev","pushedAt":"2024-09-18T03:24:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"remove traces","shortMessageHtmlLink":"remove traces"}},{"before":"8b03d270ee9bb3388d65036bbf2f49fe476f76ce","after":"27a1d2f6ed57321baf7655d3373c19b2429b7d3c","ref":"refs/heads/dev","pushedAt":"2024-09-18T03:22:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"fix issue #564; missing substitution in assumedTp, and missing check for polymorphic values with an effect","shortMessageHtmlLink":"fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2423911783\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/564\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/564/hovercard\" href=\"https://github.com/koka-lang/koka/issues/564\">#564</a>; missing substitution in assumedTp, and missing check …"}},{"before":"cce7cc1317430346cfc68ac8a81999813c18d4f6","after":"8b03d270ee9bb3388d65036bbf2f49fe476f76ce","ref":"refs/heads/dev","pushedAt":"2024-09-17T23:59:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"add more overload test","shortMessageHtmlLink":"add more overload test"}},{"before":"3efe5f0506b27604f803bedaf0ba1fe0a10a5f76","after":"cce7cc1317430346cfc68ac8a81999813c18d4f6","ref":"refs/heads/dev","pushedAt":"2024-09-15T23:50:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"rename samples/syntax to samples/learn","shortMessageHtmlLink":"rename samples/syntax to samples/learn"}},{"before":"287b8e8db856883a8559b5c5340cce500e747931","after":"b3e5ebd800511697fa9b27260f2a0be0d16a1c5e","ref":"refs/heads/gh-pages","pushedAt":"2024-09-15T22:07:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"update docs","shortMessageHtmlLink":"update docs"}},{"before":"75b5a53f3e5238b9a577fc803300a3b575587468","after":"3efe5f0506b27604f803bedaf0ba1fe0a10a5f76","ref":"refs/heads/dev","pushedAt":"2024-09-15T22:06:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"rename break to breakon","shortMessageHtmlLink":"rename break to breakon"}},{"before":"417252b7450582cf74435c65fbe8bf5ee5fdc9bc","after":"75b5a53f3e5238b9a577fc803300a3b575587468","ref":"refs/heads/dev","pushedAt":"2024-09-15T21:55:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"add test file for issue #564","shortMessageHtmlLink":"add test file for issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2423911783\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/564\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/564/hovercard\" href=\"https://github.com/koka-lang/koka/issues/564\">#564</a>"}},{"before":"e307534182482e8c9f6dce4d22a1478d4a8aca6d","after":"417252b7450582cf74435c65fbe8bf5ee5fdc9bc","ref":"refs/heads/dev","pushedAt":"2024-09-15T20:36:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"update language spec with latest changes","shortMessageHtmlLink":"update language spec with latest changes"}},{"before":"a30efb42ca3bd109a16428750785556ae2bf7096","after":"e307534182482e8c9f6dce4d22a1478d4a8aca6d","ref":"refs/heads/dev","pushedAt":"2024-09-15T17:23:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"update parser flex/yacc spec; add applier syntax 'm.zero.()'","shortMessageHtmlLink":"update parser flex/yacc spec; add applier syntax 'm.zero.()'"}},{"before":"c5ac0228eacd85813a2e5e1be24ac7b1fb76df8c","after":"a30efb42ca3bd109a16428750785556ae2bf7096","ref":"refs/heads/dev","pushedAt":"2024-09-15T00:32:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"possible fix for the dreaded kind-mismatch error; when generalizing we always use fresh bound variables such that type variables of different flavours will never share the same ID","shortMessageHtmlLink":"possible fix for the dreaded kind-mismatch error; when generalizing w…"}},{"before":"8d4c92c1895b6a6e46f09afa70abefe1f98468b0","after":"c5ac0228eacd85813a2e5e1be24ac7b1fb76df8c","ref":"refs/heads/dev","pushedAt":"2024-09-13T04:37:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"small edits","shortMessageHtmlLink":"small edits"}},{"before":"30f205460e39a0df7f4636ce32cae5c6f6d5327a","after":"8d4c92c1895b6a6e46f09afa70abefe1f98468b0","ref":"refs/heads/dev","pushedAt":"2024-09-13T03:54:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"Merge branch 'dev' of https://github.com/koka-lang/koka into dev","shortMessageHtmlLink":"Merge branch 'dev' of <a href=\"https://github.com/koka-lang/koka\">https://github.com/koka-lang/koka</a> into dev"}},{"before":"34ce4223fe6382d8dfbec49c9cf859721711de75","after":"30f205460e39a0df7f4636ce32cae5c6f6d5327a","ref":"refs/heads/dev","pushedAt":"2024-09-13T00:22:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"Merge pull request #569 from oconnor0/improve-distro-detect\n\nhandle `/etc/*-release` being a directory, not just a file","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2449840566\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/569\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/koka-lang/koka/pull/569/hovercard\" href=\"https://github.com/koka-lang/koka/pull/569\">#569</a> from oconnor0/improve-distro-detect"}},{"before":"1369d3bb6fa53860a7eb0cb6f107ded3207f24ef","after":"34ce4223fe6382d8dfbec49c9cf859721711de75","ref":"refs/heads/dev","pushedAt":"2024-09-13T00:19:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"Merge pull request #575 from kyepskee/patch-1\n\nVariable _host should be exported","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2491600355\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/575\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/koka-lang/koka/pull/575/hovercard\" href=\"https://github.com/koka-lang/koka/pull/575\">#575</a> from kyepskee/patch-1"}},{"before":"c5795196a8f542a37f442296a5662dd5b4452bca","after":"1369d3bb6fa53860a7eb0cb6f107ded3207f24ef","ref":"refs/heads/dev","pushedAt":"2024-09-13T00:13:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"fix issue #509; added extra check that the inferred effect matches the injected effect","shortMessageHtmlLink":"fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2261447132\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koka-lang/koka/issues/509\" data-hovercard-type=\"issue\" data-hovercard-url=\"/koka-lang/koka/issues/509/hovercard\" href=\"https://github.com/koka-lang/koka/issues/509\">#509</a>; added extra check that the inferred effect matches th…"}},{"before":"81a8af2173e1b037631ffd92c881596e707a0a38","after":"c5795196a8f542a37f442296a5662dd5b4452bca","ref":"refs/heads/dev","pushedAt":"2024-09-12T22:07:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daanx","name":"Daan","path":"/daanx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2171100?s=80&v=4"},"commit":{"message":"fast creation of a vector from a list (as used for example in evidence vectors)","shortMessageHtmlLink":"fast creation of a vector from a list (as used for example in evidenc…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEu3WthgA","startCursor":null,"endCursor":null}},"title":"Activity · koka-lang/koka"}