{
"action": "synchronize",
"number": 1958,
"pull_request": {
"url": "https://api.github.com/repos/lampepfl/dotty/pulls/1958",
"id": 105198014,
"html_url": "https://github.com/lampepfl/dotty/pull/1958",
"diff_url": "https://github.com/lampepfl/dotty/pull/1958.diff",
"patch_url": "https://github.com/lampepfl/dotty/pull/1958.patch",
"issue_url": "https://api.github.com/repos/lampepfl/dotty/issues/1958",
"number": 1958,
"state": "open",
"locked": false,
"title": "WIP Add \"enum\" construct",
"user": {
"login": "odersky",
"id": 795990,
"avatar_url": "https://avatars.githubusercontent.com/u/795990?v=3",
"gravatar_id": "",
"url": "https://api.github.com/users/odersky",
"html_url": "https://github.com/odersky",
"followers_url": "https://api.github.com/users/odersky/followers",
"following_url": "https://api.github.com/users/odersky/following{/other_user}",
"gists_url": "https://api.github.com/users/odersky/gists{/gist_id}",
"starred_url": "https://api.github.com/users/odersky/starred{/owner}{/repo}",
"subscriptions_url": "https://api.github.com/users/odersky/subscriptions",
"organizations_url": "https://api.github.com/users/odersky/orgs",
"repos_url": "https://api.github.com/users/odersky/repos",
"events_url": "https://api.github.com/users/odersky/events{/privacy}",
"received_events_url": "https://api.github.com/users/odersky/received_events",
"type": "User",
"site_admin": false
},
"body": "This is a prototype implementation to add an \"enum\" construct to Scala. Scala enums give a more concise notation for \r\n\r\n - enums as in Java\r\n - ADTs\r\n - GADTs\r\n\r\nCurrent status\r\n\r\n - [x] First implementation\r\n - [x] Some test cases\r\n - [ ] A specification\r\n - [ ] An implementation of generic programming in the style of SYB. We need to clarify first exactly\r\n what we want from the compiler\r\n - [ ] A decision whether we want to go ahead with this",
"created_at": "2017-02-08T11:29:18Z",
"updated_at": "2017-02-09T09:18:27Z",
"closed_at": null,
"merged_at": null,
"merge_commit_sha": "7100d31c76a0317b8cd3445970c463b133215252",
"assignee": null,
"assignees": [
],
"milestone": null,
"commits_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/commits",
"review_comments_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/comments",
"review_comment_url": "https://api.github.com/repos/lampepfl/dotty/pulls/comments{/number}",
"comments_url": "https://api.github.com/repos/lampepfl/dotty/issues/1958/comments",
"statuses_url": "https://api.github.com/repos/lampepfl/dotty/statuses/ce4051743d590721dc969c92c44a35147e1e3abc",
"head": {
"label": "dotty-staging:add-enum",
"ref": "add-enum",
"sha": "ce4051743d590721dc969c92c44a35147e1e3abc",
"user": {
"login": "dotty-staging",
"id": 6998674,
"avatar_url": "https://avatars.githubusercontent.com/u/6998674?v=3",
"gravatar_id": "",
"url": "https://api.github.com/users/dotty-staging",
"html_url": "https://github.com/dotty-staging",
"followers_url": "https://api.github.com/users/dotty-staging/followers",
"following_url": "https://api.github.com/users/dotty-staging/following{/other_user}",
"gists_url": "https://api.github.com/users/dotty-staging/gists{/gist_id}",
"starred_url": "https://api.github.com/users/dotty-staging/starred{/owner}{/repo}",
"subscriptions_url": "https://api.github.com/users/dotty-staging/subscriptions",
"organizations_url": "https://api.github.com/users/dotty-staging/orgs",
"repos_url": "https://api.github.com/users/dotty-staging/repos",
"events_url": "https://api.github.com/users/dotty-staging/events{/privacy}",
"received_events_url": "https://api.github.com/users/dotty-staging/received_events",
"type": "Organization",
"site_admin": false
},
"repo": {
"id": 17904384,
"name": "dotty",
"full_name": "dotty-staging/dotty",
"owner": {
"login": "dotty-staging",
"id": 6998674,
"avatar_url": "https://avatars.githubusercontent.com/u/6998674?v=3",
"gravatar_id": "",
"url": "https://api.github.com/users/dotty-staging",
"html_url": "https://github.com/dotty-staging",
"followers_url": "https://api.github.com/users/dotty-staging/followers",
"following_url": "https://api.github.com/users/dotty-staging/following{/other_user}",
"gists_url": "https://api.github.com/users/dotty-staging/gists{/gist_id}",
"starred_url": "https://api.github.com/users/dotty-staging/starred{/owner}{/repo}",
"subscriptions_url": "https://api.github.com/users/dotty-staging/subscriptions",
"organizations_url": "https://api.github.com/users/dotty-staging/orgs",
"repos_url": "https://api.github.com/users/dotty-staging/repos",
"events_url": "https://api.github.com/users/dotty-staging/events{/privacy}",
"received_events_url": "https://api.github.com/users/dotty-staging/received_events",
"type": "Organization",
"site_admin": false
},
"private": false,
"html_url": "https://github.com/dotty-staging/dotty",
"description": "Research platform for new language concepts and compiler technologies for Scala.",
"fork": true,
"url": "https://api.github.com/repos/dotty-staging/dotty",
"forks_url": "https://api.github.com/repos/dotty-staging/dotty/forks",
"keys_url": "https://api.github.com/repos/dotty-staging/dotty/keys{/key_id}",
"collaborators_url": "https://api.github.com/repos/dotty-staging/dotty/collaborators{/collaborator}",
"teams_url": "https://api.github.com/repos/dotty-staging/dotty/teams",
"hooks_url": "https://api.github.com/repos/dotty-staging/dotty/hooks",
"issue_events_url": "https://api.github.com/repos/dotty-staging/dotty/issues/events{/number}",
"events_url": "https://api.github.com/repos/dotty-staging/dotty/events",
"assignees_url": "https://api.github.com/repos/dotty-staging/dotty/assignees{/user}",
"branches_url": "https://api.github.com/repos/dotty-staging/dotty/branches{/branch}",
"tags_url": "https://api.github.com/repos/dotty-staging/dotty/tags",
"blobs_url": "https://api.github.com/repos/dotty-staging/dotty/git/blobs{/sha}",
"git_tags_url": "https://api.github.com/repos/dotty-staging/dotty/git/tags{/sha}",
"git_refs_url": "https://api.github.com/repos/dotty-staging/dotty/git/refs{/sha}",
"trees_url": "https://api.github.com/repos/dotty-staging/dotty/git/trees{/sha}",
"statuses_url": "https://api.github.com/repos/dotty-staging/dotty/statuses/{sha}",
"languages_url": "https://api.github.com/repos/dotty-staging/dotty/languages",
"stargazers_url": "https://api.github.com/repos/dotty-staging/dotty/stargazers",
"contributors_url": "https://api.github.com/repos/dotty-staging/dotty/contributors",
"subscribers_url": "https://api.github.com/repos/dotty-staging/dotty/subscribers",
"subscription_url": "https://api.github.com/repos/dotty-staging/dotty/subscription",
"commits_url": "https://api.github.com/repos/dotty-staging/dotty/commits{/sha}",
"git_commits_url": "https://api.github.com/repos/dotty-staging/dotty/git/commits{/sha}",
"comments_url": "https://api.github.com/repos/dotty-staging/dotty/comments{/number}",
"issue_comment_url": "https://api.github.com/repos/dotty-staging/dotty/issues/comments{/number}",
"contents_url": "https://api.github.com/repos/dotty-staging/dotty/contents/{+path}",
"compare_url": "https://api.github.com/repos/dotty-staging/dotty/compare/{base}...{head}",
"merges_url": "https://api.github.com/repos/dotty-staging/dotty/merges",
"archive_url": "https://api.github.com/repos/dotty-staging/dotty/{archive_format}{/ref}",
"downloads_url": "https://api.github.com/repos/dotty-staging/dotty/downloads",
"issues_url": "https://api.github.com/repos/dotty-staging/dotty/issues{/number}",
"pulls_url": "https://api.github.com/repos/dotty-staging/dotty/pulls{/number}",
"milestones_url": "https://api.github.com/repos/dotty-staging/dotty/milestones{/number}",
"notifications_url": "https://api.github.com/repos/dotty-staging/dotty/notifications{?since,all,participating}",
"labels_url": "https://api.github.com/repos/dotty-staging/dotty/labels{/name}",
"releases_url": "https://api.github.com/repos/dotty-staging/dotty/releases{/id}",
"deployments_url": "https://api.github.com/repos/dotty-staging/dotty/deployments",
"created_at": "2014-03-19T13:06:15Z",
"updated_at": "2016-07-11T14:41:18Z",
"pushed_at": "2017-02-09T09:18:27Z",
"git_url": "git://github.com/dotty-staging/dotty.git",
"ssh_url": "git@github.com:dotty-staging/dotty.git",
"clone_url": "https://github.com/dotty-staging/dotty.git",
"svn_url": "https://github.com/dotty-staging/dotty",
"homepage": "",
"size": 27676,
"stargazers_count": 4,
"watchers_count": 4,
"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": 4,
"default_branch": "master"
}
},
"base": {
"label": "lampepfl:master",
"ref": "master",
"sha": "75bea8dccce2bc3c0e8298ee71061c9871fd26ac",
"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}",
"deployments_url": "https://api.github.com/repos/lampepfl/dotty/deployments",
"created_at": "2012-12-06T12:57:33Z",
"updated_at": "2017-02-08T13:10:05Z",
"pushed_at": "2017-02-09T08:51:58Z",
"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": "http://dotty.epfl.ch",
"size": 28896,
"stargazers_count": 1452,
"watchers_count": 1452,
"language": "Scala",
"has_issues": true,
"has_downloads": true,
"has_wiki": false,
"has_pages": true,
"forks_count": 213,
"mirror_url": null,
"open_issues_count": 250,
"forks": 213,
"open_issues": 250,
"watchers": 1452,
"default_branch": "master"
}
},
"_links": {
"self": {
"href": "https://api.github.com/repos/lampepfl/dotty/pulls/1958"
},
"html": {
"href": "https://github.com/lampepfl/dotty/pull/1958"
},
"issue": {
"href": "https://api.github.com/repos/lampepfl/dotty/issues/1958"
},
"comments": {
"href": "https://api.github.com/repos/lampepfl/dotty/issues/1958/comments"
},
"review_comments": {
"href": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/comments"
},
"review_comment": {
"href": "https://api.github.com/repos/lampepfl/dotty/pulls/comments{/number}"
},
"commits": {
"href": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/commits"
},
"statuses": {
"href": "https://api.github.com/repos/lampepfl/dotty/statuses/ce4051743d590721dc969c92c44a35147e1e3abc"
}
},
"requested_reviewers": [
],
"merged": false,
"mergeable": null,
"mergeable_state": "unknown",
"merged_by": null,
"comments": 1,
"review_comments": 2,
"maintainer_can_modify": true,
"commits": 13,
"additions": 501,
"deletions": 173,
"changed_files": 29
},
"before": "a51a963005eb6f5a42a0cef7420a7008956e622a",
"after": "ce4051743d590721dc969c92c44a35147e1e3abc",
"repository": {
"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}",
"deployments_url": "https://api.github.com/repos/lampepfl/dotty/deployments",
"created_at": "2012-12-06T12:57:33Z",
"updated_at": "2017-02-08T13:10:05Z",
"pushed_at": "2017-02-09T08:51:58Z",
"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": "http://dotty.epfl.ch",
"size": 28896,
"stargazers_count": 1452,
"watchers_count": 1452,
"language": "Scala",
"has_issues": true,
"has_downloads": true,
"has_wiki": false,
"has_pages": true,
"forks_count": 213,
"mirror_url": null,
"open_issues_count": 250,
"forks": 213,
"open_issues": 250,
"watchers": 1452,
"default_branch": "master"
},
"organization": {
"login": "lampepfl",
"id": 2684793,
"url": "https://api.github.com/orgs/lampepfl",
"repos_url": "https://api.github.com/orgs/lampepfl/repos",
"events_url": "https://api.github.com/orgs/lampepfl/events",
"hooks_url": "https://api.github.com/orgs/lampepfl/hooks",
"issues_url": "https://api.github.com/orgs/lampepfl/issues",
"members_url": "https://api.github.com/orgs/lampepfl/members{/member}",
"public_members_url": "https://api.github.com/orgs/lampepfl/public_members{/member}",
"avatar_url": "https://avatars.githubusercontent.com/u/2684793?v=3",
"description": null
},
"sender": {
"login": "felixmulder",
"id": 1530049,
"avatar_url": "https://avatars.githubusercontent.com/u/1530049?v=3",
"gravatar_id": "",
"url": "https://api.github.com/users/felixmulder",
"html_url": "https://github.com/felixmulder",
"followers_url": "https://api.github.com/users/felixmulder/followers",
"following_url": "https://api.github.com/users/felixmulder/following{/other_user}",
"gists_url": "https://api.github.com/users/felixmulder/gists{/gist_id}",
"starred_url": "https://api.github.com/users/felixmulder/starred{/owner}{/repo}",
"subscriptions_url": "https://api.github.com/users/felixmulder/subscriptions",
"organizations_url": "https://api.github.com/users/felixmulder/orgs",
"repos_url": "https://api.github.com/users/felixmulder/repos",
"events_url": "https://api.github.com/users/felixmulder/events{/privacy}",
"received_events_url": "https://api.github.com/users/felixmulder/received_events",
"type": "User",
"site_admin": false
}
}
