{"action":"created","issue":{"url":"https://api.github.com/repos/WebAssembly/design/issues/278","labels_url":"https://api.github.com/repos/WebAssembly/design/issues/278/labels{/name}","comments_url":"https://api.github.com/repos/WebAssembly/design/issues/278/comments","events_url":"https://api.github.com/repos/WebAssembly/design/issues/278/events","html_url":"https://github.com/WebAssembly/design/pull/278","id":96670481,"number":278,"title":"Flesh out calls, indirect calls, and function pointers.","user":{"login":"sunfishcode","id":4503403,"avatar_url":"https://avatars.githubusercontent.com/u/4503403?v=3","gravatar_id":"","url":"https://api.github.com/users/sunfishcode","html_url":"https://github.com/sunfishcode","followers_url":"https://api.github.com/users/sunfishcode/followers","following_url":"https://api.github.com/users/sunfishcode/following{/other_user}","gists_url":"https://api.github.com/users/sunfishcode/gists{/gist_id}","starred_url":"https://api.github.com/users/sunfishcode/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sunfishcode/subscriptions","organizations_url":"https://api.github.com/users/sunfishcode/orgs","repos_url":"https://api.github.com/users/sunfishcode/repos","events_url":"https://api.github.com/users/sunfishcode/events{/privacy}","received_events_url":"https://api.github.com/users/sunfishcode/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":15,"created_at":"2015-07-22T21:32:57Z","updated_at":"2015-08-14T14:30:45Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/WebAssembly/design/pulls/278","html_url":"https://github.com/WebAssembly/design/pull/278","diff_url":"https://github.com/WebAssembly/design/pull/278.diff","patch_url":"https://github.com/WebAssembly/design/pull/278.patch"},"body":"The function pointer type and its operations (conversions, comparisons)\r\nwere previously only implied. This patch documents them like regular\r\ntypes and operations.\r\n\r\nIt also lays the groundwork for a future with multiple-return-value\r\nfunctions. This is done by eliminating the `void` type and defining\r\nreturn types as a sequence. In the MVP, the sequence can have at most\r\none value."},"comment":{"url":"https://api.github.com/repos/WebAssembly/design/issues/comments/131123510","html_url":"https://github.com/WebAssembly/design/pull/278#issuecomment-131123510","issue_url":"https://api.github.com/repos/WebAssembly/design/issues/278","id":131123510,"user":{"login":"sunfishcode","id":4503403,"avatar_url":"https://avatars.githubusercontent.com/u/4503403?v=3","gravatar_id":"","url":"https://api.github.com/users/sunfishcode","html_url":"https://github.com/sunfishcode","followers_url":"https://api.github.com/users/sunfishcode/followers","following_url":"https://api.github.com/users/sunfishcode/following{/other_user}","gists_url":"https://api.github.com/users/sunfishcode/gists{/gist_id}","starred_url":"https://api.github.com/users/sunfishcode/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sunfishcode/subscriptions","organizations_url":"https://api.github.com/users/sunfishcode/orgs","repos_url":"https://api.github.com/users/sunfishcode/repos","events_url":"https://api.github.com/users/sunfishcode/events{/privacy}","received_events_url":"https://api.github.com/users/sunfishcode/received_events","type":"User","site_admin":false},"created_at":"2015-08-14T14:30:45Z","updated_at":"2015-08-14T14:30:45Z","body":"@lukewagner Imho, that's not questionably legal, that's seriously illegal. I don't want to penalize everyone just to optimize for that case. C compilers wishing to support that can always just be conservative.\r\n\r\nIf we agree that signature-parameterized types are something we'll be ok with long-term anyway, what are the downsides to just doing that in the MVP? We can figure out the vtable/etc. optimization parts after the MVP."}}