{"action":"created","issue":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/143","repository_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals","labels_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/143/labels{/name}","comments_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/143/comments","events_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/143/events","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/143","id":330838478,"node_id":"MDExOlB1bGxSZXF1ZXN0MTkzNzQ5ODA3","number":143,"title":"Remove the * kind syntax","user":{"login":"int-index","id":4061728,"node_id":"MDQ6VXNlcjQwNjE3Mjg=","avatar_url":"https://avatars1.githubusercontent.com/u/4061728?v=4","gravatar_id":"","url":"https://api.github.com/users/int-index","html_url":"https://github.com/int-index","followers_url":"https://api.github.com/users/int-index/followers","following_url":"https://api.github.com/users/int-index/following{/other_user}","gists_url":"https://api.github.com/users/int-index/gists{/gist_id}","starred_url":"https://api.github.com/users/int-index/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/int-index/subscriptions","organizations_url":"https://api.github.com/users/int-index/orgs","repos_url":"https://api.github.com/users/int-index/repos","events_url":"https://api.github.com/users/int-index/events{/privacy}","received_events_url":"https://api.github.com/users/int-index/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":66,"created_at":"2018-06-09T00:46:01Z","updated_at":"2018-06-18T15:46:07Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/pulls/143","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/143","diff_url":"https://github.com/ghc-proposals/ghc-proposals/pull/143.diff","patch_url":"https://github.com/ghc-proposals/ghc-proposals/pull/143.patch"},"body":"The Haskell Report uses `*` to denote the kind of inhabited types. As we move towards DependentHaskell, it is increasingly painful to support this historical choice of name. We propose to slowly and carefully remove this syntactic oddity from the language.\r\n\r\n[Rendered](https://github.com/int-index/ghc-proposals/blob/remove-star-kind/proposals/0000-remove-star-kind.rst)"},"comment":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/comments/398100452","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/143#issuecomment-398100452","issue_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/143","id":398100452,"node_id":"MDEyOklzc3VlQ29tbWVudDM5ODEwMDQ1Mg==","user":{"login":"goldfirere","id":1958003,"node_id":"MDQ6VXNlcjE5NTgwMDM=","avatar_url":"https://avatars3.githubusercontent.com/u/1958003?v=4","gravatar_id":"","url":"https://api.github.com/users/goldfirere","html_url":"https://github.com/goldfirere","followers_url":"https://api.github.com/users/goldfirere/followers","following_url":"https://api.github.com/users/goldfirere/following{/other_user}","gists_url":"https://api.github.com/users/goldfirere/gists{/gist_id}","starred_url":"https://api.github.com/users/goldfirere/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/goldfirere/subscriptions","organizations_url":"https://api.github.com/users/goldfirere/orgs","repos_url":"https://api.github.com/users/goldfirere/repos","events_url":"https://api.github.com/users/goldfirere/events{/privacy}","received_events_url":"https://api.github.com/users/goldfirere/received_events","type":"User","site_admin":false},"created_at":"2018-06-18T15:46:07Z","updated_at":"2018-06-18T15:46:07Z","author_association":"CONTRIBUTOR","body":"I happen to have a recent copy of Hackage on my machine, so I took a look for `★`. Precisely two packages use it to mean `Type`: EsounD (last updated in 2011) and maam (last updated in 2015). No packages use `★` as a binary operator. More packages mention `★` to support GHC's support of this operator than actually use it in earnest.\r\n\r\nSo: we could make `★` into a prefix identifier (instead of its current infix status) without known breakage. But would people start to use it then? I don't know."}}
{"actor":{"display_login":"goldfirere"}}