{"action":"created","issue":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129","repository_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals","labels_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129/labels{/name}","comments_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129/comments","events_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129/events","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129","id":318928491,"number":129,"title":"TypeApplications for Overloaded Literals ","user":{"login":"isovector","id":307223,"avatar_url":"https://avatars3.githubusercontent.com/u/307223?v=4","gravatar_id":"","url":"https://api.github.com/users/isovector","html_url":"https://github.com/isovector","followers_url":"https://api.github.com/users/isovector/followers","following_url":"https://api.github.com/users/isovector/following{/other_user}","gists_url":"https://api.github.com/users/isovector/gists{/gist_id}","starred_url":"https://api.github.com/users/isovector/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/isovector/subscriptions","organizations_url":"https://api.github.com/users/isovector/orgs","repos_url":"https://api.github.com/users/isovector/repos","events_url":"https://api.github.com/users/isovector/events{/privacy}","received_events_url":"https://api.github.com/users/isovector/received_events","type":"User","site_admin":false},"labels":[{"id":499369114,"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/labels/Pending%20committee%20review","name":"Pending committee review","color":"c5def5","default":false}],"state":"closed","locked":false,"assignee":{"login":"nomeata","id":148037,"avatar_url":"https://avatars2.githubusercontent.com/u/148037?v=4","gravatar_id":"","url":"https://api.github.com/users/nomeata","html_url":"https://github.com/nomeata","followers_url":"https://api.github.com/users/nomeata/followers","following_url":"https://api.github.com/users/nomeata/following{/other_user}","gists_url":"https://api.github.com/users/nomeata/gists{/gist_id}","starred_url":"https://api.github.com/users/nomeata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nomeata/subscriptions","organizations_url":"https://api.github.com/users/nomeata/orgs","repos_url":"https://api.github.com/users/nomeata/repos","events_url":"https://api.github.com/users/nomeata/events{/privacy}","received_events_url":"https://api.github.com/users/nomeata/received_events","type":"User","site_admin":false},"assignees":[{"login":"nomeata","id":148037,"avatar_url":"https://avatars2.githubusercontent.com/u/148037?v=4","gravatar_id":"","url":"https://api.github.com/users/nomeata","html_url":"https://github.com/nomeata","followers_url":"https://api.github.com/users/nomeata/followers","following_url":"https://api.github.com/users/nomeata/following{/other_user}","gists_url":"https://api.github.com/users/nomeata/gists{/gist_id}","starred_url":"https://api.github.com/users/nomeata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nomeata/subscriptions","organizations_url":"https://api.github.com/users/nomeata/orgs","repos_url":"https://api.github.com/users/nomeata/repos","events_url":"https://api.github.com/users/nomeata/events{/privacy}","received_events_url":"https://api.github.com/users/nomeata/received_events","type":"User","site_admin":false}],"milestone":null,"comments":32,"created_at":"2018-04-30T15:18:38Z","updated_at":"2018-05-14T22:36:50Z","closed_at":"2018-05-14T22:36:50Z","author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/pulls/129","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129","diff_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129.diff","patch_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129.patch"},"body":"[Rendered](https://github.com/isovector/ghc-proposals/blob/type-apps/proposals/0000-type-apply-literals.rst)\r\n\r\n[Reddit discussion](https://www.reddit.com/r/haskell/comments/8g083q/ghc_proposal_typeapplications_for_overloaded/)\r\n\r\nCurrently, types are unable to be applied to overloaded literals via `TypeApplications`. This proposal slightly changes the behavior of applied types in the presence of overloaded literals allowing us to do so."},"comment":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/comments/388984885","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129#issuecomment-388984885","issue_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129","id":388984885,"user":{"login":"nomeata","id":148037,"avatar_url":"https://avatars2.githubusercontent.com/u/148037?v=4","gravatar_id":"","url":"https://api.github.com/users/nomeata","html_url":"https://github.com/nomeata","followers_url":"https://api.github.com/users/nomeata/followers","following_url":"https://api.github.com/users/nomeata/following{/other_user}","gists_url":"https://api.github.com/users/nomeata/gists{/gist_id}","starred_url":"https://api.github.com/users/nomeata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nomeata/subscriptions","organizations_url":"https://api.github.com/users/nomeata/orgs","repos_url":"https://api.github.com/users/nomeata/repos","events_url":"https://api.github.com/users/nomeata/events{/privacy}","received_events_url":"https://api.github.com/users/nomeata/received_events","type":"User","site_admin":false},"created_at":"2018-05-14T22:36:50Z","updated_at":"2018-05-14T22:36:50Z","author_association":"CONTRIBUTOR","body":"Unfortunately, the committee found this proposal unconvincing: The motivation that `:t 5` lets one believe that one can use `TypeApplications` here is not the full picture; only `:t +v 5` lets you know if you can use type application: With `-fprint-explicit-foralls`,\r\n```\r\nλ> :t +v 5\r\n5 :: forall {p}. Num p => p\r\n```\r\nThe appearance of the braces in the output means that 5 is not available for visible type application (the variable p is *inferred*). So if there's any unexpected behavior in the current implementation, that's due to ill-informed expectations, not misbehavior.\r\n\r\nAlso, the the committee found that the proposal had to jump through too many hoops to get the desired effect, and that having to write `(5 :: Int)` instead of `5 @Int` is not painful enough to warrant that.\r\n\r\nIt was pointed out that [this idea](https://mail.haskell.org/pipermail/ghc-steering-committee/2018-May/000541.html) might allow us to simply give `fromInteger` the right, shuffled type, which could be a way foward to having this feature without much ado.\r\n\r\nIn any case, thanks for your contributions!"}}
{"actor":{"display_login":"nomeata"}}