{"action":"created","issue":{"url":"https://api.github.com/repos/puffnfresh/wartremover/issues/165","labels_url":"https://api.github.com/repos/puffnfresh/wartremover/issues/165/labels{/name}","comments_url":"https://api.github.com/repos/puffnfresh/wartremover/issues/165/comments","events_url":"https://api.github.com/repos/puffnfresh/wartremover/issues/165/events","html_url":"https://github.com/puffnfresh/wartremover/pull/165","id":74106280,"number":165,"title":"Eliminate try/catch in hasWartAnnotation.","user":{"login":"ChrisNeveu","id":1002726,"avatar_url":"https://avatars.githubusercontent.com/u/1002726?v=3","gravatar_id":"","url":"https://api.github.com/users/ChrisNeveu","html_url":"https://github.com/ChrisNeveu","followers_url":"https://api.github.com/users/ChrisNeveu/followers","following_url":"https://api.github.com/users/ChrisNeveu/following{/other_user}","gists_url":"https://api.github.com/users/ChrisNeveu/gists{/gist_id}","starred_url":"https://api.github.com/users/ChrisNeveu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChrisNeveu/subscriptions","organizations_url":"https://api.github.com/users/ChrisNeveu/orgs","repos_url":"https://api.github.com/users/ChrisNeveu/repos","events_url":"https://api.github.com/users/ChrisNeveu/events{/privacy}","received_events_url":"https://api.github.com/users/ChrisNeveu/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-05-07T19:51:50Z","updated_at":"2015-05-07T20:16:21Z","closed_at":"2015-05-07T20:16:19Z","pull_request":{"url":"https://api.github.com/repos/puffnfresh/wartremover/pulls/165","html_url":"https://github.com/puffnfresh/wartremover/pull/165","diff_url":"https://github.com/puffnfresh/wartremover/pull/165.diff","patch_url":"https://github.com/puffnfresh/wartremover/pull/165.patch"},"body":"@puffnfresh This PR is intended to address https://github.com/puffnfresh/wartremover/issues/164. I don't have a big project to test this against at the moment but running Wartremover on my TBox project with `allBut(Wart.Any, Wart.Nothing, Wart.NonUnitStatements, Wart.AsInstanceOf)` I saw big improvements in the speed of `hasWartAnnoation`.\r\n\r\n### Before\r\n![haswartannotationbefore1](https://cloud.githubusercontent.com/assets/1002726/7524546/ce16cc0c-f4d0-11e4-81a0-59fa897fa2ad.png)\r\n### After\r\n![haswartannotationafter1](https://cloud.githubusercontent.com/assets/1002726/7524557/d3d4bfd2-f4d0-11e4-82f0-ca98445b1ecc.png)\r\n"},"comment":{"url":"https://api.github.com/repos/puffnfresh/wartremover/issues/comments/100004694","html_url":"https://github.com/puffnfresh/wartremover/pull/165#issuecomment-100004694","issue_url":"https://api.github.com/repos/puffnfresh/wartremover/issues/165","id":100004694,"user":{"login":"puffnfresh","id":37715,"avatar_url":"https://avatars.githubusercontent.com/u/37715?v=3","gravatar_id":"","url":"https://api.github.com/users/puffnfresh","html_url":"https://github.com/puffnfresh","followers_url":"https://api.github.com/users/puffnfresh/followers","following_url":"https://api.github.com/users/puffnfresh/following{/other_user}","gists_url":"https://api.github.com/users/puffnfresh/gists{/gist_id}","starred_url":"https://api.github.com/users/puffnfresh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/puffnfresh/subscriptions","organizations_url":"https://api.github.com/users/puffnfresh/orgs","repos_url":"https://api.github.com/users/puffnfresh/repos","events_url":"https://api.github.com/users/puffnfresh/events{/privacy}","received_events_url":"https://api.github.com/users/puffnfresh/received_events","type":"User","site_admin":false},"created_at":"2015-05-07T20:16:21Z","updated_at":"2015-05-07T20:16:21Z","body":"Brilliant!"}}