GitHub PullRequestEvent at 2014-12-16 10:14:15
Repository: dotty
Actor: DarkDimius
Payload: {"action":"closed","number":293,"pull_request":{"url":"https://api.github.com/repos/lampepfl/dotty/pulls/293","id":26114426,"html_url":"https://github.com/lampepfl/dotty/pull/293","diff_url":"https://github.com/lampepfl/dotty/pull/293.diff","patch_url":"https://github.com/lampepfl/dotty/pull/293.patch","issue_url":"https://api.github.com/repos/lampepfl/dotty/issues/293","number":293,"state":"closed","locked":false,"title":"Avoid spurious warnings about forward references in refinements","user":{"login":"smarter","id":63430,"avatar_url":"https://avatars.githubusercontent.com/u/63430?v=3","gravatar_id":"","url":"https://api.github.com/users/smarter","html_url":"https://github.com/smarter","followers_url":"https://api.github.com/users/smarter/followers","following_url":"https://api.github.com/users/smarter/following{/other_user}","gists_url":"https://api.github.com/users/smarter/gists{/gist_id}","starred_url":"https://api.github.com/users/smarter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smarter/subscriptions","organizations_url":"https://api.github.com/users/smarter/orgs","repos_url":"https://api.github.com/users/smarter/repos","events_url":"https://api.github.com/users/smarter/events{/privacy}","received_events_url":"https://api.github.com/users/smarter/received_events","type":"User","site_admin":false},"body":"The warning was triggered by cases like:\r\nclass A\r\ntype F = A { type T = Int; def f: T }\r\nWhich is treated differently from the following which did not produce a warning:\r\ntype F = A { type T = Int } { def f: T }\r\n\r\nReview by @odersky ","created_at":"2014-12-16T00:38:29Z","updated_at":"2014-12-16T10:14:15Z","closed_at":"2014-12-16T10:14:15Z","merged_at":"2014-12-16T10:14:15Z","merge_commit_sha":"b3a0aac87d5fa5cd7208e6a5a1826bff05539437","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/lampepfl/dotty/pulls/293/commits","review_comments_url":"https://api.github.com/repos/lampepfl/dotty/pulls/293/comments","review_comment_url":"https://api.github.com/repos/lampepfl/dotty/pulls/comments/{number}","comments_url":"https://api.github.com/repos/lampepfl/dotty/issues/293/comments","statuses_url":"https://api.github.com/repos/lampepfl/dotty/statuses/5fced3a878bc39827f943d1578d63a3626d0f76f","head":{"label":"smarter:fix/multiple-refinements-warning","ref":"fix/multiple-refinements-warning","sha":"5fced3a878bc39827f943d1578d63a3626d0f76f","user":{"login":"smarter","id":63430,"avatar_url":"https://avatars.githubusercontent.com/u/63430?v=3","gravatar_id":"","url":"https://api.github.com/users/smarter","html_url":"https://github.com/smarter","followers_url":"https://api.github.com/users/smarter/followers","following_url":"https://api.github.com/users/smarter/following{/other_user}","gists_url":"https://api.github.com/users/smarter/gists{/gist_id}","starred_url":"https://api.github.com/users/smarter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smarter/subscriptions","organizations_url":"https://api.github.com/users/smarter/orgs","repos_url":"https://api.github.com/users/smarter/repos","events_url":"https://api.github.com/users/smarter/events{/privacy}","received_events_url":"https://api.github.com/users/smarter/received_events","type":"User","site_admin":false},"repo":{"id":19007864,"name":"dotty","full_name":"smarter/dotty","owner":{"login":"smarter","id":63430,"avatar_url":"https://avatars.githubusercontent.com/u/63430?v=3","gravatar_id":"","url":"https://api.github.com/users/smarter","html_url":"https://github.com/smarter","followers_url":"https://api.github.com/users/smarter/followers","following_url":"https://api.github.com/users/smarter/following{/other_user}","gists_url":"https://api.github.com/users/smarter/gists{/gist_id}","starred_url":"https://api.github.com/users/smarter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smarter/subscriptions","organizations_url":"https://api.github.com/users/smarter/orgs","repos_url":"https://api.github.com/users/smarter/repos","events_url":"https://api.github.com/users/smarter/events{/privacy}","received_events_url":"https://api.github.com/users/smarter/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/smarter/dotty","description":"Research platform for new language concepts and compiler technologies for Scala.","fork":true,"url":"https://api.github.com/repos/smarter/dotty","forks_url":"https://api.github.com/repos/smarter/dotty/forks","keys_url":"https://api.github.com/repos/smarter/dotty/keys{/key_id}","collaborators_url":"https://api.github.com/repos/smarter/dotty/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/smarter/dotty/teams","hooks_url":"https://api.github.com/repos/smarter/dotty/hooks","issue_events_url":"https://api.github.com/repos/smarter/dotty/issues/events{/number}","events_url":"https://api.github.com/repos/smarter/dotty/events","assignees_url":"https://api.github.com/repos/smarter/dotty/assignees{/user}","branches_url":"https://api.github.com/repos/smarter/dotty/branches{/branch}","tags_url":"https://api.github.com/repos/smarter/dotty/tags","blobs_url":"https://api.github.com/repos/smarter/dotty/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/smarter/dotty/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/smarter/dotty/git/refs{/sha}","trees_url":"https://api.github.com/repos/smarter/dotty/git/trees{/sha}","statuses_url":"https://api.github.com/repos/smarter/dotty/statuses/{sha}","languages_url":"https://api.github.com/repos/smarter/dotty/languages","stargazers_url":"https://api.github.com/repos/smarter/dotty/stargazers","contributors_url":"https://api.github.com/repos/smarter/dotty/contributors","subscribers_url":"https://api.github.com/repos/smarter/dotty/subscribers","subscription_url":"https://api.github.com/repos/smarter/dotty/subscription","commits_url":"https://api.github.com/repos/smarter/dotty/commits{/sha}","git_commits_url":"https://api.github.com/repos/smarter/dotty/git/commits{/sha}","comments_url":"https://api.github.com/repos/smarter/dotty/comments{/number}","issue_comment_url":"https://api.github.com/repos/smarter/dotty/issues/comments/{number}","contents_url":"https://api.github.com/repos/smarter/dotty/contents/{+path}","compare_url":"https://api.github.com/repos/smarter/dotty/compare/{base}...{head}","merges_url":"https://api.github.com/repos/smarter/dotty/merges","archive_url":"https://api.github.com/repos/smarter/dotty/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/smarter/dotty/downloads","issues_url":"https://api.github.com/repos/smarter/dotty/issues{/number}","pulls_url":"https://api.github.com/repos/smarter/dotty/pulls{/number}","milestones_url":"https://api.github.com/repos/smarter/dotty/milestones{/number}","notifications_url":"https://api.github.com/repos/smarter/dotty/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/smarter/dotty/labels{/name}","releases_url":"https://api.github.com/repos/smarter/dotty/releases{/id}","created_at":"2014-04-21T21:37:16Z","updated_at":"2014-10-24T14:22:31Z","pushed_at":"2014-12-16T09:15:15Z","git_url":"git://github.com/smarter/dotty.git","ssh_url":"git@github.com:smarter/dotty.git","clone_url":"https://github.com/smarter/dotty.git","svn_url":"https://github.com/smarter/dotty","homepage":"","size":10795,"stargazers_count":1,"watchers_count":1,"language":"Scala","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":1,"default_branch":"master"}},"base":{"label":"lampepfl:master","ref":"master","sha":"21fa5dd1a47727c977848163e2610be745951dbc","user":{"login":"lampepfl","id":2684793,"avatar_url":"https://avatars.githubusercontent.com/u/2684793?v=3","gravatar_id":"","url":"https://api.github.com/users/lampepfl","html_url":"https://github.com/lampepfl","followers_url":"https://api.github.com/users/lampepfl/followers","following_url":"https://api.github.com/users/lampepfl/following{/other_user}","gists_url":"https://api.github.com/users/lampepfl/gists{/gist_id}","starred_url":"https://api.github.com/users/lampepfl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lampepfl/subscriptions","organizations_url":"https://api.github.com/users/lampepfl/orgs","repos_url":"https://api.github.com/users/lampepfl/repos","events_url":"https://api.github.com/users/lampepfl/events{/privacy}","received_events_url":"https://api.github.com/users/lampepfl/received_events","type":"Organization","site_admin":false},"repo":{"id":7035651,"name":"dotty","full_name":"lampepfl/dotty","owner":{"login":"lampepfl","id":2684793,"avatar_url":"https://avatars.githubusercontent.com/u/2684793?v=3","gravatar_id":"","url":"https://api.github.com/users/lampepfl","html_url":"https://github.com/lampepfl","followers_url":"https://api.github.com/users/lampepfl/followers","following_url":"https://api.github.com/users/lampepfl/following{/other_user}","gists_url":"https://api.github.com/users/lampepfl/gists{/gist_id}","starred_url":"https://api.github.com/users/lampepfl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lampepfl/subscriptions","organizations_url":"https://api.github.com/users/lampepfl/orgs","repos_url":"https://api.github.com/users/lampepfl/repos","events_url":"https://api.github.com/users/lampepfl/events{/privacy}","received_events_url":"https://api.github.com/users/lampepfl/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/lampepfl/dotty","description":"Research platform for new language concepts and compiler technologies for Scala.","fork":false,"url":"https://api.github.com/repos/lampepfl/dotty","forks_url":"https://api.github.com/repos/lampepfl/dotty/forks","keys_url":"https://api.github.com/repos/lampepfl/dotty/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lampepfl/dotty/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lampepfl/dotty/teams","hooks_url":"https://api.github.com/repos/lampepfl/dotty/hooks","issue_events_url":"https://api.github.com/repos/lampepfl/dotty/issues/events{/number}","events_url":"https://api.github.com/repos/lampepfl/dotty/events","assignees_url":"https://api.github.com/repos/lampepfl/dotty/assignees{/user}","branches_url":"https://api.github.com/repos/lampepfl/dotty/branches{/branch}","tags_url":"https://api.github.com/repos/lampepfl/dotty/tags","blobs_url":"https://api.github.com/repos/lampepfl/dotty/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lampepfl/dotty/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lampepfl/dotty/git/refs{/sha}","trees_url":"https://api.github.com/repos/lampepfl/dotty/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lampepfl/dotty/statuses/{sha}","languages_url":"https://api.github.com/repos/lampepfl/dotty/languages","stargazers_url":"https://api.github.com/repos/lampepfl/dotty/stargazers","contributors_url":"https://api.github.com/repos/lampepfl/dotty/contributors","subscribers_url":"https://api.github.com/repos/lampepfl/dotty/subscribers","subscription_url":"https://api.github.com/repos/lampepfl/dotty/subscription","commits_url":"https://api.github.com/repos/lampepfl/dotty/commits{/sha}","git_commits_url":"https://api.github.com/repos/lampepfl/dotty/git/commits{/sha}","comments_url":"https://api.github.com/repos/lampepfl/dotty/comments{/number}","issue_comment_url":"https://api.github.com/repos/lampepfl/dotty/issues/comments/{number}","contents_url":"https://api.github.com/repos/lampepfl/dotty/contents/{+path}","compare_url":"https://api.github.com/repos/lampepfl/dotty/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lampepfl/dotty/merges","archive_url":"https://api.github.com/repos/lampepfl/dotty/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lampepfl/dotty/downloads","issues_url":"https://api.github.com/repos/lampepfl/dotty/issues{/number}","pulls_url":"https://api.github.com/repos/lampepfl/dotty/pulls{/number}","milestones_url":"https://api.github.com/repos/lampepfl/dotty/milestones{/number}","notifications_url":"https://api.github.com/repos/lampepfl/dotty/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lampepfl/dotty/labels{/name}","releases_url":"https://api.github.com/repos/lampepfl/dotty/releases{/id}","created_at":"2012-12-06T12:57:33Z","updated_at":"2014-12-15T15:35:25Z","pushed_at":"2014-12-16T10:14:15Z","git_url":"git://github.com/lampepfl/dotty.git","ssh_url":"git@github.com:lampepfl/dotty.git","clone_url":"https://github.com/lampepfl/dotty.git","svn_url":"https://github.com/lampepfl/dotty","homepage":"","size":13632,"stargazers_count":278,"watchers_count":278,"language":"Scala","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":36,"mirror_url":null,"open_issues_count":50,"forks":36,"open_issues":50,"watchers":278,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/lampepfl/dotty/pulls/293"},"html":{"href":"https://github.com/lampepfl/dotty/pull/293"},"issue":{"href":"https://api.github.com/repos/lampepfl/dotty/issues/293"},"comments":{"href":"https://api.github.com/repos/lampepfl/dotty/issues/293/comments"},"review_comments":{"href":"https://api.github.com/repos/lampepfl/dotty/pulls/293/comments"},"review_comment":{"href":"https://api.github.com/repos/lampepfl/dotty/pulls/comments/{number}"},"commits":{"href":"https://api.github.com/repos/lampepfl/dotty/pulls/293/commits"},"statuses":{"href":"https://api.github.com/repos/lampepfl/dotty/statuses/5fced3a878bc39827f943d1578d63a3626d0f76f"}},"merged":true,"mergeable":null,"mergeable_state":"unknown","merged_by":{"login":"DarkDimius","id":1084930,"avatar_url":"https://avatars.githubusercontent.com/u/1084930?v=3","gravatar_id":"","url":"https://api.github.com/users/DarkDimius","html_url":"https://github.com/DarkDimius","followers_url":"https://api.github.com/users/DarkDimius/followers","following_url":"https://api.github.com/users/DarkDimius/following{/other_user}","gists_url":"https://api.github.com/users/DarkDimius/gists{/gist_id}","starred_url":"https://api.github.com/users/DarkDimius/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DarkDimius/subscriptions","organizations_url":"https://api.github.com/users/DarkDimius/orgs","repos_url":"https://api.github.com/users/DarkDimius/repos","events_url":"https://api.github.com/users/DarkDimius/events{/privacy}","received_events_url":"https://api.github.com/users/DarkDimius/received_events","type":"User","site_admin":false},"comments":1,"review_comments":2,"commits":1,"additions":4,"deletions":3,"changed_files":2}}