{ "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 } }