{"action":"created","issue":{"url":"https://api.github.com/repos/WebAssembly/design/issues/736","repository_url":"https://api.github.com/repos/WebAssembly/design","labels_url":"https://api.github.com/repos/WebAssembly/design/issues/736/labels{/name}","comments_url":"https://api.github.com/repos/WebAssembly/design/issues/736/comments","events_url":"https://api.github.com/repos/WebAssembly/design/issues/736/events","html_url":"https://github.com/WebAssembly/design/issues/736","id":168708764,"number":736,"title":"Understanding the post-drop block/br type system","user":{"login":"kripken","id":173661,"avatar_url":"https://avatars.githubusercontent.com/u/173661?v=3","gravatar_id":"","url":"https://api.github.com/users/kripken","html_url":"https://github.com/kripken","followers_url":"https://api.github.com/users/kripken/followers","following_url":"https://api.github.com/users/kripken/following{/other_user}","gists_url":"https://api.github.com/users/kripken/gists{/gist_id}","starred_url":"https://api.github.com/users/kripken/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kripken/subscriptions","organizations_url":"https://api.github.com/users/kripken/orgs","repos_url":"https://api.github.com/users/kripken/repos","events_url":"https://api.github.com/users/kripken/events{/privacy}","received_events_url":"https://api.github.com/users/kripken/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-08-01T18:22:35Z","updated_at":"2016-08-01T21:07:25Z","closed_at":null,"body":"Looks like the drop changes in 0xc change the block/br type system significantly. I've been trying to figure out what's going on from the new spec tests, but can't seem to. Is this documented somewhere?\r\n\r\nFor example, one source of puzzlement is that this should be invalid\r\n\r\n````\r\n(block $block1\r\n  (br $block1\r\n    (unreachable)\r\n  )\r\n) \r\n````\r\n\r\nIntuitively that seems like it should be valid, as no value is sent to the block? So I can only guess it is invalid because the type of unreachable is unacceptable here. Yet, on the other hand this should be valid,\r\n\r\n````\r\n(block $block1\r\n  (br $block1\r\n    (br $block0\r\n      (i32.const 8)\r\n    )\r\n  )\r\n)\r\n````\r\n\r\nSo somehow the type of `br` is different from the type of `unreachable`? That seems odd as both halt control flow.\r\n"},"comment":{"url":"https://api.github.com/repos/WebAssembly/design/issues/comments/236708049","html_url":"https://github.com/WebAssembly/design/issues/736#issuecomment-236708049","issue_url":"https://api.github.com/repos/WebAssembly/design/issues/736","id":236708049,"user":{"login":"kripken","id":173661,"avatar_url":"https://avatars.githubusercontent.com/u/173661?v=3","gravatar_id":"","url":"https://api.github.com/users/kripken","html_url":"https://github.com/kripken","followers_url":"https://api.github.com/users/kripken/followers","following_url":"https://api.github.com/users/kripken/following{/other_user}","gists_url":"https://api.github.com/users/kripken/gists{/gist_id}","starred_url":"https://api.github.com/users/kripken/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kripken/subscriptions","organizations_url":"https://api.github.com/users/kripken/orgs","repos_url":"https://api.github.com/users/kripken/repos","events_url":"https://api.github.com/users/kripken/events{/privacy}","received_events_url":"https://api.github.com/users/kripken/received_events","type":"User","site_admin":false},"created_at":"2016-08-01T21:07:25Z","updated_at":"2016-08-01T21:07:25Z","body":"Which is identical to the spec repo's branch of the same name."}}
{"actor":{"display_login":"kripken"}}