{"action":"closed","number":224,"pull_request":{"url":"https://api.github.com/repos/Andromedans/andromeda/pulls/224","id":59114658,"html_url":"https://github.com/Andromedans/andromeda/pull/224","diff_url":"https://github.com/Andromedans/andromeda/pull/224.diff","patch_url":"https://github.com/Andromedans/andromeda/pull/224.patch","issue_url":"https://api.github.com/repos/Andromedans/andromeda/issues/224","number":224,"state":"closed","locked":false,"title":"Multiple recursive definitions","user":{"login":"andrejbauer","id":646599,"avatar_url":"https://avatars.githubusercontent.com/u/646599?v=3","gravatar_id":"","url":"https://api.github.com/users/andrejbauer","html_url":"https://github.com/andrejbauer","followers_url":"https://api.github.com/users/andrejbauer/followers","following_url":"https://api.github.com/users/andrejbauer/following{/other_user}","gists_url":"https://api.github.com/users/andrejbauer/gists{/gist_id}","starred_url":"https://api.github.com/users/andrejbauer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andrejbauer/subscriptions","organizations_url":"https://api.github.com/users/andrejbauer/orgs","repos_url":"https://api.github.com/users/andrejbauer/repos","events_url":"https://api.github.com/users/andrejbauer/events{/privacy}","received_events_url":"https://api.github.com/users/andrejbauer/received_events","type":"User","site_admin":false},"body":"I hope I got it right this time. I can't cherry-pick just a single commit (for some reason it pulls in a lot of stuff), so I looked at all the changes by hand and fixed a couple of things (in particular e75b0c9). \r\n\r\nApart from the things described in 41a95c3 this PR also improves `test/test.sh` by allowing one to re-run a test by choosing `r` (useful if you edit it and want to see if the edit was ok).","created_at":"2016-02-12T00:00:31Z","updated_at":"2016-02-12T09:53:29Z","closed_at":"2016-02-12T09:53:29Z","merged_at":null,"merge_commit_sha":"217a38f98d013bd0a0f04f4f61bad7612b248b84","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/Andromedans/andromeda/pulls/224/commits","review_comments_url":"https://api.github.com/repos/Andromedans/andromeda/pulls/224/comments","review_comment_url":"https://api.github.com/repos/Andromedans/andromeda/pulls/comments{/number}","comments_url":"https://api.github.com/repos/Andromedans/andromeda/issues/224/comments","statuses_url":"https://api.github.com/repos/Andromedans/andromeda/statuses/3fa39e0687b2664e3a80874906649f128823bccb","head":{"label":"andrejbauer:multiple-letrec","ref":"multiple-letrec","sha":"3fa39e0687b2664e3a80874906649f128823bccb","user":{"login":"andrejbauer","id":646599,"avatar_url":"https://avatars.githubusercontent.com/u/646599?v=3","gravatar_id":"","url":"https://api.github.com/users/andrejbauer","html_url":"https://github.com/andrejbauer","followers_url":"https://api.github.com/users/andrejbauer/followers","following_url":"https://api.github.com/users/andrejbauer/following{/other_user}","gists_url":"https://api.github.com/users/andrejbauer/gists{/gist_id}","starred_url":"https://api.github.com/users/andrejbauer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andrejbauer/subscriptions","organizations_url":"https://api.github.com/users/andrejbauer/orgs","repos_url":"https://api.github.com/users/andrejbauer/repos","events_url":"https://api.github.com/users/andrejbauer/events{/privacy}","received_events_url":"https://api.github.com/users/andrejbauer/received_events","type":"User","site_admin":false},"repo":{"id":45923854,"name":"andromeda","full_name":"andrejbauer/andromeda","owner":{"login":"andrejbauer","id":646599,"avatar_url":"https://avatars.githubusercontent.com/u/646599?v=3","gravatar_id":"","url":"https://api.github.com/users/andrejbauer","html_url":"https://github.com/andrejbauer","followers_url":"https://api.github.com/users/andrejbauer/followers","following_url":"https://api.github.com/users/andrejbauer/following{/other_user}","gists_url":"https://api.github.com/users/andrejbauer/gists{/gist_id}","starred_url":"https://api.github.com/users/andrejbauer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andrejbauer/subscriptions","organizations_url":"https://api.github.com/users/andrejbauer/orgs","repos_url":"https://api.github.com/users/andrejbauer/repos","events_url":"https://api.github.com/users/andrejbauer/events{/privacy}","received_events_url":"https://api.github.com/users/andrejbauer/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/andrejbauer/andromeda","description":"A minimalist implementation of type theory, suitable for experimentation","fork":true,"url":"https://api.github.com/repos/andrejbauer/andromeda","forks_url":"https://api.github.com/repos/andrejbauer/andromeda/forks","keys_url":"https://api.github.com/repos/andrejbauer/andromeda/keys{/key_id}","collaborators_url":"https://api.github.com/repos/andrejbauer/andromeda/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/andrejbauer/andromeda/teams","hooks_url":"https://api.github.com/repos/andrejbauer/andromeda/hooks","issue_events_url":"https://api.github.com/repos/andrejbauer/andromeda/issues/events{/number}","events_url":"https://api.github.com/repos/andrejbauer/andromeda/events","assignees_url":"https://api.github.com/repos/andrejbauer/andromeda/assignees{/user}","branches_url":"https://api.github.com/repos/andrejbauer/andromeda/branches{/branch}","tags_url":"https://api.github.com/repos/andrejbauer/andromeda/tags","blobs_url":"https://api.github.com/repos/andrejbauer/andromeda/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/andrejbauer/andromeda/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/andrejbauer/andromeda/git/refs{/sha}","trees_url":"https://api.github.com/repos/andrejbauer/andromeda/git/trees{/sha}","statuses_url":"https://api.github.com/repos/andrejbauer/andromeda/statuses/{sha}","languages_url":"https://api.github.com/repos/andrejbauer/andromeda/languages","stargazers_url":"https://api.github.com/repos/andrejbauer/andromeda/stargazers","contributors_url":"https://api.github.com/repos/andrejbauer/andromeda/contributors","subscribers_url":"https://api.github.com/repos/andrejbauer/andromeda/subscribers","subscription_url":"https://api.github.com/repos/andrejbauer/andromeda/subscription","commits_url":"https://api.github.com/repos/andrejbauer/andromeda/commits{/sha}","git_commits_url":"https://api.github.com/repos/andrejbauer/andromeda/git/commits{/sha}","comments_url":"https://api.github.com/repos/andrejbauer/andromeda/comments{/number}","issue_comment_url":"https://api.github.com/repos/andrejbauer/andromeda/issues/comments{/number}","contents_url":"https://api.github.com/repos/andrejbauer/andromeda/contents/{+path}","compare_url":"https://api.github.com/repos/andrejbauer/andromeda/compare/{base}...{head}","merges_url":"https://api.github.com/repos/andrejbauer/andromeda/merges","archive_url":"https://api.github.com/repos/andrejbauer/andromeda/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/andrejbauer/andromeda/downloads","issues_url":"https://api.github.com/repos/andrejbauer/andromeda/issues{/number}","pulls_url":"https://api.github.com/repos/andrejbauer/andromeda/pulls{/number}","milestones_url":"https://api.github.com/repos/andrejbauer/andromeda/milestones{/number}","notifications_url":"https://api.github.com/repos/andrejbauer/andromeda/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/andrejbauer/andromeda/labels{/name}","releases_url":"https://api.github.com/repos/andrejbauer/andromeda/releases{/id}","deployments_url":"https://api.github.com/repos/andrejbauer/andromeda/deployments","created_at":"2015-11-10T16:15:10Z","updated_at":"2016-01-11T17:55:24Z","pushed_at":"2016-02-12T00:28:41Z","git_url":"git://github.com/andrejbauer/andromeda.git","ssh_url":"git@github.com:andrejbauer/andromeda.git","clone_url":"https://github.com/andrejbauer/andromeda.git","svn_url":"https://github.com/andrejbauer/andromeda","homepage":null,"size":18400,"stargazers_count":1,"watchers_count":1,"language":"OCaml","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":1,"mirror_url":null,"open_issues_count":0,"forks":1,"open_issues":0,"watchers":1,"default_branch":"master"}},"base":{"label":"Andromedans:master","ref":"master","sha":"e6d24c0fa27d358205d735b8ee728c97b199ac87","user":{"login":"Andromedans","id":15786314,"avatar_url":"https://avatars.githubusercontent.com/u/15786314?v=3","gravatar_id":"","url":"https://api.github.com/users/Andromedans","html_url":"https://github.com/Andromedans","followers_url":"https://api.github.com/users/Andromedans/followers","following_url":"https://api.github.com/users/Andromedans/following{/other_user}","gists_url":"https://api.github.com/users/Andromedans/gists{/gist_id}","starred_url":"https://api.github.com/users/Andromedans/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Andromedans/subscriptions","organizations_url":"https://api.github.com/users/Andromedans/orgs","repos_url":"https://api.github.com/users/Andromedans/repos","events_url":"https://api.github.com/users/Andromedans/events{/privacy}","received_events_url":"https://api.github.com/users/Andromedans/received_events","type":"Organization","site_admin":false},"repo":{"id":6548264,"name":"andromeda","full_name":"Andromedans/andromeda","owner":{"login":"Andromedans","id":15786314,"avatar_url":"https://avatars.githubusercontent.com/u/15786314?v=3","gravatar_id":"","url":"https://api.github.com/users/Andromedans","html_url":"https://github.com/Andromedans","followers_url":"https://api.github.com/users/Andromedans/followers","following_url":"https://api.github.com/users/Andromedans/following{/other_user}","gists_url":"https://api.github.com/users/Andromedans/gists{/gist_id}","starred_url":"https://api.github.com/users/Andromedans/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Andromedans/subscriptions","organizations_url":"https://api.github.com/users/Andromedans/orgs","repos_url":"https://api.github.com/users/Andromedans/repos","events_url":"https://api.github.com/users/Andromedans/events{/privacy}","received_events_url":"https://api.github.com/users/Andromedans/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/Andromedans/andromeda","description":"A minimalist implementation of type theory, suitable for experimentation","fork":false,"url":"https://api.github.com/repos/Andromedans/andromeda","forks_url":"https://api.github.com/repos/Andromedans/andromeda/forks","keys_url":"https://api.github.com/repos/Andromedans/andromeda/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Andromedans/andromeda/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Andromedans/andromeda/teams","hooks_url":"https://api.github.com/repos/Andromedans/andromeda/hooks","issue_events_url":"https://api.github.com/repos/Andromedans/andromeda/issues/events{/number}","events_url":"https://api.github.com/repos/Andromedans/andromeda/events","assignees_url":"https://api.github.com/repos/Andromedans/andromeda/assignees{/user}","branches_url":"https://api.github.com/repos/Andromedans/andromeda/branches{/branch}","tags_url":"https://api.github.com/repos/Andromedans/andromeda/tags","blobs_url":"https://api.github.com/repos/Andromedans/andromeda/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Andromedans/andromeda/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Andromedans/andromeda/git/refs{/sha}","trees_url":"https://api.github.com/repos/Andromedans/andromeda/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Andromedans/andromeda/statuses/{sha}","languages_url":"https://api.github.com/repos/Andromedans/andromeda/languages","stargazers_url":"https://api.github.com/repos/Andromedans/andromeda/stargazers","contributors_url":"https://api.github.com/repos/Andromedans/andromeda/contributors","subscribers_url":"https://api.github.com/repos/Andromedans/andromeda/subscribers","subscription_url":"https://api.github.com/repos/Andromedans/andromeda/subscription","commits_url":"https://api.github.com/repos/Andromedans/andromeda/commits{/sha}","git_commits_url":"https://api.github.com/repos/Andromedans/andromeda/git/commits{/sha}","comments_url":"https://api.github.com/repos/Andromedans/andromeda/comments{/number}","issue_comment_url":"https://api.github.com/repos/Andromedans/andromeda/issues/comments{/number}","contents_url":"https://api.github.com/repos/Andromedans/andromeda/contents/{+path}","compare_url":"https://api.github.com/repos/Andromedans/andromeda/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Andromedans/andromeda/merges","archive_url":"https://api.github.com/repos/Andromedans/andromeda/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Andromedans/andromeda/downloads","issues_url":"https://api.github.com/repos/Andromedans/andromeda/issues{/number}","pulls_url":"https://api.github.com/repos/Andromedans/andromeda/pulls{/number}","milestones_url":"https://api.github.com/repos/Andromedans/andromeda/milestones{/number}","notifications_url":"https://api.github.com/repos/Andromedans/andromeda/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Andromedans/andromeda/labels{/name}","releases_url":"https://api.github.com/repos/Andromedans/andromeda/releases{/id}","deployments_url":"https://api.github.com/repos/Andromedans/andromeda/deployments","created_at":"2012-11-05T17:09:00Z","updated_at":"2016-01-20T00:47:10Z","pushed_at":"2016-02-12T09:52:59Z","git_url":"git://github.com/Andromedans/andromeda.git","ssh_url":"git@github.com:Andromedans/andromeda.git","clone_url":"https://github.com/Andromedans/andromeda.git","svn_url":"https://github.com/Andromedans/andromeda","homepage":null,"size":19240,"stargazers_count":108,"watchers_count":108,"language":"OCaml","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":21,"mirror_url":null,"open_issues_count":10,"forks":21,"open_issues":10,"watchers":108,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/Andromedans/andromeda/pulls/224"},"html":{"href":"https://github.com/Andromedans/andromeda/pull/224"},"issue":{"href":"https://api.github.com/repos/Andromedans/andromeda/issues/224"},"comments":{"href":"https://api.github.com/repos/Andromedans/andromeda/issues/224/comments"},"review_comments":{"href":"https://api.github.com/repos/Andromedans/andromeda/pulls/224/comments"},"review_comment":{"href":"https://api.github.com/repos/Andromedans/andromeda/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/Andromedans/andromeda/pulls/224/commits"},"statuses":{"href":"https://api.github.com/repos/Andromedans/andromeda/statuses/3fa39e0687b2664e3a80874906649f128823bccb"}},"merged":false,"mergeable":true,"mergeable_state":"clean","merged_by":null,"comments":2,"review_comments":0,"commits":24,"additions":425,"deletions":279,"changed_files":38}}