{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/ocaml/issues/714","repository_url":"https://api.github.com/repos/ocaml/ocaml","labels_url":"https://api.github.com/repos/ocaml/ocaml/issues/714/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/ocaml/issues/714/comments","events_url":"https://api.github.com/repos/ocaml/ocaml/issues/714/events","html_url":"https://github.com/ocaml/ocaml/pull/714","id":167429794,"number":714,"title":"Prevent warning 59 from triggering on Lazy of constants","user":{"login":"chambart","id":2196625,"avatar_url":"https://avatars.githubusercontent.com/u/2196625?v=3","gravatar_id":"","url":"https://api.github.com/users/chambart","html_url":"https://github.com/chambart","followers_url":"https://api.github.com/users/chambart/followers","following_url":"https://api.github.com/users/chambart/following{/other_user}","gists_url":"https://api.github.com/users/chambart/gists{/gist_id}","starred_url":"https://api.github.com/users/chambart/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chambart/subscriptions","organizations_url":"https://api.github.com/users/chambart/orgs","repos_url":"https://api.github.com/users/chambart/repos","events_url":"https://api.github.com/users/chambart/events{/privacy}","received_events_url":"https://api.github.com/users/chambart/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-07-25T18:10:32Z","updated_at":"2016-07-25T18:33:47Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ocaml/ocaml/pulls/714","html_url":"https://github.com/ocaml/ocaml/pull/714","diff_url":"https://github.com/ocaml/ocaml/pull/714.diff","patch_url":"https://github.com/ocaml/ocaml/pull/714.patch"},"body":"`Lazy.force (lazy (fun x -> x))` was triggering this warning because the\r\ncode generated by Lazy.force modifies its argument in a dead branch.\r\nThis allows to recognize this branch as dead, and eliminate it."},"comment":{"url":"https://api.github.com/repos/ocaml/ocaml/issues/comments/235042715","html_url":"https://github.com/ocaml/ocaml/pull/714#issuecomment-235042715","issue_url":"https://api.github.com/repos/ocaml/ocaml/issues/714","id":235042715,"user":{"login":"lpw25","id":2631210,"avatar_url":"https://avatars.githubusercontent.com/u/2631210?v=3","gravatar_id":"","url":"https://api.github.com/users/lpw25","html_url":"https://github.com/lpw25","followers_url":"https://api.github.com/users/lpw25/followers","following_url":"https://api.github.com/users/lpw25/following{/other_user}","gists_url":"https://api.github.com/users/lpw25/gists{/gist_id}","starred_url":"https://api.github.com/users/lpw25/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lpw25/subscriptions","organizations_url":"https://api.github.com/users/lpw25/orgs","repos_url":"https://api.github.com/users/lpw25/repos","events_url":"https://api.github.com/users/lpw25/events{/privacy}","received_events_url":"https://api.github.com/users/lpw25/received_events","type":"User","site_admin":false},"created_at":"2016-07-25T18:33:47Z","updated_at":"2016-07-25T18:33:47Z","body":"This looks correct to me, but I find the double-checking of the argument approximation for the common cases a bit ugly (checked once inside `potentially_taken_*_switch_branch` and then again in the match statement in `inline_and_simplify.ml`). Couldn't the `potentially_taken_...` functions return something which directly represents how `inline_and_simplify.ml` should handle it."}}
{"actor":{"display_login":"lpw25"}}