{"action":"created","issue":{"url":"https://api.github.com/repos/keean/zenscript/issues/18","repository_url":"https://api.github.com/repos/keean/zenscript","labels_url":"https://api.github.com/repos/keean/zenscript/issues/18/labels{/name}","comments_url":"https://api.github.com/repos/keean/zenscript/issues/18/comments","events_url":"https://api.github.com/repos/keean/zenscript/issues/18/events","html_url":"https://github.com/keean/zenscript/issues/18","id":179470231,"number":18,"title":"Compiler Implementation","user":{"login":"keean","id":508384,"avatar_url":"https://avatars.githubusercontent.com/u/508384?v=3","gravatar_id":"","url":"https://api.github.com/users/keean","html_url":"https://github.com/keean","followers_url":"https://api.github.com/users/keean/followers","following_url":"https://api.github.com/users/keean/following{/other_user}","gists_url":"https://api.github.com/users/keean/gists{/gist_id}","starred_url":"https://api.github.com/users/keean/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/keean/subscriptions","organizations_url":"https://api.github.com/users/keean/orgs","repos_url":"https://api.github.com/users/keean/repos","events_url":"https://api.github.com/users/keean/events{/privacy}","received_events_url":"https://api.github.com/users/keean/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":273,"created_at":"2016-09-27T11:43:37Z","updated_at":"2016-10-18T06:58:16Z","closed_at":null,"body":"Discussion about the ongoing implementation of the compiler."},"comment":{"url":"https://api.github.com/repos/keean/zenscript/issues/comments/254423120","html_url":"https://github.com/keean/zenscript/issues/18#issuecomment-254423120","issue_url":"https://api.github.com/repos/keean/zenscript/issues/18","id":254423120,"user":{"login":"shelby3","id":247731,"avatar_url":"https://avatars.githubusercontent.com/u/247731?v=3","gravatar_id":"","url":"https://api.github.com/users/shelby3","html_url":"https://github.com/shelby3","followers_url":"https://api.github.com/users/shelby3/followers","following_url":"https://api.github.com/users/shelby3/following{/other_user}","gists_url":"https://api.github.com/users/shelby3/gists{/gist_id}","starred_url":"https://api.github.com/users/shelby3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shelby3/subscriptions","organizations_url":"https://api.github.com/users/shelby3/orgs","repos_url":"https://api.github.com/users/shelby3/repos","events_url":"https://api.github.com/users/shelby3/events{/privacy}","received_events_url":"https://api.github.com/users/shelby3/received_events","type":"User","site_admin":false},"created_at":"2016-10-18T06:58:16Z","updated_at":"2016-10-18T06:58:16Z","body":"> You cannot just introduce a type variable on the right hand side without existential quantification. So I don't at all get what you are trying to write here, as I presume you don't want existential quantification, but if not, what?\r\n\r\nThat is my point. You can't do that. Which we already agreed that isn't legal. Which is why we need subsumption in order to write the type with an `A` instead of `B`."}}
{"actor":{"display_login":"shelby3"}}