{"action":"created","issue":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/156","repository_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals","labels_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/156/labels{/name}","comments_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/156/comments","events_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/156/events","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/156","id":343123222,"node_id":"MDExOlB1bGxSZXF1ZXN0MjAyODYxNDY1","number":156,"title":"Improved Type Error Messages","user":{"login":"NadineTheBean","id":29757481,"node_id":"MDQ6VXNlcjI5NzU3NDgx","avatar_url":"https://avatars3.githubusercontent.com/u/29757481?v=4","gravatar_id":"","url":"https://api.github.com/users/NadineTheBean","html_url":"https://github.com/NadineTheBean","followers_url":"https://api.github.com/users/NadineTheBean/followers","following_url":"https://api.github.com/users/NadineTheBean/following{/other_user}","gists_url":"https://api.github.com/users/NadineTheBean/gists{/gist_id}","starred_url":"https://api.github.com/users/NadineTheBean/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NadineTheBean/subscriptions","organizations_url":"https://api.github.com/users/NadineTheBean/orgs","repos_url":"https://api.github.com/users/NadineTheBean/repos","events_url":"https://api.github.com/users/NadineTheBean/events{/privacy}","received_events_url":"https://api.github.com/users/NadineTheBean/received_events","type":"User","site_admin":false},"labels":[{"id":511370806,"node_id":"MDU6TGFiZWw1MTEzNzA4MDY=","url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/labels/Out-of-scope","name":"Out-of-scope","color":"fef2c0","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":25,"created_at":"2018-07-20T14:12:48Z","updated_at":"2018-07-29T00:33:20Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/pulls/156","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/156","diff_url":"https://github.com/ghc-proposals/ghc-proposals/pull/156.diff","patch_url":"https://github.com/ghc-proposals/ghc-proposals/pull/156.patch"},"body":"[Rendered](https://github.com/NadineTheBean/ghc-proposals/blob/master/proposals/0000-typeerrormessages.rst)"},"comment":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/comments/408643758","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/156#issuecomment-408643758","issue_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/156","id":408643758,"node_id":"MDEyOklzc3VlQ29tbWVudDQwODY0Mzc1OA==","user":{"login":"mgsloan","id":22570,"node_id":"MDQ6VXNlcjIyNTcw","avatar_url":"https://avatars2.githubusercontent.com/u/22570?v=4","gravatar_id":"","url":"https://api.github.com/users/mgsloan","html_url":"https://github.com/mgsloan","followers_url":"https://api.github.com/users/mgsloan/followers","following_url":"https://api.github.com/users/mgsloan/following{/other_user}","gists_url":"https://api.github.com/users/mgsloan/gists{/gist_id}","starred_url":"https://api.github.com/users/mgsloan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mgsloan/subscriptions","organizations_url":"https://api.github.com/users/mgsloan/orgs","repos_url":"https://api.github.com/users/mgsloan/repos","events_url":"https://api.github.com/users/mgsloan/events{/privacy}","received_events_url":"https://api.github.com/users/mgsloan/received_events","type":"User","site_admin":false},"created_at":"2018-07-29T00:33:20Z","updated_at":"2018-07-29T00:33:20Z","author_association":"NONE","body":"I think I like `expected` better than `wanted`.  But `found` seems much better than `actual`.  How about:\r\n\r\n```\r\n     * Expected type ‘String’ but found type ‘Bool’\r\n    |\r\n 57 | example1 xs = True\r\n    |               ^^^^\r\n```\r\n\r\nIf the types are long, use `[E]` / `[F]`, I like that:\r\n\r\n```\r\n     * Expected type [E] but found type [F]\r\n       [E] Proxy \"This is a rather large expected type, don't you think?\"\r\n       [F] Proxy \"One can be small\"  \r\n    |\r\n 57 | example1 xs = True\r\n    |               ^^^^\r\n```\r\nNot sure if the prettyprinter supports alternate forms when there's a horizontal overflow, but this is what you'd get in that case."}}
{"actor":{"display_login":"mgsloan"}}