{"action":"created","issue":{"url":"https://api.github.com/repos/joelburget/pigment/issues/21","labels_url":"https://api.github.com/repos/joelburget/pigment/issues/21/labels{/name}","comments_url":"https://api.github.com/repos/joelburget/pigment/issues/21/comments","events_url":"https://api.github.com/repos/joelburget/pigment/issues/21/events","html_url":"https://github.com/joelburget/pigment/issues/21","id":68966412,"number":21,"title":"rework error machinery","user":{"login":"joelburget","id":310981,"avatar_url":"https://avatars.githubusercontent.com/u/310981?v=3","gravatar_id":"","url":"https://api.github.com/users/joelburget","html_url":"https://github.com/joelburget","followers_url":"https://api.github.com/users/joelburget/followers","following_url":"https://api.github.com/users/joelburget/following{/other_user}","gists_url":"https://api.github.com/users/joelburget/gists{/gist_id}","starred_url":"https://api.github.com/users/joelburget/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joelburget/subscriptions","organizations_url":"https://api.github.com/users/joelburget/orgs","repos_url":"https://api.github.com/users/joelburget/repos","events_url":"https://api.github.com/users/joelburget/events{/privacy}","received_events_url":"https://api.github.com/users/joelburget/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/joelburget/pigment/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/joelburget/pigment/labels/help%20wanted","name":"help wanted","color":"159818"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-04-16T17:00:22Z","updated_at":"2015-04-16T20:47:21Z","closed_at":null,"body":"Most of this is defined in `Evidences/Tm.lhs`, under the *Error Stack* header, but there's also some important stuff in `Cochon/Error.lhs`.\r\n\r\nHere are the problems I'd like to solve:\r\n\r\n* I keep seeing this message:\r\n\r\n        Module ‘Control.Monad.Error’ is deprecated:\r\n          Use Control.Monad.Except instead\r\n\r\n  I've halfheartly tried to make it go away a couple times. There's a shortage of information available on this deprecation / how to upgrade.\r\n\r\n* The documentation on errors is lacking, to say the least.\r\n* Error handling should be reworked in terms of React rather than pretty-printing.\r\n* I'm not confident error handling works entirely as intended. I think better documentation (clearing up the intended semantics) would help this point immensely."},"comment":{"url":"https://api.github.com/repos/joelburget/pigment/issues/comments/93836191","html_url":"https://github.com/joelburget/pigment/issues/21#issuecomment-93836191","issue_url":"https://api.github.com/repos/joelburget/pigment/issues/21","id":93836191,"user":{"login":"joelburget","id":310981,"avatar_url":"https://avatars.githubusercontent.com/u/310981?v=3","gravatar_id":"","url":"https://api.github.com/users/joelburget","html_url":"https://github.com/joelburget","followers_url":"https://api.github.com/users/joelburget/followers","following_url":"https://api.github.com/users/joelburget/following{/other_user}","gists_url":"https://api.github.com/users/joelburget/gists{/gist_id}","starred_url":"https://api.github.com/users/joelburget/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joelburget/subscriptions","organizations_url":"https://api.github.com/users/joelburget/orgs","repos_url":"https://api.github.com/users/joelburget/repos","events_url":"https://api.github.com/users/joelburget/events{/privacy}","received_events_url":"https://api.github.com/users/joelburget/received_events","type":"User","site_admin":false},"created_at":"2015-04-16T20:47:21Z","updated_at":"2015-04-16T20:47:21Z","body":"Also see `ProofState.lhs`"}}