[{"id":"14773804965","type":"PushEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":1082207515,"name":"hylo-lang/gyb-swift","url":"https://api.github.com/repos/hylo-lang/gyb-swift"},"payload":{"repository_id":1082207515,"push_id":37063691205,"ref":"refs/heads/main","head":"795e95497f737eee6669672b09806e5e08fa3dde","before":"e645d9fa71503996ff1feb6d97551d5c95fdc0d2"},"public":true,"created_at":"2026-07-11T16:42:39Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11655232661","type":"PullRequestEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":1082207515,"name":"hylo-lang/gyb-swift","url":"https://api.github.com/repos/hylo-lang/gyb-swift"},"payload":{"action":"merged","number":6,"pull_request":{"url":"https://api.github.com/repos/hylo-lang/gyb-swift/pulls/6","id":4036099974,"number":6,"head":{"ref":"coverage","sha":"4d2a403cf3f862ca860e775e22676e13e96781e1","repo":{"id":1082207515,"url":"https://api.github.com/repos/hylo-lang/gyb-swift","name":"gyb-swift"}},"base":{"ref":"main","sha":"e645d9fa71503996ff1feb6d97551d5c95fdc0d2","repo":{"id":1082207515,"url":"https://api.github.com/repos/hylo-lang/gyb-swift","name":"gyb-swift"}}}},"public":true,"created_at":"2026-07-11T16:42:38Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"14773357264","type":"PushEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":1082207515,"name":"hylo-lang/gyb-swift","url":"https://api.github.com/repos/hylo-lang/gyb-swift"},"payload":{"repository_id":1082207515,"push_id":37063242286,"ref":"refs/heads/coverage","head":"4d2a403cf3f862ca860e775e22676e13e96781e1","before":"20922988bff395c1a5a4c020c9fa9c24025c27d3"},"public":true,"created_at":"2026-07-11T16:31:56Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11654917813","type":"PullRequestEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":1082207515,"name":"hylo-lang/gyb-swift","url":"https://api.github.com/repos/hylo-lang/gyb-swift"},"payload":{"action":"opened","number":6,"pull_request":{"url":"https://api.github.com/repos/hylo-lang/gyb-swift/pulls/6","id":4036099974,"number":6,"head":{"ref":"coverage","sha":"4d2a403cf3f862ca860e775e22676e13e96781e1","repo":{"id":1082207515,"url":"https://api.github.com/repos/hylo-lang/gyb-swift","name":"gyb-swift"}},"base":{"ref":"main","sha":"e645d9fa71503996ff1feb6d97551d5c95fdc0d2","repo":{"id":1082207515,"url":"https://api.github.com/repos/hylo-lang/gyb-swift","name":"gyb-swift"}}}},"public":true,"created_at":"2026-07-11T16:24:43Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"14773033858","type":"CreateEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":1082207515,"name":"hylo-lang/gyb-swift","url":"https://api.github.com/repos/hylo-lang/gyb-swift"},"payload":{"ref":"coverage","ref_type":"branch","full_ref":"refs/heads/coverage","master_branch":"main","description":"A Swift Version of the Python-based gyb templating tool","pusher_type":"user"},"public":true,"created_at":"2026-07-11T16:24:12Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"14771970151","type":"PushEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":1082207515,"name":"hylo-lang/gyb-swift","url":"https://api.github.com/repos/hylo-lang/gyb-swift"},"payload":{"repository_id":1082207515,"push_id":37061851204,"ref":"refs/heads/main","head":"e645d9fa71503996ff1feb6d97551d5c95fdc0d2","before":"9169af46d3adfa842febd9c77eb9abe8187acc56"},"public":true,"created_at":"2026-07-11T16:00:54Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11654388695","type":"PullRequestEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"opened","number":277,"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/277","id":4036003775,"number":277,"head":{"ref":"CodeCov-YAML-update-hack","sha":"9d703806199576e35b860a8480557160cc90ca66","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"main","sha":"8ee9a3f5508ffbf74684bf9bd716d61a7ac931b8","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-07-11T15:55:15Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"14771705429","type":"CreateEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"ref":"CodeCov-YAML-update-hack","ref_type":"branch","full_ref":"refs/heads/CodeCov-YAML-update-hack","master_branch":"main","description":"The Hylo programming language","pusher_type":"user"},"public":true,"created_at":"2026-07-11T15:55:11Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11653772792","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":585909562,"name":"hylo-lang/vscode-hylo","url":"https://api.github.com/repos/hylo-lang/vscode-hylo"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/17","repository_url":"https://api.github.com/repos/hylo-lang/vscode-hylo","labels_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/17/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/17/comments","events_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/17/events","html_url":"https://github.com/hylo-lang/vscode-hylo/issues/17","id":4862893683,"node_id":"I_kwDOIuxFOs8AAAABIdnecw","number":17,"title":"Crashes","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-07-11T15:20:15Z","updated_at":"2026-07-11T15:20:15Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"”The LSP server crashed 3 times in the last 5 minutes“\n\n```\nActivating Hylo extension in directory /Users/dave/.vscode/extensions/hylo-lang.hylo-0.0.24\nInitializing language server...\nWorking directory: /Users/dave/.vscode/extensions/hylo-lang.hylo-0.0.24, activeDebugSession: undefined, __filename: /Users/dave/.vscode/extensions/hylo-lang.hylo-0.0.24/out/extension.js\nLanguage server configuration: version=latest, autoUpdate=true\n[getInstalledVersion] Couldn't read version from manifest. Error: ENOENT: no such file or directory, open 'dist/manifest.json'\nLanguage server not found. Attempting to obtain version: latest...\n[getInstalledVersion] Couldn't read version from manifest. Error: ENOENT: no such file or directory, open 'dist/manifest.json'\nChecking for release: https://api.github.com/repos/hylo-lang/hylo-language-server/releases/latest, specifiedVersion: latest\n[getInstalledVersion] Couldn't read version from manifest. Error: ENOENT: no such file or directory, open 'dist/manifest.json'\nInstallation of new LSP release required\nlocal version: null\nlatest version: {\n \"id\": 321057285,\n \"name\": \"v0.0.17\",\n \"publishDate\": \"2026-05-12T12:36:17.000Z\"\n}\nDownloading language server from: https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-macos-arm64.tar.zst\nStarting download from: https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-macos-arm64.tar.zst\nDownloading hylo-language-server-macos-arm64.tar.zst (4.45 MB)...\n26%\n56%\n100%\nExtracting LSP archive: /Users/dave/.vscode/extensions/hylo-lang.hylo-0.0.24/dist/hylo-language-server-macos-arm64.tar.zst\nWrite manifest: /Users/dave/.vscode/extensions/hylo-lang.hylo-0.0.24/dist/manifest.json\nRead manifest contents: {\n \"url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/321057285\",\n \"assets_url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/321057285/assets\",\n \"upload_url\": \"https://uploads.github.com/repos/hylo-lang/hylo-language-server/releases/321057285/assets{?name,label}\",\n \"html_url\": \"https://github.com/hylo-lang/hylo-language-server/releases/tag/v0.0.17\",\n \"id\": 321057285,\n \"author\": {\n \"login\": \"github-actions[bot]\",\n \"id\": 41898282,\n \"node_id\": \"MDM6Qm90NDE4OTgyODI=\",\n \"avatar_url\": \"https://avatars.githubusercontent.com/in/15368?v=4\",\n \"gravatar_id\": \"\",\n \"url\": \"https://api.github.com/users/github-actions%5Bbot%5D\",\n \"html_url\": \"https://github.com/apps/github-actions\",\n \"followers_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/followers\",\n \"following_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}\",\n \"gists_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}\",\n \"starred_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}\",\n \"subscriptions_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/subscriptions\",\n \"organizations_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/orgs\",\n \"repos_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/repos\",\n \"events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}\",\n \"received_events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/received_events\",\n \"type\": \"Bot\",\n \"user_view_type\": \"public\",\n \"site_admin\": false\n },\n \"node_id\": \"RE_kwDOQE3sB84TIvIF\",\n \"tag_name\": \"v0.0.17\",\n \"target_commitish\": \"main\",\n \"name\": \"v0.0.17\",\n \"draft\": false,\n \"immutable\": false,\n \"prerelease\": false,\n \"created_at\": \"2026-05-12T09:17:59Z\",\n \"updated_at\": \"2026-05-12T12:36:30Z\",\n \"published_at\": \"2026-05-12T12:36:17Z\",\n \"assets\": [\n {\n \"url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/assets/418256532\",\n \"id\": 418256532,\n \"node_id\": \"RA_kwDOQE3sB84Y7haU\",\n \"name\": \"hylo-language-server-linux-arm64.tar.zst\",\n \"label\": \"\",\n \"uploader\": {\n \"login\": \"github-actions[bot]\",\n \"id\": 41898282,\n \"node_id\": \"MDM6Qm90NDE4OTgyODI=\",\n \"avatar_url\": \"https://avatars.githubusercontent.com/in/15368?v=4\",\n \"gravatar_id\": \"\",\n \"url\": \"https://api.github.com/users/github-actions%5Bbot%5D\",\n \"html_url\": \"https://github.com/apps/github-actions\",\n \"followers_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/followers\",\n \"following_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}\",\n \"gists_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}\",\n \"starred_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}\",\n \"subscriptions_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/subscriptions\",\n \"organizations_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/orgs\",\n \"repos_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/repos\",\n \"events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}\",\n \"received_events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/received_events\",\n \"type\": \"Bot\",\n \"user_view_type\": \"public\",\n \"site_admin\": false\n },\n \"content_type\": \"application/zstd\",\n \"state\": \"uploaded\",\n \"size\": 34952115,\n \"digest\": \"sha256:de803b50a8c94b0f02fe1a8e39d6e7043b02d7c1f5a2d2a3dcff7ccc6b5d997d\",\n \"download_count\": 4,\n \"created_at\": \"2026-05-12T09:55:50Z\",\n \"updated_at\": \"2026-05-12T09:55:53Z\",\n \"browser_download_url\": \"https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-linux-arm64.tar.zst\"\n },\n {\n \"url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/assets/418256460\",\n \"id\": 418256460,\n \"node_id\": \"RA_kwDOQE3sB84Y7hZM\",\n \"name\": \"hylo-language-server-linux-x64.tar.zst\",\n \"label\": \"\",\n \"uploader\": {\n \"login\": \"github-actions[bot]\",\n \"id\": 41898282,\n \"node_id\": \"MDM6Qm90NDE4OTgyODI=\",\n \"avatar_url\": \"https://avatars.githubusercontent.com/in/15368?v=4\",\n \"gravatar_id\": \"\",\n \"url\": \"https://api.github.com/users/github-actions%5Bbot%5D\",\n \"html_url\": \"https://github.com/apps/github-actions\",\n \"followers_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/followers\",\n \"following_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}\",\n \"gists_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}\",\n \"starred_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}\",\n \"subscriptions_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/subscriptions\",\n \"organizations_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/orgs\",\n \"repos_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/repos\",\n \"events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}\",\n \"received_events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/received_events\",\n \"type\": \"Bot\",\n \"user_view_type\": \"public\",\n \"site_admin\": false\n },\n \"content_type\": \"application/zstd\",\n \"state\": \"uploaded\",\n \"size\": 35677625,\n \"digest\": \"sha256:6982c942710c88bba596e3738db0fcb83ae317b3d75bdc10979d9dd3224bc26f\",\n \"download_count\": 43,\n \"created_at\": \"2026-05-12T09:55:40Z\",\n \"updated_at\": \"2026-05-12T09:55:41Z\",\n \"browser_download_url\": \"https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-linux-x64.tar.zst\"\n },\n {\n \"url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/assets/418256445\",\n \"id\": 418256445,\n \"node_id\": \"RA_kwDOQE3sB84Y7hY9\",\n \"name\": \"hylo-language-server-macos-arm64.tar.zst\",\n \"label\": \"\",\n \"uploader\": {\n \"login\": \"github-actions[bot]\",\n \"id\": 41898282,\n \"node_id\": \"MDM6Qm90NDE4OTgyODI=\",\n \"avatar_url\": \"https://avatars.githubusercontent.com/in/15368?v=4\",\n \"gravatar_id\": \"\",\n \"url\": \"https://api.github.com/users/github-actions%5Bbot%5D\",\n \"html_url\": \"https://github.com/apps/github-actions\",\n \"followers_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/followers\",\n \"following_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}\",\n \"gists_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}\",\n \"starred_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}\",\n \"subscriptions_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/subscriptions\",\n \"organizations_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/orgs\",\n \"repos_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/repos\",\n \"events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}\",\n \"received_events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/received_events\",\n \"type\": \"Bot\",\n \"user_view_type\": \"public\",\n \"site_admin\": false\n },\n \"content_type\": \"application/octet-stream\",\n \"state\": \"uploaded\",\n \"size\": 4669356,\n \"digest\": \"sha256:6031fe53300bd203dc5ad67da67269e2e5931fa01be75fd83d302f36458e05c4\",\n \"download_count\": 10,\n \"created_at\": \"2026-05-12T09:55:37Z\",\n \"updated_at\": \"2026-05-12T09:55:38Z\",\n \"browser_download_url\": \"https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-macos-arm64.tar.zst\"\n },\n {\n \"url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/assets/418256449\",\n \"id\": 418256449,\n \"node_id\": \"RA_kwDOQE3sB84Y7hZB\",\n \"name\": \"hylo-language-server-macos-x64.tar.zst\",\n \"label\": \"\",\n \"uploader\": {\n \"login\": \"github-actions[bot]\",\n \"id\": 41898282,\n \"node_id\": \"MDM6Qm90NDE4OTgyODI=\",\n \"avatar_url\": \"https://avatars.githubusercontent.com/in/15368?v=4\",\n \"gravatar_id\": \"\",\n \"url\": \"https://api.github.com/users/github-actions%5Bbot%5D\",\n \"html_url\": \"https://github.com/apps/github-actions\",\n \"followers_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/followers\",\n \"following_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}\",\n \"gists_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}\",\n \"starred_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}\",\n \"subscriptions_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/subscriptions\",\n \"organizations_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/orgs\",\n \"repos_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/repos\",\n \"events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}\",\n \"received_events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/received_events\",\n \"type\": \"Bot\",\n \"user_view_type\": \"public\",\n \"site_admin\": false\n },\n \"content_type\": \"application/octet-stream\",\n \"state\": \"uploaded\",\n \"size\": 4782945,\n \"digest\": \"sha256:206b36ea5af3b38c242d120fe43e19d0d853bb0dfdc05ee5bbf31190e6bcf324\",\n \"download_count\": 3,\n \"created_at\": \"2026-05-12T09:55:38Z\",\n \"updated_at\": \"2026-05-12T09:55:39Z\",\n \"browser_download_url\": \"https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-macos-x64.tar.zst\"\n },\n {\n \"url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/assets/418256497\",\n \"id\": 418256497,\n \"node_id\": \"RA_kwDOQE3sB84Y7hZx\",\n \"name\": \"hylo-language-server-windows-arm64.tar.zst\",\n \"label\": \"\",\n \"uploader\": {\n \"login\": \"github-actions[bot]\",\n \"id\": 41898282,\n \"node_id\": \"MDM6Qm90NDE4OTgyODI=\",\n \"avatar_url\": \"https://avatars.githubusercontent.com/in/15368?v=4\",\n \"gravatar_id\": \"\",\n \"url\": \"https://api.github.com/users/github-actions%5Bbot%5D\",\n \"html_url\": \"https://github.com/apps/github-actions\",\n \"followers_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/followers\",\n \"following_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}\",\n \"gists_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}\",\n \"starred_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}\",\n \"subscriptions_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/subscriptions\",\n \"organizations_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/orgs\",\n \"repos_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/repos\",\n \"events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}\",\n \"received_events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/received_events\",\n \"type\": \"Bot\",\n \"user_view_type\": \"public\",\n \"site_admin\": false\n },\n \"content_type\": \"application/x-compressed\",\n \"state\": \"uploaded\",\n \"size\": 32927963,\n \"digest\": \"sha256:d4df1707a544d9a7e96dd57bf01f36e4b4fc87df30fc393909faf4d51c2fae8d\",\n \"download_count\": 1,\n \"created_at\": \"2026-05-12T09:55:46Z\",\n \"updated_at\": \"2026-05-12T09:55:47Z\",\n \"browser_download_url\": \"https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-windows-arm64.tar.zst\"\n },\n {\n \"url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/releases/assets/418256574\",\n \"id\": 418256574,\n \"node_id\": \"RA_kwDOQE3sB84Y7ha-\",\n \"name\": \"hylo-language-server-windows-x64.tar.zst\",\n \"label\": \"\",\n \"uploader\": {\n \"login\": \"github-actions[bot]\",\n \"id\": 41898282,\n \"node_id\": \"MDM6Qm90NDE4OTgyODI=\",\n \"avatar_url\": \"https://avatars.githubusercontent.com/in/15368?v=4\",\n \"gravatar_id\": \"\",\n \"url\": \"https://api.github.com/users/github-actions%5Bbot%5D\",\n \"html_url\": \"https://github.com/apps/github-actions\",\n \"followers_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/followers\",\n \"following_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}\",\n \"gists_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}\",\n \"starred_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}\",\n \"subscriptions_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/subscriptions\",\n \"organizations_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/orgs\",\n \"repos_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/repos\",\n \"events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}\",\n \"received_events_url\": \"https://api.github.com/users/github-actions%5Bbot%5D/received_events\",\n \"type\": \"Bot\",\n \"user_view_type\": \"public\",\n \"site_admin\": false\n },\n \"content_type\": \"application/x-compressed\",\n \"state\": \"uploaded\",\n \"size\": 33719934,\n \"digest\": \"sha256:2e163bfd7507b718af4aef1c78296c5f2d33acf12d317ab13284d7ae4ebfc9ff\",\n \"download_count\": 5,\n \"created_at\": \"2026-05-12T09:55:56Z\",\n \"updated_at\": \"2026-05-12T09:55:57Z\",\n \"browser_download_url\": \"https://github.com/hylo-lang/hylo-language-server/releases/download/v0.0.17/hylo-language-server-windows-x64.tar.zst\"\n }\n ],\n \"tarball_url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/tarball/v0.0.17\",\n \"zipball_url\": \"https://api.github.com/repos/hylo-lang/hylo-language-server/zipball/v0.0.17\",\n \"body\": \"## What's Changed\\r\\n* Jump to definition, find references, hover by @tothambrus11 in https://github.com/hylo-lang/hylo-language-server/pull/19\\r\\n\\r\\n\\r\\n**Full Changelog**: https://github.com/hylo-lang/hylo-language-server/compare/v0.0.16...v0.0.17\",\n \"mentions_count\": 1\n}\nLSP server executable: /Users/dave/.vscode/extensions/hylo-lang.hylo-0.0.24/dist/hylo-language-server, transport: --stdio\nLanguage server started successfully.\n[Error - 8:19:05 AM] Server process exited with signal SIGTRAP.\n[Info - 8:19:05 AM] Connection to server got closed. Server will restart.\ntrue\n[Info - 8:19:05 AM] Connection to server got closed. Server will restart.\ntrue\n[Error - 8:19:05 AM] Server process exited with signal SIGTRAP.\n[Info - 8:19:06 AM] Connection to server got closed. Server will restart.\ntrue\n[Error - 8:19:06 AM] Server process exited with signal SIGTRAP.\n[Error - 8:19:07 AM] Server process exited with signal SIGTRAP.\n[Info - 8:19:07 AM] Connection to server got closed. Server will restart.\ntrue\n[Error - 8:19:07 AM] The Hylo LSP Extension server crashed 5 times in the last 3 minutes. The server will not be restarted. See the output for more information.\n[Error - 8:19:07 AM] Server process exited with signal SIGTRAP.\n\n```","reactions":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/17/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/17/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-07-11T15:20:15Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11653565875","type":"IssueCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":585909562,"name":"hylo-lang/vscode-hylo","url":"https://api.github.com/repos/hylo-lang/vscode-hylo"},"payload":{"action":"created","issue":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16","repository_url":"https://api.github.com/repos/hylo-lang/vscode-hylo","labels_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/comments","events_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/events","html_url":"https://github.com/hylo-lang/vscode-hylo/issues/16","id":4862830312,"node_id":"I_kwDOIuxFOs8AAAABIdjm6A","number":16,"title":"Type checking error?","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false}],"milestone":null,"comments":3,"created_at":"2026-07-11T15:03:39Z","updated_at":"2026-07-11T16:45:35Z","closed_at":null,"assignee":{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"In [this line](https://github.com/hylo-lang/hylo-new/blob/8ee9a3f5508ffbf74684bf9bd716d61a7ac931b8/StandardLibrary/Sources/Core/Copyable.hylo#L15) the reported problem is\n\n> no implementation of 'copy'\n\n","reactions":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null},"comment":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/comments/4947003572","html_url":"https://github.com/hylo-lang/vscode-hylo/issues/16#issuecomment-4947003572","issue_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16","id":4947003572,"node_id":"IC_kwDOIuxFOs8AAAABJt1ItA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"created_at":"2026-07-11T15:08:22Z","updated_at":"2026-07-11T15:08:22Z","body":"Actually there are 4 errors here\n\n```json\n[{\n\t\"resource\": \"/Users/dave/src/hylo-new/StandardLibrary/Sources/Core/Copyable.hylo\",\n\t\"owner\": \"_generated_diagnostic_collection_name_#2\",\n\t\"severity\": 8,\n\t\"message\": \"no given instance of 'Movable<#!>' in this scope\",\n\t\"startLineNumber\": 15,\n\t\"startColumn\": 8,\n\t\"endLineNumber\": 15,\n\t\"endColumn\": 13,\n\t\"origin\": \"extHost1\"\n},{\n\t\"resource\": \"/Users/dave/src/hylo-new/StandardLibrary/Sources/Core/Copyable.hylo\",\n\t\"owner\": \"_generated_diagnostic_collection_name_#2\",\n\t\"severity\": 8,\n\t\"message\": \"no implementation of 'copy'\",\n\t\"startLineNumber\": 15,\n\t\"startColumn\": 8,\n\t\"endLineNumber\": 15,\n\t\"endColumn\": 13,\n\t\"origin\": \"extHost1\"\n},{\n\t\"resource\": \"/Users/dave/src/hylo-new/StandardLibrary/Sources/Core/Copyable.hylo\",\n\t\"owner\": \"_generated_diagnostic_collection_name_#2\",\n\t\"severity\": 8,\n\t\"message\": \"unary operator '=>' cannot be separated from its operand\",\n\t\"startLineNumber\": 15,\n\t\"startColumn\": 45,\n\t\"endLineNumber\": 15,\n\t\"endColumn\": 47,\n\t\"origin\": \"extHost1\"\n},{\n\t\"resource\": \"/Users/dave/src/hylo-new/StandardLibrary/Sources/Core/Copyable.hylo\",\n\t\"owner\": \"_generated_diagnostic_collection_name_#2\",\n\t\"severity\": 8,\n\t\"message\": \"type '{T, ...U}' has no static member 'prefix=>'\",\n\t\"startLineNumber\": 15,\n\t\"startColumn\": 45,\n\t\"endLineNumber\": 15,\n\t\"endColumn\": 47,\n\t\"origin\": \"extHost1\"\n}]\n```","pin":null,"reactions":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/comments/4947003572/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"performed_via_github_app":null}},"public":true,"created_at":"2026-07-11T15:08:22Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11653492636","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":585909562,"name":"hylo-lang/vscode-hylo","url":"https://api.github.com/repos/hylo-lang/vscode-hylo"},"payload":{"action":"assigned","issue":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16","repository_url":"https://api.github.com/repos/hylo-lang/vscode-hylo","labels_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/comments","events_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/events","html_url":"https://github.com/hylo-lang/vscode-hylo/issues/16","id":4862830312,"node_id":"I_kwDOIuxFOs8AAAABIdjm6A","number":16,"title":"Type checking error?","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false}],"milestone":null,"comments":3,"created_at":"2026-07-11T15:03:39Z","updated_at":"2026-07-11T16:45:35Z","closed_at":null,"assignee":{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"In [this line](https://github.com/hylo-lang/hylo-new/blob/8ee9a3f5508ffbf74684bf9bd716d61a7ac931b8/StandardLibrary/Sources/Core/Copyable.hylo#L15) the reported problem is\n\n> no implementation of 'copy'\n\n","reactions":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null},"assignee":{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false},"assignees":[{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false}]},"public":true,"created_at":"2026-07-11T15:04:13Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11653492632","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":585909562,"name":"hylo-lang/vscode-hylo","url":"https://api.github.com/repos/hylo-lang/vscode-hylo"},"payload":{"action":"assigned","issue":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16","repository_url":"https://api.github.com/repos/hylo-lang/vscode-hylo","labels_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/comments","events_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/events","html_url":"https://github.com/hylo-lang/vscode-hylo/issues/16","id":4862830312,"node_id":"I_kwDOIuxFOs8AAAABIdjm6A","number":16,"title":"Type checking error?","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false}],"milestone":null,"comments":3,"created_at":"2026-07-11T15:03:39Z","updated_at":"2026-07-11T16:45:35Z","closed_at":null,"assignee":{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"In [this line](https://github.com/hylo-lang/hylo-new/blob/8ee9a3f5508ffbf74684bf9bd716d61a7ac931b8/StandardLibrary/Sources/Core/Copyable.hylo#L15) the reported problem is\n\n> no implementation of 'copy'\n\n","reactions":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null},"assignee":{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false},"assignees":[{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false}]},"public":true,"created_at":"2026-07-11T15:04:13Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11653483468","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":585909562,"name":"hylo-lang/vscode-hylo","url":"https://api.github.com/repos/hylo-lang/vscode-hylo"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16","repository_url":"https://api.github.com/repos/hylo-lang/vscode-hylo","labels_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/comments","events_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/events","html_url":"https://github.com/hylo-lang/vscode-hylo/issues/16","id":4862830312,"node_id":"I_kwDOIuxFOs8AAAABIdjm6A","number":16,"title":"Type checking error?","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},{"login":"tothambrus11","id":32463042,"node_id":"MDQ6VXNlcjMyNDYzMDQy","avatar_url":"https://avatars.githubusercontent.com/u/32463042?v=4","gravatar_id":"","url":"https://api.github.com/users/tothambrus11","html_url":"https://github.com/tothambrus11","followers_url":"https://api.github.com/users/tothambrus11/followers","following_url":"https://api.github.com/users/tothambrus11/following{/other_user}","gists_url":"https://api.github.com/users/tothambrus11/gists{/gist_id}","starred_url":"https://api.github.com/users/tothambrus11/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tothambrus11/subscriptions","organizations_url":"https://api.github.com/users/tothambrus11/orgs","repos_url":"https://api.github.com/users/tothambrus11/repos","events_url":"https://api.github.com/users/tothambrus11/events{/privacy}","received_events_url":"https://api.github.com/users/tothambrus11/received_events","type":"User","user_view_type":"public","site_admin":false}],"milestone":null,"comments":3,"created_at":"2026-07-11T15:03:39Z","updated_at":"2026-07-11T16:45:35Z","closed_at":null,"assignee":{"login":"kyouko-taiga","id":4319943,"node_id":"MDQ6VXNlcjQzMTk5NDM=","avatar_url":"https://avatars.githubusercontent.com/u/4319943?v=4","gravatar_id":"","url":"https://api.github.com/users/kyouko-taiga","html_url":"https://github.com/kyouko-taiga","followers_url":"https://api.github.com/users/kyouko-taiga/followers","following_url":"https://api.github.com/users/kyouko-taiga/following{/other_user}","gists_url":"https://api.github.com/users/kyouko-taiga/gists{/gist_id}","starred_url":"https://api.github.com/users/kyouko-taiga/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kyouko-taiga/subscriptions","organizations_url":"https://api.github.com/users/kyouko-taiga/orgs","repos_url":"https://api.github.com/users/kyouko-taiga/repos","events_url":"https://api.github.com/users/kyouko-taiga/events{/privacy}","received_events_url":"https://api.github.com/users/kyouko-taiga/received_events","type":"User","user_view_type":"public","site_admin":false},"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"In [this line](https://github.com/hylo-lang/hylo-new/blob/8ee9a3f5508ffbf74684bf9bd716d61a7ac931b8/StandardLibrary/Sources/Core/Copyable.hylo#L15) the reported problem is\n\n> no implementation of 'copy'\n\n","reactions":{"url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/vscode-hylo/issues/16/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-07-11T15:03:40Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11653262583","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/276","repository_url":"https://api.github.com/repos/hylo-lang/hylo-new","labels_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/276/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/276/comments","events_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/276/events","html_url":"https://github.com/hylo-lang/hylo-new/issues/276","id":4862775184,"node_id":"I_kwDOM9QcgM8AAAABIdgPkA","number":276,"title":"Reconsider fat arrow in conformance declarations","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-07-11T14:51:10Z","updated_at":"2026-07-11T14:51:10Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"> I don't see any subtlety but maybe I'm missing something. Adding the arrow makes me wonder if the parameter list has a different meaning from other contexts, like generic type declarations, where there is no arrow. I don't see anything that justifies an inconsistency. \n\n _Originally posted by @dabrahams in [#194](https://github.com/hylo-lang/hylo-new/issues/194#issuecomment-4877541549)_","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/276/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/276/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-07-11T14:51:11Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11653223296","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":731130244,"name":"hylo-lang/hylo-mode","url":"https://api.github.com/repos/hylo-lang/hylo-mode"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/hylo-mode/issues/1","repository_url":"https://api.github.com/repos/hylo-lang/hylo-mode","labels_url":"https://api.github.com/repos/hylo-lang/hylo-mode/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/hylo-mode/issues/1/comments","events_url":"https://api.github.com/repos/hylo-lang/hylo-mode/issues/1/events","html_url":"https://github.com/hylo-lang/hylo-mode/issues/1","id":4862766746,"node_id":"I_kwDOK5QphM8AAAABIdfumg","number":1,"title":"Needs update for hylo-new","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-07-11T14:48:45Z","updated_at":"2026-07-11T14:48:45Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"[Here's](https://github.com/hylo-lang/hylo-mode/compare/803c2b75b39aba3fb870f8f40ddb15cba24f0a05...hylo-lang:hylo-mode:master) what's been changed since it was swift-mode. We currently need `struct`, for example.","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-mode/issues/1/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/hylo-mode/issues/1/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-07-11T14:48:46Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628746048","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":4674010792,"node_id":"PRR_kwDOM9QcgM8AAAABFpe-qA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4674010792","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4674010792"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270"}},"submitted_at":"2026-07-10T18:23:03Z","updated_at":"2026-07-10T18:23:03Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","id":4029667238,"number":270,"head":{"ref":"interpreter-tests-using-driver","sha":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-07-10T18:23:04Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628745244","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561134028","pull_request_review_id":4674010792,"id":3561134028,"node_id":"PRRC_kwDOM9QcgM7UQpfM","diff_hunk":"@@ -1,87 +1,48 @@\n+import Driver\n import Foundation\n import FrontEnd\n import Interpreter\n \n-/// Execute `p` on interpreter and prints all the instruction executed.\n-private func execute(_ p: Program) throws {\n- var logger = TreePrinter(program: p)\n-\n- var executor = Interpreter(p)\n- while executor.isRunning {\n- print(executor.currentInstruction.show(using: &logger))\n- try executor.step()\n- }\n-}\n-\n-extension URL {\n-\n- /// Runs program at `self` on `Interpreter`.\n- func interpret() async throws {\n- var p = try loadProgramWithStandardLibrary()\n- let m = p.identity(module: \"Main\")!\n-\n- try await p.requireNoError(in: m) { await $0.assignScopes(m) }\n- try p.requireNoError(in: m) { $0.assignTypes(m, loggingInferenceWhere: { _, _ in false }) }\n- try p.requireNoError(in: m) { $0.lower(m) }\n- try p.requireNoError(in: m) { $0.applyTransformationPasses(m) }\n-\n- try execute(p)\n- }\n+extension Program {\n \n- /// Returns `Program` at `self` containing `Main` module alongwith standard library.\n- private func loadProgramWithStandardLibrary() throws -> Program {\n- let s = try SourceFile(contentsOf: self)\n- var p = Program()\n- let m = p.demandModule(\"Main\")\n- p[m].addDependency(Module.standardLibraryName)\n- _ = p[m].addSource(s)\n- return p\n+ /// Returns a program loaded from `u` and lowered for interpretation.\n+ static func loadForInterpretation(from u: URL) async throws -> Program {\n+ var d = Driver(targetSpecification: try .host())\n+ try await d.loadStandardLibrary()\n+ try await d.load(\"Main\", withSourcesAt: u, dependingOnStandardLibrary: true)","path":"Tests/InterpreterTests/Utilities.swift","commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","original_commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"I realize what the calls do. Obviously I don't think they are separate concerns, when you know it's the standard library being loaded, or I wouldn't have written what I wrote.","created_at":"2026-07-10T18:23:03Z","updated_at":"2026-07-10T18:23:03Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#discussion_r3561134028","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561134028"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/270#discussion_r3561134028"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561134028/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"in_reply_to_id":3561096491,"original_position":45,"position":45,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","id":4029667238,"number":270,"head":{"ref":"interpreter-tests-using-driver","sha":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-07-10T18:23:03Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628602957","type":"IssueCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","issue":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/270","repository_url":"https://api.github.com/repos/hylo-lang/hylo-new","labels_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/270/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/270/comments","events_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/270/events","html_url":"https://github.com/hylo-lang/hylo-new/pull/270","id":4855407325,"node_id":"PR_kwDOM9QcgM7wL9em","number":270,"title":"Interpreter tests using driver","user":{"login":"RishabhRD","id":26287448,"node_id":"MDQ6VXNlcjI2Mjg3NDQ4","avatar_url":"https://avatars.githubusercontent.com/u/26287448?v=4","gravatar_id":"","url":"https://api.github.com/users/RishabhRD","html_url":"https://github.com/RishabhRD","followers_url":"https://api.github.com/users/RishabhRD/followers","following_url":"https://api.github.com/users/RishabhRD/following{/other_user}","gists_url":"https://api.github.com/users/RishabhRD/gists{/gist_id}","starred_url":"https://api.github.com/users/RishabhRD/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RishabhRD/subscriptions","organizations_url":"https://api.github.com/users/RishabhRD/orgs","repos_url":"https://api.github.com/users/RishabhRD/repos","events_url":"https://api.github.com/users/RishabhRD/events{/privacy}","received_events_url":"https://api.github.com/users/RishabhRD/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":3,"created_at":"2026-07-10T13:24:18Z","updated_at":"2026-07-10T18:23:03Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"draft":false,"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","html_url":"https://github.com/hylo-lang/hylo-new/pull/270","diff_url":"https://github.com/hylo-lang/hylo-new/pull/270.diff","patch_url":"https://github.com/hylo-lang/hylo-new/pull/270.patch","merged_at":null},"body":"Fixes: #239, #243, #245, #246.\r\n\r\nRegarding #244, it would need some time as @dabrahams pointed [here](https://github.com/hylo-lang/hylo-new/pull/240#discussion_r3530857082), it is early days of interpreter, so we can run very small subset of programs.\r\n\r\nNOTE: The diffs for `Utilities.swift` are little messy as that file is almost completely changed. So, looking at the final updated file without diffs would be more friendly.","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/270/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/270/timeline","performed_via_github_app":null,"state_reason":null},"comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/comments/4938277140","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#issuecomment-4938277140","issue_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/270","id":4938277140,"node_id":"IC_kwDOM9QcgM8AAAABJlghFA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"created_at":"2026-07-10T18:19:10Z","updated_at":"2026-07-10T18:19:10Z","body":"I would rather see one PR per issue; that would certainly make review easier.","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/comments/4938277140/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"performed_via_github_app":null}},"public":true,"created_at":"2026-07-10T18:19:10Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628543900","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":4673973360,"node_id":"PRR_kwDOM9QcgM8AAAABFpcscA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"couple comments. Probably @kyouko-taiga should look","commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","state":"approved","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4673973360","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4673973360"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270"}},"submitted_at":"2026-07-10T18:17:40Z","updated_at":"2026-07-10T18:17:40Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","id":4029667238,"number":270,"head":{"ref":"interpreter-tests-using-driver","sha":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-07-10T18:17:41Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628505593","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":4673966842,"node_id":"PRR_kwDOM9QcgM8AAAABFpcS-g","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4673966842","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4673966842"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270"}},"submitted_at":"2026-07-10T18:16:35Z","updated_at":"2026-07-10T18:16:35Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","id":4029667238,"number":270,"head":{"ref":"interpreter-tests-using-driver","sha":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-07-10T18:16:37Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628504683","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561096491","pull_request_review_id":4673966842,"id":3561096491,"node_id":"PRRC_kwDOM9QcgM7UQgUr","diff_hunk":"@@ -1,87 +1,48 @@\n+import Driver\n import Foundation\n import FrontEnd\n import Interpreter\n \n-/// Execute `p` on interpreter and prints all the instruction executed.\n-private func execute(_ p: Program) throws {\n- var logger = TreePrinter(program: p)\n-\n- var executor = Interpreter(p)\n- while executor.isRunning {\n- print(executor.currentInstruction.show(using: &logger))\n- try executor.step()\n- }\n-}\n-\n-extension URL {\n-\n- /// Runs program at `self` on `Interpreter`.\n- func interpret() async throws {\n- var p = try loadProgramWithStandardLibrary()\n- let m = p.identity(module: \"Main\")!\n-\n- try await p.requireNoError(in: m) { await $0.assignScopes(m) }\n- try p.requireNoError(in: m) { $0.assignTypes(m, loggingInferenceWhere: { _, _ in false }) }\n- try p.requireNoError(in: m) { $0.lower(m) }\n- try p.requireNoError(in: m) { $0.applyTransformationPasses(m) }\n-\n- try execute(p)\n- }\n+extension Program {\n \n- /// Returns `Program` at `self` containing `Main` module alongwith standard library.\n- private func loadProgramWithStandardLibrary() throws -> Program {\n- let s = try SourceFile(contentsOf: self)\n- var p = Program()\n- let m = p.demandModule(\"Main\")\n- p[m].addDependency(Module.standardLibraryName)\n- _ = p[m].addSource(s)\n- return p\n+ /// Returns a program loaded from `u` and lowered for interpretation.\n+ static func loadForInterpretation(from u: URL) async throws -> Program {\n+ var d = Driver(targetSpecification: try .host())\n+ try await d.loadStandardLibrary()\n+ try await d.load(\"Main\", withSourcesAt: u, dependingOnStandardLibrary: true)","path":"Tests/InterpreterTests/Utilities.swift","commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","original_commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"I find it weird that we have to both load the standard library _and_ tell the driver that the program depends on it. One of those _should_ be sufficient.","created_at":"2026-07-10T18:16:35Z","updated_at":"2026-07-10T18:16:35Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#discussion_r3561096491","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561096491"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/270#discussion_r3561096491"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561096491/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":45,"position":45,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","id":4029667238,"number":270,"head":{"ref":"interpreter-tests-using-driver","sha":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-07-10T18:16:35Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628466511","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":4673960840,"node_id":"PRR_kwDOM9QcgM8AAAABFpb7iA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4673960840","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/270#pullrequestreview-4673960840"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270"}},"submitted_at":"2026-07-10T18:15:32Z","updated_at":"2026-07-10T18:15:32Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","id":4029667238,"number":270,"head":{"ref":"interpreter-tests-using-driver","sha":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-07-10T18:15:34Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11628465571","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561091149","pull_request_review_id":4673960840,"id":3561091149,"node_id":"PRRC_kwDOM9QcgM7UQfBN","diff_hunk":"@@ -1,87 +1,48 @@\n+import Driver\n import Foundation\n import FrontEnd\n import Interpreter\n \n-/// Execute `p` on interpreter and prints all the instruction executed.\n-private func execute(_ p: Program) throws {\n- var logger = TreePrinter(program: p)\n-\n- var executor = Interpreter(p)\n- while executor.isRunning {\n- print(executor.currentInstruction.show(using: &logger))\n- try executor.step()\n- }\n-}\n-\n-extension URL {\n-\n- /// Runs program at `self` on `Interpreter`.\n- func interpret() async throws {\n- var p = try loadProgramWithStandardLibrary()\n- let m = p.identity(module: \"Main\")!\n-\n- try await p.requireNoError(in: m) { await $0.assignScopes(m) }\n- try p.requireNoError(in: m) { $0.assignTypes(m, loggingInferenceWhere: { _, _ in false }) }\n- try p.requireNoError(in: m) { $0.lower(m) }\n- try p.requireNoError(in: m) { $0.applyTransformationPasses(m) }\n-\n- try execute(p)\n- }\n+extension Program {\n \n- /// Returns `Program` at `self` containing `Main` module alongwith standard library.\n- private func loadProgramWithStandardLibrary() throws -> Program {\n- let s = try SourceFile(contentsOf: self)\n- var p = Program()\n- let m = p.demandModule(\"Main\")\n- p[m].addDependency(Module.standardLibraryName)\n- _ = p[m].addSource(s)\n- return p\n+ /// Returns a program loaded from `u` and lowered for interpretation.\n+ static func loadForInterpretation(from u: URL) async throws -> Program {","path":"Tests/InterpreterTests/Utilities.swift","commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","original_commit_id":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"`loadForInterpretation(from: someURL)` does not tell me what is expected at that URL. One could imagine a pre-lowered program. I think we want\n\n\n```suggestion\n /// Returns the sources rooted at `r`, lowered for interpretation.\n static func loadForInterpretation(sourceRoot r: URL) async throws -> Program {\n```","created_at":"2026-07-10T18:15:32Z","updated_at":"2026-07-10T18:15:32Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/270#discussion_r3561091149","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561091149"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/270#discussion_r3561091149"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3561091149/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":42,"position":42,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/270","id":4029667238,"number":270,"head":{"ref":"interpreter-tests-using-driver","sha":"29ddc895dabbc103a2d38f50ec86ee44aa8b6281","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-07-10T18:15:32Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11575376968","type":"IssueCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":580189446,"name":"swiftlang/swift-testing","url":"https://api.github.com/repos/swiftlang/swift-testing"},"payload":{"action":"created","issue":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778","repository_url":"https://api.github.com/repos/swiftlang/swift-testing","labels_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/labels{/name}","comments_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/comments","events_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/events","html_url":"https://github.com/swiftlang/swift-testing/issues/1778","id":4823102352,"node_id":"I_kwDOIpT9Bs8AAAABH3qzkA","number":1778,"title":"Improve the example test(s) in README.md","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[{"id":4927147508,"node_id":"LA_kwDOIpT9Bs8AAAABJa5N9A","url":"https://api.github.com/repos/swiftlang/swift-testing/labels/bug","name":"bug","color":"d73a4a","default":true,"description":"🪲 Something isn't working"},{"id":4927147514,"node_id":"LA_kwDOIpT9Bs8AAAABJa5N-g","url":"https://api.github.com/repos/swiftlang/swift-testing/labels/documentation","name":"documentation","color":"0075ca","default":true,"description":"📚 Improvements or additions to documentation"}],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":9,"created_at":"2026-07-06T21:06:02Z","updated_at":"2026-07-09T17:03:08Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":{"id":8935317,"node_id":"IT_kwDOAo1UkM4AiFeV","name":"Bug","description":"An unexpected problem or behavior","color":"red","created_at":"2024-02-01T14:45:54Z","updated_at":"2024-07-26T12:22:11Z","is_enabled":true},"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"### Description\n\nThe example [here](https://developer.apple.com/xcode/swift-testing/) that is supposed to demonstrate its “Clear Expressive API” is confusing as heck.\n\n```swift\n@Test(\"Continents mentioned in videos\", arguments: [\n \"A Beach\",\n \"By the Lake\",\n \"Camping in the Woods\"\n])\nfunc mentionedContinents(videoName: String) async throws {\n let videoLibrary = try await VideoLibrary()\n let video = try #require(await videoLibrary.video(named: videoName))\n #expect(video.mentionedContinents.count <= 3)\n}\n``` \n\nWhat role does `arguments` play? After a long while, I guess they are getting passed as video names. If so, active names like “Fonzy Jumps the Shark” would help clarify that. Lastly, are we really testing that there are fewer than 4 continents mentioned in each video? That's an incredibly implausible test, but if you want to use it, the name of the test should be `“3 or fewer continents mentioned in videos\"`. Otherwise it sounds like its testing that continents are mentioned in videos, which it does not do! A count of zero would pass the test.\n\n### Reproduction\n\n```swift\n\n```\n\n\n### Expected behavior\n\nExample that demonstrates the clarity of the API\n\n### Environment\n\nSwift Package Manager - Swift 6.3.3\n\n### Additional information\n\n_No response_","reactions":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/reactions","total_count":1,"+1":1,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null},"comment":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/comments/4927628538","html_url":"https://github.com/swiftlang/swift-testing/issues/1778#issuecomment-4927628538","issue_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778","id":4927628538,"node_id":"IC_kwDOIpT9Bs8AAAABJbWk-g","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"created_at":"2026-07-09T17:03:08Z","updated_at":"2026-07-09T17:03:08Z","body":"Quoth @grynspan:\n\n> You'll note I haven't closed this issue. We agree we can improve the text and examples here. 🙂\n\nMuch appreciated, along with the lack of a defensive posture!","pin":null,"reactions":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/comments/4927628538/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"performed_via_github_app":null}},"public":true,"created_at":"2026-07-09T17:03:08Z","org":{"id":42816656,"login":"swiftlang","gravatar_id":"","url":"https://api.github.com/orgs/swiftlang","avatar_url":"https://avatars.githubusercontent.com/u/42816656?"}},{"id":"11575231913","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3552852006","pull_request_review_id":4664456290,"id":3552852006,"node_id":"PRRC_kwDOM9QcgM7TxDgm","diff_hunk":"@@ -25,6 +38,17 @@ private struct GlobalFunctionID {\n \n }\n \n+extension Program {\n+\n+ /// Returns first instruction of `f`.\n+ fileprivate func entry(_ f: GlobalFunctionID) -> AnyInstructionIdentity? {\n+ let fn = self[f.module].functions[f.function]\n+ guard let e = fn.entry else { return nil }\n+ return fn.blocks[e].first!","path":"Sources/Interpreter/Interpreter.swift","commit_id":"f63cbc947a79f0398567bc32f2ae6b1ab758c4e6","original_commit_id":"c53cb517b045838c1753e8ff8f8afd093655f669","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"But _should_ the contract be wide?","created_at":"2026-07-09T15:31:10Z","updated_at":"2026-07-09T15:31:10Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/236#discussion_r3552852006","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3552852006"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/236#discussion_r3552852006"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/3552852006/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"in_reply_to_id":3537868025,"original_position":43,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236","id":3987581013,"number":236,"head":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"main","sha":"446ec4bc40aabe2d20c80744c99b5f499d304adc","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-07-09T15:31:10Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11575181137","type":"IssueCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":580189446,"name":"swiftlang/swift-testing","url":"https://api.github.com/repos/swiftlang/swift-testing"},"payload":{"action":"created","issue":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778","repository_url":"https://api.github.com/repos/swiftlang/swift-testing","labels_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/labels{/name}","comments_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/comments","events_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/events","html_url":"https://github.com/swiftlang/swift-testing/issues/1778","id":4823102352,"node_id":"I_kwDOIpT9Bs8AAAABH3qzkA","number":1778,"title":"Improve the example test(s) in README.md","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[{"id":4927147508,"node_id":"LA_kwDOIpT9Bs8AAAABJa5N9A","url":"https://api.github.com/repos/swiftlang/swift-testing/labels/bug","name":"bug","color":"d73a4a","default":true,"description":"🪲 Something isn't working"},{"id":4927147514,"node_id":"LA_kwDOIpT9Bs8AAAABJa5N-g","url":"https://api.github.com/repos/swiftlang/swift-testing/labels/documentation","name":"documentation","color":"0075ca","default":true,"description":"📚 Improvements or additions to documentation"}],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":9,"created_at":"2026-07-06T21:06:02Z","updated_at":"2026-07-09T17:03:08Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":{"id":8935317,"node_id":"IT_kwDOAo1UkM4AiFeV","name":"Bug","description":"An unexpected problem or behavior","color":"red","created_at":"2024-02-01T14:45:54Z","updated_at":"2024-07-26T12:22:11Z","is_enabled":true},"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"### Description\n\nThe example [here](https://developer.apple.com/xcode/swift-testing/) that is supposed to demonstrate its “Clear Expressive API” is confusing as heck.\n\n```swift\n@Test(\"Continents mentioned in videos\", arguments: [\n \"A Beach\",\n \"By the Lake\",\n \"Camping in the Woods\"\n])\nfunc mentionedContinents(videoName: String) async throws {\n let videoLibrary = try await VideoLibrary()\n let video = try #require(await videoLibrary.video(named: videoName))\n #expect(video.mentionedContinents.count <= 3)\n}\n``` \n\nWhat role does `arguments` play? After a long while, I guess they are getting passed as video names. If so, active names like “Fonzy Jumps the Shark” would help clarify that. Lastly, are we really testing that there are fewer than 4 continents mentioned in each video? That's an incredibly implausible test, but if you want to use it, the name of the test should be `“3 or fewer continents mentioned in videos\"`. Otherwise it sounds like its testing that continents are mentioned in videos, which it does not do! A count of zero would pass the test.\n\n### Reproduction\n\n```swift\n\n```\n\n\n### Expected behavior\n\nExample that demonstrates the clarity of the API\n\n### Environment\n\nSwift Package Manager - Swift 6.3.3\n\n### Additional information\n\n_No response_","reactions":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/reactions","total_count":1,"+1":1,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null},"comment":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/comments/4927588902","html_url":"https://github.com/swiftlang/swift-testing/issues/1778#issuecomment-4927588902","issue_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778","id":4927588902,"node_id":"IC_kwDOIpT9Bs8AAAABJbUKJg","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"created_at":"2026-07-09T16:58:20Z","updated_at":"2026-07-09T16:58:20Z","body":"I expected there to be a pathway back from this project to the Apple developer doc people via a radar. Are there no Apple devs on this project?","pin":null,"reactions":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/comments/4927588902/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"performed_via_github_app":null}},"public":true,"created_at":"2026-07-09T16:58:20Z","org":{"id":42816656,"login":"swiftlang","gravatar_id":"","url":"https://api.github.com/orgs/swiftlang","avatar_url":"https://avatars.githubusercontent.com/u/42816656?"}},{"id":"11571409614","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":4664456290,"node_id":"PRR_kwDOM9QcgM8AAAABFgX0Yg","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"c53cb517b045838c1753e8ff8f8afd093655f669","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/236#pullrequestreview-4664456290","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/236#pullrequestreview-4664456290"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236"}},"submitted_at":"2026-07-09T15:31:10Z","updated_at":"2026-07-09T15:31:10Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236","id":3987581013,"number":236,"head":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"main","sha":"446ec4bc40aabe2d20c80744c99b5f499d304adc","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-07-09T15:31:12Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11571295963","type":"CommitCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":611522479,"name":"hylo-lang/Swifty-LLVM","url":"https://api.github.com/repos/hylo-lang/Swifty-LLVM"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/Swifty-LLVM/comments/191829731","html_url":"https://github.com/hylo-lang/Swifty-LLVM/commit/e8aee598042e4ed37da5c758918a6a039dc15beb#r191829731","id":191829731,"node_id":"CC_kwDOJHMXr84Lbxbj","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"position":11,"line":null,"path":"Sources/SwiftyLLVM/Refs.swift","commit_id":"e8aee598042e4ed37da5c758918a6a039dc15beb","created_at":"2026-07-09T15:28:47Z","updated_at":"2026-07-09T15:28:47Z","body":"Why manually implement `!=`s? Doesn't the default implementation work?","reactions":{"url":"https://api.github.com/repos/hylo-lang/Swifty-LLVM/comments/191829731/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0}}},"public":true,"created_at":"2026-07-09T15:28:47Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"11571109691","type":"IssueCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":580189446,"name":"swiftlang/swift-testing","url":"https://api.github.com/repos/swiftlang/swift-testing"},"payload":{"action":"created","issue":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778","repository_url":"https://api.github.com/repos/swiftlang/swift-testing","labels_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/labels{/name}","comments_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/comments","events_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/events","html_url":"https://github.com/swiftlang/swift-testing/issues/1778","id":4823102352,"node_id":"I_kwDOIpT9Bs8AAAABH3qzkA","number":1778,"title":"Improve the example test(s) in README.md","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[{"id":4927147508,"node_id":"LA_kwDOIpT9Bs8AAAABJa5N9A","url":"https://api.github.com/repos/swiftlang/swift-testing/labels/bug","name":"bug","color":"d73a4a","default":true,"description":"🪲 Something isn't working"},{"id":4927147514,"node_id":"LA_kwDOIpT9Bs8AAAABJa5N-g","url":"https://api.github.com/repos/swiftlang/swift-testing/labels/documentation","name":"documentation","color":"0075ca","default":true,"description":"📚 Improvements or additions to documentation"}],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":9,"created_at":"2026-07-06T21:06:02Z","updated_at":"2026-07-09T17:03:08Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":{"id":8935317,"node_id":"IT_kwDOAo1UkM4AiFeV","name":"Bug","description":"An unexpected problem or behavior","color":"red","created_at":"2024-02-01T14:45:54Z","updated_at":"2024-07-26T12:22:11Z","is_enabled":true},"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"### Description\n\nThe example [here](https://developer.apple.com/xcode/swift-testing/) that is supposed to demonstrate its “Clear Expressive API” is confusing as heck.\n\n```swift\n@Test(\"Continents mentioned in videos\", arguments: [\n \"A Beach\",\n \"By the Lake\",\n \"Camping in the Woods\"\n])\nfunc mentionedContinents(videoName: String) async throws {\n let videoLibrary = try await VideoLibrary()\n let video = try #require(await videoLibrary.video(named: videoName))\n #expect(video.mentionedContinents.count <= 3)\n}\n``` \n\nWhat role does `arguments` play? After a long while, I guess they are getting passed as video names. If so, active names like “Fonzy Jumps the Shark” would help clarify that. Lastly, are we really testing that there are fewer than 4 continents mentioned in each video? That's an incredibly implausible test, but if you want to use it, the name of the test should be `“3 or fewer continents mentioned in videos\"`. Otherwise it sounds like its testing that continents are mentioned in videos, which it does not do! A count of zero would pass the test.\n\n### Reproduction\n\n```swift\n\n```\n\n\n### Expected behavior\n\nExample that demonstrates the clarity of the API\n\n### Environment\n\nSwift Package Manager - Swift 6.3.3\n\n### Additional information\n\n_No response_","reactions":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/reactions","total_count":1,"+1":1,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null},"comment":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/comments/4926760784","html_url":"https://github.com/swiftlang/swift-testing/issues/1778#issuecomment-4926760784","issue_url":"https://api.github.com/repos/swiftlang/swift-testing/issues/1778","id":4926760784,"node_id":"IC_kwDOIpT9Bs8AAAABJahnUA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"created_at":"2026-07-09T15:24:51Z","updated_at":"2026-07-09T15:24:51Z","body":"Then the fact that examples seem to imply I need to give a name is a weakness. First show people how simple and clear the library can be to use.\n\nIn fact, given what you've just shown, IMO the existence of the separate name string is a misfeature. ","pin":null,"reactions":{"url":"https://api.github.com/repos/swiftlang/swift-testing/issues/comments/4926760784/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"performed_via_github_app":null}},"public":true,"created_at":"2026-07-09T15:24:51Z","org":{"id":42816656,"login":"swiftlang","gravatar_id":"","url":"https://api.github.com/orgs/swiftlang","avatar_url":"https://avatars.githubusercontent.com/u/42816656?"}},{"id":"11570932717","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":4664369328,"node_id":"PRR_kwDOM9QcgM8AAAABFgSgsA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"eefd649df1690e65e2cf93db5bc0ba7ce9994c16","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/236#pullrequestreview-4664369328","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/236#pullrequestreview-4664369328"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236"}},"submitted_at":"2026-07-09T15:21:08Z","updated_at":"2026-07-09T15:21:08Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/236","id":3987581013,"number":236,"head":{"ref":"interpreter-restructuring","sha":"6764aa77a4671dc8d784063f9fcdad495f062b6e","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"main","sha":"446ec4bc40aabe2d20c80744c99b5f499d304adc","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-07-09T15:21:10Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}}]