{"action":"created","issue":{"url":"https://api.github.com/repos/SpartanRefactoring/spartan-refactoring/issues/119","repository_url":"https://api.github.com/repos/SpartanRefactoring/spartan-refactoring","labels_url":"https://api.github.com/repos/SpartanRefactoring/spartan-refactoring/issues/119/labels{/name}","comments_url":"https://api.github.com/repos/SpartanRefactoring/spartan-refactoring/issues/119/comments","events_url":"https://api.github.com/repos/SpartanRefactoring/spartan-refactoring/issues/119/events","html_url":"https://github.com/SpartanRefactoring/spartan-refactoring/issues/119","id":174946709,"number":119,"title":"Down inference of type:","user":{"login":"yossigil","id":12775400,"avatar_url":"https://avatars.githubusercontent.com/u/12775400?v=3","gravatar_id":"","url":"https://api.github.com/users/yossigil","html_url":"https://github.com/yossigil","followers_url":"https://api.github.com/users/yossigil/followers","following_url":"https://api.github.com/users/yossigil/following{/other_user}","gists_url":"https://api.github.com/users/yossigil/gists{/gist_id}","starred_url":"https://api.github.com/users/yossigil/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yossigil/subscriptions","organizations_url":"https://api.github.com/users/yossigil/orgs","repos_url":"https://api.github.com/users/yossigil/repos","events_url":"https://api.github.com/users/yossigil/events{/privacy}","received_events_url":"https://api.github.com/users/yossigil/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"NivShalmon","id":18422810,"avatar_url":"https://avatars.githubusercontent.com/u/18422810?v=3","gravatar_id":"","url":"https://api.github.com/users/NivShalmon","html_url":"https://github.com/NivShalmon","followers_url":"https://api.github.com/users/NivShalmon/followers","following_url":"https://api.github.com/users/NivShalmon/following{/other_user}","gists_url":"https://api.github.com/users/NivShalmon/gists{/gist_id}","starred_url":"https://api.github.com/users/NivShalmon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NivShalmon/subscriptions","organizations_url":"https://api.github.com/users/NivShalmon/orgs","repos_url":"https://api.github.com/users/NivShalmon/repos","events_url":"https://api.github.com/users/NivShalmon/events{/privacy}","received_events_url":"https://api.github.com/users/NivShalmon/received_events","type":"User","site_admin":false},"assignees":[{"login":"NivShalmon","id":18422810,"avatar_url":"https://avatars.githubusercontent.com/u/18422810?v=3","gravatar_id":"","url":"https://api.github.com/users/NivShalmon","html_url":"https://github.com/NivShalmon","followers_url":"https://api.github.com/users/NivShalmon/followers","following_url":"https://api.github.com/users/NivShalmon/following{/other_user}","gists_url":"https://api.github.com/users/NivShalmon/gists{/gist_id}","starred_url":"https://api.github.com/users/NivShalmon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NivShalmon/subscriptions","organizations_url":"https://api.github.com/users/NivShalmon/orgs","repos_url":"https://api.github.com/users/NivShalmon/repos","events_url":"https://api.github.com/users/NivShalmon/events{/privacy}","received_events_url":"https://api.github.com/users/NivShalmon/received_events","type":"User","site_admin":false},{"login":"dormaayan","id":19957447,"avatar_url":"https://avatars.githubusercontent.com/u/19957447?v=3","gravatar_id":"","url":"https://api.github.com/users/dormaayan","html_url":"https://github.com/dormaayan","followers_url":"https://api.github.com/users/dormaayan/followers","following_url":"https://api.github.com/users/dormaayan/following{/other_user}","gists_url":"https://api.github.com/users/dormaayan/gists{/gist_id}","starred_url":"https://api.github.com/users/dormaayan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dormaayan/subscriptions","organizations_url":"https://api.github.com/users/dormaayan/orgs","repos_url":"https://api.github.com/users/dormaayan/repos","events_url":"https://api.github.com/users/dormaayan/events{/privacy}","received_events_url":"https://api.github.com/users/dormaayan/received_events","type":"User","site_admin":false}],"milestone":null,"comments":12,"created_at":"2016-09-04T12:31:10Z","updated_at":"2016-09-06T15:44:10Z","closed_at":null,"body":"if (a&b) tells you that a and b are integral types, whereas up analysis would tell you that \r\nthey are either boolean or integral. Same for '(a+b)*c'. If you just analyze a+b, you know that they are either strings or numeric. But when you see *c, you know that they must be numeric.\r\nSee #94 "},"comment":{"url":"https://api.github.com/repos/SpartanRefactoring/spartan-refactoring/issues/comments/244993978","html_url":"https://github.com/SpartanRefactoring/spartan-refactoring/issues/119#issuecomment-244993978","issue_url":"https://api.github.com/repos/SpartanRefactoring/spartan-refactoring/issues/119","id":244993978,"user":{"login":"NivShalmon","id":18422810,"avatar_url":"https://avatars.githubusercontent.com/u/18422810?v=3","gravatar_id":"","url":"https://api.github.com/users/NivShalmon","html_url":"https://github.com/NivShalmon","followers_url":"https://api.github.com/users/NivShalmon/followers","following_url":"https://api.github.com/users/NivShalmon/following{/other_user}","gists_url":"https://api.github.com/users/NivShalmon/gists{/gist_id}","starred_url":"https://api.github.com/users/NivShalmon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NivShalmon/subscriptions","organizations_url":"https://api.github.com/users/NivShalmon/orgs","repos_url":"https://api.github.com/users/NivShalmon/repos","events_url":"https://api.github.com/users/NivShalmon/events{/privacy}","received_events_url":"https://api.github.com/users/NivShalmon/received_events","type":"User","site_admin":false},"created_at":"2016-09-06T15:44:10Z","updated_at":"2016-09-06T15:44:10Z","body":"I'm running back into the visibility issue. The interface type has a lot of methods (both static and non-static) that shouldn't be visible to the client. A specific issue right now is with prudent. If a version of prudnet diffrent than prudent(Expression) is called directly by the user, the type property will not be checked or stored in the Expression it is called on.\r\n@yossigil Do you have any idea how we can hide type's methods? I can't think of any elegant way to do it."}}
{"actor":{"display_login":"NivShalmon"}}