{"action":"closed","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/2173","repository_url":"https://api.github.com/repos/purescript/purescript","labels_url":"https://api.github.com/repos/purescript/purescript/issues/2173/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/2173/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/2173/events","html_url":"https://github.com/purescript/purescript/issues/2173","id":157537328,"number":2173,"title":"Programmable Type Errors for Values","user":{"login":"paf31","id":630306,"avatar_url":"https://avatars.githubusercontent.com/u/630306?v=3","gravatar_id":"","url":"https://api.github.com/users/paf31","html_url":"https://github.com/paf31","followers_url":"https://api.github.com/users/paf31/followers","following_url":"https://api.github.com/users/paf31/following{/other_user}","gists_url":"https://api.github.com/users/paf31/gists{/gist_id}","starred_url":"https://api.github.com/users/paf31/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paf31/subscriptions","organizations_url":"https://api.github.com/users/paf31/orgs","repos_url":"https://api.github.com/users/paf31/repos","events_url":"https://api.github.com/users/paf31/events{/privacy}","received_events_url":"https://api.github.com/users/paf31/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/purescript/purescript/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/purescript/purescript/labels/error-message","name":"error-message","color":"f7c6c7"},{"url":"https://api.github.com/repos/purescript/purescript/labels/typechecker","name":"typechecker","color":"009800"}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/purescript/purescript/milestones/8","html_url":"https://github.com/purescript/purescript/milestones/Ideas","labels_url":"https://api.github.com/repos/purescript/purescript/milestones/8/labels","id":714450,"number":8,"title":"Ideas","description":"Ideas which may or may not be implemented, for discussion.","creator":{"login":"paf31","id":630306,"avatar_url":"https://avatars.githubusercontent.com/u/630306?v=3","gravatar_id":"","url":"https://api.github.com/users/paf31","html_url":"https://github.com/paf31","followers_url":"https://api.github.com/users/paf31/followers","following_url":"https://api.github.com/users/paf31/following{/other_user}","gists_url":"https://api.github.com/users/paf31/gists{/gist_id}","starred_url":"https://api.github.com/users/paf31/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paf31/subscriptions","organizations_url":"https://api.github.com/users/paf31/orgs","repos_url":"https://api.github.com/users/paf31/repos","events_url":"https://api.github.com/users/paf31/events{/privacy}","received_events_url":"https://api.github.com/users/paf31/received_events","type":"User","site_admin":false},"open_issues":29,"closed_issues":100,"state":"open","created_at":"2014-07-08T20:33:33Z","updated_at":"2016-09-25T00:36:56Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2016-05-30T17:33:32Z","updated_at":"2016-09-25T00:36:56Z","closed_at":"2016-09-25T00:36:56Z","body":"cc @AppShipIt @jbrownson \r\n\r\nThis is to track the discussion over programmable type errors for values, as opposed to constraint-based errors.\r\n\r\nE.g. we want to be able to give a good error message for things like `\"Hello\" + \" World\"`, where the `Fail` class might not be the best approach. @AppShipIt has suggested providing versions of functions with specialized types and error messages.\r\n\r\nSee #2155 for more information."}}
{"actor":{"display_login":"paf31"}}