{"action":"opened","issue":{"url":"https://api.github.com/repos/wyvernlang/wyvern/issues/138","repository_url":"https://api.github.com/repos/wyvernlang/wyvern","labels_url":"https://api.github.com/repos/wyvernlang/wyvern/issues/138/labels{/name}","comments_url":"https://api.github.com/repos/wyvernlang/wyvern/issues/138/comments","events_url":"https://api.github.com/repos/wyvernlang/wyvern/issues/138/events","html_url":"https://github.com/wyvernlang/wyvern/issues/138","id":183257351,"number":138,"title":"Setter methods generate type error","user":{"login":"mplamann","id":207116,"avatar_url":"https://avatars.githubusercontent.com/u/207116?v=3","gravatar_id":"","url":"https://api.github.com/users/mplamann","html_url":"https://github.com/mplamann","followers_url":"https://api.github.com/users/mplamann/followers","following_url":"https://api.github.com/users/mplamann/following{/other_user}","gists_url":"https://api.github.com/users/mplamann/gists{/gist_id}","starred_url":"https://api.github.com/users/mplamann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mplamann/subscriptions","organizations_url":"https://api.github.com/users/mplamann/orgs","repos_url":"https://api.github.com/users/mplamann/repos","events_url":"https://api.github.com/users/mplamann/events{/privacy}","received_events_url":"https://api.github.com/users/mplamann/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-10-16T09:21:52Z","updated_at":"2016-10-16T09:21:52Z","closed_at":null,"body":"As of commit 12d80, the following Wyvern code no longer typechecks:\r\n\r\n    val obj = new\r\n      var x : Int = 0\r\n      def setX(x : Int) : Unit\r\n        0\r\n    obj.setX(2)\r\n\r\nIt fails with the error\r\n`this is not a subtype of this on line number error.wyv:1,11`\r\n\r\nThis code compiled on previous commits. It seems to be related to the name \"setX\", as the code\r\n\r\n    val obj = new\r\n      var x : Int = 0\r\n      def setY(x : Int) : Unit\r\n        0\r\n    obj.setY(2)\r\n\r\ncompiles without error"}}
{"actor":{"display_login":"mplamann"}}