{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/1077","labels_url":"https://api.github.com/repos/purescript/purescript/issues/1077/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1077/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/1077/events","html_url":"https://github.com/purescript/purescript/pull/1077","id":70235578,"number":1077,"title":"Simplify unification variables in error messages","user":{"login":"balajirrao","id":193413,"avatar_url":"https://avatars.githubusercontent.com/u/193413?v=3","gravatar_id":"","url":"https://api.github.com/users/balajirrao","html_url":"https://github.com/balajirrao","followers_url":"https://api.github.com/users/balajirrao/followers","following_url":"https://api.github.com/users/balajirrao/following{/other_user}","gists_url":"https://api.github.com/users/balajirrao/gists{/gist_id}","starred_url":"https://api.github.com/users/balajirrao/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/balajirrao/subscriptions","organizations_url":"https://api.github.com/users/balajirrao/orgs","repos_url":"https://api.github.com/users/balajirrao/repos","events_url":"https://api.github.com/users/balajirrao/events{/privacy}","received_events_url":"https://api.github.com/users/balajirrao/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/purescript/purescript/labels/needs%20work","name":"needs work","color":"bfd4f2"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":8,"created_at":"2015-04-22T21:10:15Z","updated_at":"2015-04-25T19:04:32Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/purescript/purescript/pulls/1077","html_url":"https://github.com/purescript/purescript/pull/1077","diff_url":"https://github.com/purescript/purescript/pull/1077.diff","patch_url":"https://github.com/purescript/purescript/pull/1077.patch"},"body":"Unification variables in error messages are renumbered to make\r\nthem more friendly."},"comment":{"url":"https://api.github.com/repos/purescript/purescript/issues/comments/96263943","html_url":"https://github.com/purescript/purescript/pull/1077#issuecomment-96263943","issue_url":"https://api.github.com/repos/purescript/purescript/issues/1077","id":96263943,"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},"created_at":"2015-04-25T19:04:32Z","updated_at":"2015-04-25T19:04:32Z","body":"Looks great! Would you say this is ready to merge now? If so, could you please squash your commits and I'll merge this in:\r\n\r\n```\r\ngit rebase -i purescript/master\r\n...\r\ngit push origin/branch --force\r\n```"}}