{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/1289","labels_url":"https://api.github.com/repos/purescript/purescript/issues/1289/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1289/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/1289/events","html_url":"https://github.com/purescript/purescript/issues/1289","id":96031548,"number":1289,"title":"Overlapping patterns","user":{"login":"garyb","id":693642,"avatar_url":"https://avatars.githubusercontent.com/u/693642?v=3","gravatar_id":"","url":"https://api.github.com/users/garyb","html_url":"https://github.com/garyb","followers_url":"https://api.github.com/users/garyb/followers","following_url":"https://api.github.com/users/garyb/following{/other_user}","gists_url":"https://api.github.com/users/garyb/gists{/gist_id}","starred_url":"https://api.github.com/users/garyb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/garyb/subscriptions","organizations_url":"https://api.github.com/users/garyb/orgs","repos_url":"https://api.github.com/users/garyb/repos","events_url":"https://api.github.com/users/garyb/events{/privacy}","received_events_url":"https://api.github.com/users/garyb/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/purescript/purescript/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/purescript/purescript/milestones/11","html_url":"https://github.com/purescript/purescript/milestones/0.8.0","labels_url":"https://api.github.com/repos/purescript/purescript/milestones/11/labels","id":1073621,"number":11,"title":"0.8.0","description":"","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":62,"closed_issues":14,"state":"open","created_at":"2015-04-18T23:12:02Z","updated_at":"2015-07-30T10:27:44Z","due_on":null,"closed_at":null},"comments":5,"created_at":"2015-07-20T10:11:13Z","updated_at":"2015-07-30T19:45:37Z","closed_at":null,"body":"Now we have the exhaustivity checker it would be nice to warn when there are overlapping patterns too."},"comment":{"url":"https://api.github.com/repos/purescript/purescript/issues/comments/126452536","html_url":"https://github.com/purescript/purescript/issues/1289#issuecomment-126452536","issue_url":"https://api.github.com/repos/purescript/purescript/issues/1289","id":126452536,"user":{"login":"nicodelpiano","id":5914822,"avatar_url":"https://avatars.githubusercontent.com/u/5914822?v=3","gravatar_id":"","url":"https://api.github.com/users/nicodelpiano","html_url":"https://github.com/nicodelpiano","followers_url":"https://api.github.com/users/nicodelpiano/followers","following_url":"https://api.github.com/users/nicodelpiano/following{/other_user}","gists_url":"https://api.github.com/users/nicodelpiano/gists{/gist_id}","starred_url":"https://api.github.com/users/nicodelpiano/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nicodelpiano/subscriptions","organizations_url":"https://api.github.com/users/nicodelpiano/orgs","repos_url":"https://api.github.com/users/nicodelpiano/repos","events_url":"https://api.github.com/users/nicodelpiano/events{/privacy}","received_events_url":"https://api.github.com/users/nicodelpiano/received_events","type":"User","site_admin":false},"created_at":"2015-07-30T19:45:37Z","updated_at":"2015-07-30T19:45:37Z","body":"This can be closed."}}