{"action":"created","comment":{"url":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/comments/228360833","pull_request_review_id":168618173,"id":228360833,"node_id":"MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDIyODM2MDgzMw==","diff_hunk":"@@ -278,7 +281,7 @@ def construct_concrete(self, t : Type, e : Exp, out : Exp):\n             x = self.fv(t, \"x\")\n             indices = range(len(t.ts))\n             return SSeq(\n-                SEscape(\"{indent}{rv} = {rhs};\\n\", [\"rv\", \"rhs\"], [x, e]),\n+                SEscape(\"{indent}{t} {rv} = {rhs};\\n\", [\"t\", \"rv\", \"rhs\"], [t, x, e]),","path":"cozy/codegen/cxx.py","position":19,"original_position":19,"commit_id":"6035a73e5529fcdb6328a27388d13fc1a6f02a9d","original_commit_id":"6035a73e5529fcdb6328a27388d13fc1a6f02a9d","user":{"login":"izgzhen","id":7168454,"node_id":"MDQ6VXNlcjcxNjg0NTQ=","avatar_url":"https://avatars1.githubusercontent.com/u/7168454?v=4","gravatar_id":"","url":"https://api.github.com/users/izgzhen","html_url":"https://github.com/izgzhen","followers_url":"https://api.github.com/users/izgzhen/followers","following_url":"https://api.github.com/users/izgzhen/following{/other_user}","gists_url":"https://api.github.com/users/izgzhen/gists{/gist_id}","starred_url":"https://api.github.com/users/izgzhen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/izgzhen/subscriptions","organizations_url":"https://api.github.com/users/izgzhen/orgs","repos_url":"https://api.github.com/users/izgzhen/repos","events_url":"https://api.github.com/users/izgzhen/events{/privacy}","received_events_url":"https://api.github.com/users/izgzhen/received_events","type":"User","site_admin":false},"body":"That's cool! Thanks a lot","created_at":"2018-10-25T22:52:42Z","updated_at":"2018-10-25T22:52:42Z","html_url":"https://github.com/CozySynthesizer/cozy/pull/75#discussion_r228360833","pull_request_url":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75","author_association":"COLLABORATOR","_links":{"self":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/comments/228360833"},"html":{"href":"https://github.com/CozySynthesizer/cozy/pull/75#discussion_r228360833"},"pull_request":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75"}},"in_reply_to_id":228360471},"pull_request":{"url":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75","id":225927133,"node_id":"MDExOlB1bGxSZXF1ZXN0MjI1OTI3MTMz","html_url":"https://github.com/CozySynthesizer/cozy/pull/75","diff_url":"https://github.com/CozySynthesizer/cozy/pull/75.diff","patch_url":"https://github.com/CozySynthesizer/cozy/pull/75.patch","issue_url":"https://api.github.com/repos/CozySynthesizer/cozy/issues/75","number":75,"state":"open","locked":false,"title":"fix tuple copy","user":{"login":"izgzhen","id":7168454,"node_id":"MDQ6VXNlcjcxNjg0NTQ=","avatar_url":"https://avatars1.githubusercontent.com/u/7168454?v=4","gravatar_id":"","url":"https://api.github.com/users/izgzhen","html_url":"https://github.com/izgzhen","followers_url":"https://api.github.com/users/izgzhen/followers","following_url":"https://api.github.com/users/izgzhen/following{/other_user}","gists_url":"https://api.github.com/users/izgzhen/gists{/gist_id}","starred_url":"https://api.github.com/users/izgzhen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/izgzhen/subscriptions","organizations_url":"https://api.github.com/users/izgzhen/orgs","repos_url":"https://api.github.com/users/izgzhen/repos","events_url":"https://api.github.com/users/izgzhen/events{/privacy}","received_events_url":"https://api.github.com/users/izgzhen/received_events","type":"User","site_admin":false},"body":"","created_at":"2018-10-25T22:44:14Z","updated_at":"2018-10-25T22:52:42Z","closed_at":null,"merged_at":null,"merge_commit_sha":"f488800e630098c8acea63f52c56127f89a824cd","assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75/commits","review_comments_url":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75/comments","review_comment_url":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/comments{/number}","comments_url":"https://api.github.com/repos/CozySynthesizer/cozy/issues/75/comments","statuses_url":"https://api.github.com/repos/CozySynthesizer/cozy/statuses/6035a73e5529fcdb6328a27388d13fc1a6f02a9d","head":{"label":"izgzhen:fix-tuple","ref":"fix-tuple","sha":"6035a73e5529fcdb6328a27388d13fc1a6f02a9d","user":{"login":"izgzhen","id":7168454,"node_id":"MDQ6VXNlcjcxNjg0NTQ=","avatar_url":"https://avatars1.githubusercontent.com/u/7168454?v=4","gravatar_id":"","url":"https://api.github.com/users/izgzhen","html_url":"https://github.com/izgzhen","followers_url":"https://api.github.com/users/izgzhen/followers","following_url":"https://api.github.com/users/izgzhen/following{/other_user}","gists_url":"https://api.github.com/users/izgzhen/gists{/gist_id}","starred_url":"https://api.github.com/users/izgzhen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/izgzhen/subscriptions","organizations_url":"https://api.github.com/users/izgzhen/orgs","repos_url":"https://api.github.com/users/izgzhen/repos","events_url":"https://api.github.com/users/izgzhen/events{/privacy}","received_events_url":"https://api.github.com/users/izgzhen/received_events","type":"User","site_admin":false},"repo":{"id":149367207,"node_id":"MDEwOlJlcG9zaXRvcnkxNDkzNjcyMDc=","name":"cozy","full_name":"izgzhen/cozy","private":false,"owner":{"login":"izgzhen","id":7168454,"node_id":"MDQ6VXNlcjcxNjg0NTQ=","avatar_url":"https://avatars1.githubusercontent.com/u/7168454?v=4","gravatar_id":"","url":"https://api.github.com/users/izgzhen","html_url":"https://github.com/izgzhen","followers_url":"https://api.github.com/users/izgzhen/followers","following_url":"https://api.github.com/users/izgzhen/following{/other_user}","gists_url":"https://api.github.com/users/izgzhen/gists{/gist_id}","starred_url":"https://api.github.com/users/izgzhen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/izgzhen/subscriptions","organizations_url":"https://api.github.com/users/izgzhen/orgs","repos_url":"https://api.github.com/users/izgzhen/repos","events_url":"https://api.github.com/users/izgzhen/events{/privacy}","received_events_url":"https://api.github.com/users/izgzhen/received_events","type":"User","site_admin":false},"html_url":"https://github.com/izgzhen/cozy","description":"The collection synthesizer","fork":true,"url":"https://api.github.com/repos/izgzhen/cozy","forks_url":"https://api.github.com/repos/izgzhen/cozy/forks","keys_url":"https://api.github.com/repos/izgzhen/cozy/keys{/key_id}","collaborators_url":"https://api.github.com/repos/izgzhen/cozy/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/izgzhen/cozy/teams","hooks_url":"https://api.github.com/repos/izgzhen/cozy/hooks","issue_events_url":"https://api.github.com/repos/izgzhen/cozy/issues/events{/number}","events_url":"https://api.github.com/repos/izgzhen/cozy/events","assignees_url":"https://api.github.com/repos/izgzhen/cozy/assignees{/user}","branches_url":"https://api.github.com/repos/izgzhen/cozy/branches{/branch}","tags_url":"https://api.github.com/repos/izgzhen/cozy/tags","blobs_url":"https://api.github.com/repos/izgzhen/cozy/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/izgzhen/cozy/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/izgzhen/cozy/git/refs{/sha}","trees_url":"https://api.github.com/repos/izgzhen/cozy/git/trees{/sha}","statuses_url":"https://api.github.com/repos/izgzhen/cozy/statuses/{sha}","languages_url":"https://api.github.com/repos/izgzhen/cozy/languages","stargazers_url":"https://api.github.com/repos/izgzhen/cozy/stargazers","contributors_url":"https://api.github.com/repos/izgzhen/cozy/contributors","subscribers_url":"https://api.github.com/repos/izgzhen/cozy/subscribers","subscription_url":"https://api.github.com/repos/izgzhen/cozy/subscription","commits_url":"https://api.github.com/repos/izgzhen/cozy/commits{/sha}","git_commits_url":"https://api.github.com/repos/izgzhen/cozy/git/commits{/sha}","comments_url":"https://api.github.com/repos/izgzhen/cozy/comments{/number}","issue_comment_url":"https://api.github.com/repos/izgzhen/cozy/issues/comments{/number}","contents_url":"https://api.github.com/repos/izgzhen/cozy/contents/{+path}","compare_url":"https://api.github.com/repos/izgzhen/cozy/compare/{base}...{head}","merges_url":"https://api.github.com/repos/izgzhen/cozy/merges","archive_url":"https://api.github.com/repos/izgzhen/cozy/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/izgzhen/cozy/downloads","issues_url":"https://api.github.com/repos/izgzhen/cozy/issues{/number}","pulls_url":"https://api.github.com/repos/izgzhen/cozy/pulls{/number}","milestones_url":"https://api.github.com/repos/izgzhen/cozy/milestones{/number}","notifications_url":"https://api.github.com/repos/izgzhen/cozy/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/izgzhen/cozy/labels{/name}","releases_url":"https://api.github.com/repos/izgzhen/cozy/releases{/id}","deployments_url":"https://api.github.com/repos/izgzhen/cozy/deployments","created_at":"2018-09-19T00:12:02Z","updated_at":"2018-10-01T04:35:01Z","pushed_at":"2018-10-25T22:43:51Z","git_url":"git://github.com/izgzhen/cozy.git","ssh_url":"git@github.com:izgzhen/cozy.git","clone_url":"https://github.com/izgzhen/cozy.git","svn_url":"https://github.com/izgzhen/cozy","homepage":"https://cozy.uwplse.org","size":3178,"stargazers_count":0,"watchers_count":0,"language":"Python","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"CozySynthesizer:master","ref":"master","sha":"266151aefc4f8422f10ed5d33ba5eafba3999129","user":{"login":"CozySynthesizer","id":33331708,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMzMzMxNzA4","avatar_url":"https://avatars2.githubusercontent.com/u/33331708?v=4","gravatar_id":"","url":"https://api.github.com/users/CozySynthesizer","html_url":"https://github.com/CozySynthesizer","followers_url":"https://api.github.com/users/CozySynthesizer/followers","following_url":"https://api.github.com/users/CozySynthesizer/following{/other_user}","gists_url":"https://api.github.com/users/CozySynthesizer/gists{/gist_id}","starred_url":"https://api.github.com/users/CozySynthesizer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CozySynthesizer/subscriptions","organizations_url":"https://api.github.com/users/CozySynthesizer/orgs","repos_url":"https://api.github.com/users/CozySynthesizer/repos","events_url":"https://api.github.com/users/CozySynthesizer/events{/privacy}","received_events_url":"https://api.github.com/users/CozySynthesizer/received_events","type":"Organization","site_admin":false},"repo":{"id":54071506,"node_id":"MDEwOlJlcG9zaXRvcnk1NDA3MTUwNg==","name":"cozy","full_name":"CozySynthesizer/cozy","private":false,"owner":{"login":"CozySynthesizer","id":33331708,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMzMzMxNzA4","avatar_url":"https://avatars2.githubusercontent.com/u/33331708?v=4","gravatar_id":"","url":"https://api.github.com/users/CozySynthesizer","html_url":"https://github.com/CozySynthesizer","followers_url":"https://api.github.com/users/CozySynthesizer/followers","following_url":"https://api.github.com/users/CozySynthesizer/following{/other_user}","gists_url":"https://api.github.com/users/CozySynthesizer/gists{/gist_id}","starred_url":"https://api.github.com/users/CozySynthesizer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CozySynthesizer/subscriptions","organizations_url":"https://api.github.com/users/CozySynthesizer/orgs","repos_url":"https://api.github.com/users/CozySynthesizer/repos","events_url":"https://api.github.com/users/CozySynthesizer/events{/privacy}","received_events_url":"https://api.github.com/users/CozySynthesizer/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/CozySynthesizer/cozy","description":"The collection synthesizer","fork":false,"url":"https://api.github.com/repos/CozySynthesizer/cozy","forks_url":"https://api.github.com/repos/CozySynthesizer/cozy/forks","keys_url":"https://api.github.com/repos/CozySynthesizer/cozy/keys{/key_id}","collaborators_url":"https://api.github.com/repos/CozySynthesizer/cozy/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/CozySynthesizer/cozy/teams","hooks_url":"https://api.github.com/repos/CozySynthesizer/cozy/hooks","issue_events_url":"https://api.github.com/repos/CozySynthesizer/cozy/issues/events{/number}","events_url":"https://api.github.com/repos/CozySynthesizer/cozy/events","assignees_url":"https://api.github.com/repos/CozySynthesizer/cozy/assignees{/user}","branches_url":"https://api.github.com/repos/CozySynthesizer/cozy/branches{/branch}","tags_url":"https://api.github.com/repos/CozySynthesizer/cozy/tags","blobs_url":"https://api.github.com/repos/CozySynthesizer/cozy/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/CozySynthesizer/cozy/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/CozySynthesizer/cozy/git/refs{/sha}","trees_url":"https://api.github.com/repos/CozySynthesizer/cozy/git/trees{/sha}","statuses_url":"https://api.github.com/repos/CozySynthesizer/cozy/statuses/{sha}","languages_url":"https://api.github.com/repos/CozySynthesizer/cozy/languages","stargazers_url":"https://api.github.com/repos/CozySynthesizer/cozy/stargazers","contributors_url":"https://api.github.com/repos/CozySynthesizer/cozy/contributors","subscribers_url":"https://api.github.com/repos/CozySynthesizer/cozy/subscribers","subscription_url":"https://api.github.com/repos/CozySynthesizer/cozy/subscription","commits_url":"https://api.github.com/repos/CozySynthesizer/cozy/commits{/sha}","git_commits_url":"https://api.github.com/repos/CozySynthesizer/cozy/git/commits{/sha}","comments_url":"https://api.github.com/repos/CozySynthesizer/cozy/comments{/number}","issue_comment_url":"https://api.github.com/repos/CozySynthesizer/cozy/issues/comments{/number}","contents_url":"https://api.github.com/repos/CozySynthesizer/cozy/contents/{+path}","compare_url":"https://api.github.com/repos/CozySynthesizer/cozy/compare/{base}...{head}","merges_url":"https://api.github.com/repos/CozySynthesizer/cozy/merges","archive_url":"https://api.github.com/repos/CozySynthesizer/cozy/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/CozySynthesizer/cozy/downloads","issues_url":"https://api.github.com/repos/CozySynthesizer/cozy/issues{/number}","pulls_url":"https://api.github.com/repos/CozySynthesizer/cozy/pulls{/number}","milestones_url":"https://api.github.com/repos/CozySynthesizer/cozy/milestones{/number}","notifications_url":"https://api.github.com/repos/CozySynthesizer/cozy/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/CozySynthesizer/cozy/labels{/name}","releases_url":"https://api.github.com/repos/CozySynthesizer/cozy/releases{/id}","deployments_url":"https://api.github.com/repos/CozySynthesizer/cozy/deployments","created_at":"2016-03-16T22:39:08Z","updated_at":"2018-10-25T20:26:18Z","pushed_at":"2018-10-25T22:44:14Z","git_url":"git://github.com/CozySynthesizer/cozy.git","ssh_url":"git@github.com:CozySynthesizer/cozy.git","clone_url":"https://github.com/CozySynthesizer/cozy.git","svn_url":"https://github.com/CozySynthesizer/cozy","homepage":"https://cozy.uwplse.org","size":3165,"stargazers_count":147,"watchers_count":147,"language":"Python","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":12,"mirror_url":null,"archived":false,"open_issues_count":18,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"forks":12,"open_issues":18,"watchers":147,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75"},"html":{"href":"https://github.com/CozySynthesizer/cozy/pull/75"},"issue":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/issues/75"},"comments":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/issues/75/comments"},"review_comments":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75/comments"},"review_comment":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/pulls/75/commits"},"statuses":{"href":"https://api.github.com/repos/CozySynthesizer/cozy/statuses/6035a73e5529fcdb6328a27388d13fc1a6f02a9d"}},"author_association":"COLLABORATOR"}}
{"actor":{"display_login":"izgzhen"}}