{"action":"created","comment":{"url":"https://api.github.com/repos/paf31/monad-unify/pulls/comments/31869800","id":31869800,"diff_hunk":"@@ -0,0 +1,25 @@\n+-- This is a Cabal package environment file.\n+-- THIS FILE IS AUTO-GENERATED. DO NOT EDIT DIRECTLY.\n+-- Please create a 'cabal.config' file in the same directory\n+-- if you want to change the default settings for this sandbox.","path":"cabal.sandbox.config","position":4,"original_position":4,"commit_id":"e4386d4922515fd33c475c57d2a1e4a6c2cd521b","original_commit_id":"e4386d4922515fd33c475c57d2a1e4a6c2cd521b","user":{"login":"garyb","id":693642,"avatar_url":"https://avatars.githubusercontent.com/u/693642?v=3","gravatar_id":"","url":"https://api.github.com/users/garyb","html_url":"https://github.com/garyb","followers_url":"https://api.github.com/users/garyb/followers","following_url":"https://api.github.com/users/garyb/following{/other_user}","gists_url":"https://api.github.com/users/garyb/gists{/gist_id}","starred_url":"https://api.github.com/users/garyb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/garyb/subscriptions","organizations_url":"https://api.github.com/users/garyb/orgs","repos_url":"https://api.github.com/users/garyb/repos","events_url":"https://api.github.com/users/garyb/events{/privacy}","received_events_url":"https://api.github.com/users/garyb/received_events","type":"User","site_admin":false},"body":"You probably didn't mean to commit this :wink:","created_at":"2015-06-06T17:18:40Z","updated_at":"2015-06-06T17:18:40Z","html_url":"https://github.com/paf31/monad-unify/pull/2#discussion_r31869800","pull_request_url":"https://api.github.com/repos/paf31/monad-unify/pulls/2","_links":{"self":{"href":"https://api.github.com/repos/paf31/monad-unify/pulls/comments/31869800"},"html":{"href":"https://github.com/paf31/monad-unify/pull/2#discussion_r31869800"},"pull_request":{"href":"https://api.github.com/repos/paf31/monad-unify/pulls/2"}}},"pull_request":{"url":"https://api.github.com/repos/paf31/monad-unify/pulls/2","id":37093255,"html_url":"https://github.com/paf31/monad-unify/pull/2","diff_url":"https://github.com/paf31/monad-unify/pull/2.diff","patch_url":"https://github.com/paf31/monad-unify/pull/2.patch","issue_url":"https://api.github.com/repos/paf31/monad-unify/issues/2","number":2,"state":"open","locked":false,"title":"Syntax changes, and code cleanup","user":{"login":"athanclark","id":1534966,"avatar_url":"https://avatars.githubusercontent.com/u/1534966?v=3","gravatar_id":"","url":"https://api.github.com/users/athanclark","html_url":"https://github.com/athanclark","followers_url":"https://api.github.com/users/athanclark/followers","following_url":"https://api.github.com/users/athanclark/following{/other_user}","gists_url":"https://api.github.com/users/athanclark/gists{/gist_id}","starred_url":"https://api.github.com/users/athanclark/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/athanclark/subscriptions","organizations_url":"https://api.github.com/users/athanclark/orgs","repos_url":"https://api.github.com/users/athanclark/repos","events_url":"https://api.github.com/users/athanclark/events{/privacy}","received_events_url":"https://api.github.com/users/athanclark/received_events","type":"User","site_admin":false},"body":"This hasn't been tested with <7.10, but I think it is more up-to-date, and `mtl` compatible. I changed some term names from `UnifyState` - I feel like they should be more general rather than cryptic. Also, I changed the `($?)` and `unknowns` to `apply` and `ftv` respectively. There's also been a few other (probably annoying) changes I've made to the file - import order, pragma header, comment format, things like this.","created_at":"2015-06-06T16:53:07Z","updated_at":"2015-06-06T17:18:40Z","closed_at":null,"merged_at":null,"merge_commit_sha":"56aea855b781aeece0a43d8cf1a46581ea7f9ede","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/paf31/monad-unify/pulls/2/commits","review_comments_url":"https://api.github.com/repos/paf31/monad-unify/pulls/2/comments","review_comment_url":"https://api.github.com/repos/paf31/monad-unify/pulls/comments{/number}","comments_url":"https://api.github.com/repos/paf31/monad-unify/issues/2/comments","statuses_url":"https://api.github.com/repos/paf31/monad-unify/statuses/e4386d4922515fd33c475c57d2a1e4a6c2cd521b","head":{"label":"ltext:master","ref":"master","sha":"e4386d4922515fd33c475c57d2a1e4a6c2cd521b","user":{"login":"ltext","id":12532941,"avatar_url":"https://avatars.githubusercontent.com/u/12532941?v=3","gravatar_id":"","url":"https://api.github.com/users/ltext","html_url":"https://github.com/ltext","followers_url":"https://api.github.com/users/ltext/followers","following_url":"https://api.github.com/users/ltext/following{/other_user}","gists_url":"https://api.github.com/users/ltext/gists{/gist_id}","starred_url":"https://api.github.com/users/ltext/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ltext/subscriptions","organizations_url":"https://api.github.com/users/ltext/orgs","repos_url":"https://api.github.com/users/ltext/repos","events_url":"https://api.github.com/users/ltext/events{/privacy}","received_events_url":"https://api.github.com/users/ltext/received_events","type":"Organization","site_admin":false},"repo":{"id":36953754,"name":"monad-unify","full_name":"ltext/monad-unify","owner":{"login":"ltext","id":12532941,"avatar_url":"https://avatars.githubusercontent.com/u/12532941?v=3","gravatar_id":"","url":"https://api.github.com/users/ltext","html_url":"https://github.com/ltext","followers_url":"https://api.github.com/users/ltext/followers","following_url":"https://api.github.com/users/ltext/following{/other_user}","gists_url":"https://api.github.com/users/ltext/gists{/gist_id}","starred_url":"https://api.github.com/users/ltext/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ltext/subscriptions","organizations_url":"https://api.github.com/users/ltext/orgs","repos_url":"https://api.github.com/users/ltext/repos","events_url":"https://api.github.com/users/ltext/events{/privacy}","received_events_url":"https://api.github.com/users/ltext/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/ltext/monad-unify","description":"A library for type-safe first-order unification","fork":true,"url":"https://api.github.com/repos/ltext/monad-unify","forks_url":"https://api.github.com/repos/ltext/monad-unify/forks","keys_url":"https://api.github.com/repos/ltext/monad-unify/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ltext/monad-unify/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ltext/monad-unify/teams","hooks_url":"https://api.github.com/repos/ltext/monad-unify/hooks","issue_events_url":"https://api.github.com/repos/ltext/monad-unify/issues/events{/number}","events_url":"https://api.github.com/repos/ltext/monad-unify/events","assignees_url":"https://api.github.com/repos/ltext/monad-unify/assignees{/user}","branches_url":"https://api.github.com/repos/ltext/monad-unify/branches{/branch}","tags_url":"https://api.github.com/repos/ltext/monad-unify/tags","blobs_url":"https://api.github.com/repos/ltext/monad-unify/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ltext/monad-unify/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ltext/monad-unify/git/refs{/sha}","trees_url":"https://api.github.com/repos/ltext/monad-unify/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ltext/monad-unify/statuses/{sha}","languages_url":"https://api.github.com/repos/ltext/monad-unify/languages","stargazers_url":"https://api.github.com/repos/ltext/monad-unify/stargazers","contributors_url":"https://api.github.com/repos/ltext/monad-unify/contributors","subscribers_url":"https://api.github.com/repos/ltext/monad-unify/subscribers","subscription_url":"https://api.github.com/repos/ltext/monad-unify/subscription","commits_url":"https://api.github.com/repos/ltext/monad-unify/commits{/sha}","git_commits_url":"https://api.github.com/repos/ltext/monad-unify/git/commits{/sha}","comments_url":"https://api.github.com/repos/ltext/monad-unify/comments{/number}","issue_comment_url":"https://api.github.com/repos/ltext/monad-unify/issues/comments{/number}","contents_url":"https://api.github.com/repos/ltext/monad-unify/contents/{+path}","compare_url":"https://api.github.com/repos/ltext/monad-unify/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ltext/monad-unify/merges","archive_url":"https://api.github.com/repos/ltext/monad-unify/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ltext/monad-unify/downloads","issues_url":"https://api.github.com/repos/ltext/monad-unify/issues{/number}","pulls_url":"https://api.github.com/repos/ltext/monad-unify/pulls{/number}","milestones_url":"https://api.github.com/repos/ltext/monad-unify/milestones{/number}","notifications_url":"https://api.github.com/repos/ltext/monad-unify/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ltext/monad-unify/labels{/name}","releases_url":"https://api.github.com/repos/ltext/monad-unify/releases{/id}","created_at":"2015-06-05T20:24:02Z","updated_at":"2015-06-05T20:24:03Z","pushed_at":"2015-06-06T15:01:20Z","git_url":"git://github.com/ltext/monad-unify.git","ssh_url":"git@github.com:ltext/monad-unify.git","clone_url":"https://github.com/ltext/monad-unify.git","svn_url":"https://github.com/ltext/monad-unify","homepage":"http://hackage.haskell.org/package/monad-unify","size":89,"stargazers_count":0,"watchers_count":0,"language":"Haskell","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":0,"default_branch":"master"}},"base":{"label":"paf31:master","ref":"master","sha":"95d05b0b496ee900fd805de0a65cb29d199f0e3d","user":{"login":"paf31","id":630306,"avatar_url":"https://avatars.githubusercontent.com/u/630306?v=3","gravatar_id":"","url":"https://api.github.com/users/paf31","html_url":"https://github.com/paf31","followers_url":"https://api.github.com/users/paf31/followers","following_url":"https://api.github.com/users/paf31/following{/other_user}","gists_url":"https://api.github.com/users/paf31/gists{/gist_id}","starred_url":"https://api.github.com/users/paf31/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paf31/subscriptions","organizations_url":"https://api.github.com/users/paf31/orgs","repos_url":"https://api.github.com/users/paf31/repos","events_url":"https://api.github.com/users/paf31/events{/privacy}","received_events_url":"https://api.github.com/users/paf31/received_events","type":"User","site_admin":false},"repo":{"id":16370653,"name":"monad-unify","full_name":"paf31/monad-unify","owner":{"login":"paf31","id":630306,"avatar_url":"https://avatars.githubusercontent.com/u/630306?v=3","gravatar_id":"","url":"https://api.github.com/users/paf31","html_url":"https://github.com/paf31","followers_url":"https://api.github.com/users/paf31/followers","following_url":"https://api.github.com/users/paf31/following{/other_user}","gists_url":"https://api.github.com/users/paf31/gists{/gist_id}","starred_url":"https://api.github.com/users/paf31/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paf31/subscriptions","organizations_url":"https://api.github.com/users/paf31/orgs","repos_url":"https://api.github.com/users/paf31/repos","events_url":"https://api.github.com/users/paf31/events{/privacy}","received_events_url":"https://api.github.com/users/paf31/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/paf31/monad-unify","description":"A library for type-safe first-order unification","fork":false,"url":"https://api.github.com/repos/paf31/monad-unify","forks_url":"https://api.github.com/repos/paf31/monad-unify/forks","keys_url":"https://api.github.com/repos/paf31/monad-unify/keys{/key_id}","collaborators_url":"https://api.github.com/repos/paf31/monad-unify/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/paf31/monad-unify/teams","hooks_url":"https://api.github.com/repos/paf31/monad-unify/hooks","issue_events_url":"https://api.github.com/repos/paf31/monad-unify/issues/events{/number}","events_url":"https://api.github.com/repos/paf31/monad-unify/events","assignees_url":"https://api.github.com/repos/paf31/monad-unify/assignees{/user}","branches_url":"https://api.github.com/repos/paf31/monad-unify/branches{/branch}","tags_url":"https://api.github.com/repos/paf31/monad-unify/tags","blobs_url":"https://api.github.com/repos/paf31/monad-unify/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/paf31/monad-unify/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/paf31/monad-unify/git/refs{/sha}","trees_url":"https://api.github.com/repos/paf31/monad-unify/git/trees{/sha}","statuses_url":"https://api.github.com/repos/paf31/monad-unify/statuses/{sha}","languages_url":"https://api.github.com/repos/paf31/monad-unify/languages","stargazers_url":"https://api.github.com/repos/paf31/monad-unify/stargazers","contributors_url":"https://api.github.com/repos/paf31/monad-unify/contributors","subscribers_url":"https://api.github.com/repos/paf31/monad-unify/subscribers","subscription_url":"https://api.github.com/repos/paf31/monad-unify/subscription","commits_url":"https://api.github.com/repos/paf31/monad-unify/commits{/sha}","git_commits_url":"https://api.github.com/repos/paf31/monad-unify/git/commits{/sha}","comments_url":"https://api.github.com/repos/paf31/monad-unify/comments{/number}","issue_comment_url":"https://api.github.com/repos/paf31/monad-unify/issues/comments{/number}","contents_url":"https://api.github.com/repos/paf31/monad-unify/contents/{+path}","compare_url":"https://api.github.com/repos/paf31/monad-unify/compare/{base}...{head}","merges_url":"https://api.github.com/repos/paf31/monad-unify/merges","archive_url":"https://api.github.com/repos/paf31/monad-unify/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/paf31/monad-unify/downloads","issues_url":"https://api.github.com/repos/paf31/monad-unify/issues{/number}","pulls_url":"https://api.github.com/repos/paf31/monad-unify/pulls{/number}","milestones_url":"https://api.github.com/repos/paf31/monad-unify/milestones{/number}","notifications_url":"https://api.github.com/repos/paf31/monad-unify/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/paf31/monad-unify/labels{/name}","releases_url":"https://api.github.com/repos/paf31/monad-unify/releases{/id}","created_at":"2014-01-30T07:07:17Z","updated_at":"2014-04-15T06:52:31Z","pushed_at":"2015-06-06T16:53:07Z","git_url":"git://github.com/paf31/monad-unify.git","ssh_url":"git@github.com:paf31/monad-unify.git","clone_url":"https://github.com/paf31/monad-unify.git","svn_url":"https://github.com/paf31/monad-unify","homepage":"http://hackage.haskell.org/package/monad-unify","size":180,"stargazers_count":0,"watchers_count":0,"language":"Haskell","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":2,"mirror_url":null,"open_issues_count":2,"forks":2,"open_issues":2,"watchers":0,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/paf31/monad-unify/pulls/2"},"html":{"href":"https://github.com/paf31/monad-unify/pull/2"},"issue":{"href":"https://api.github.com/repos/paf31/monad-unify/issues/2"},"comments":{"href":"https://api.github.com/repos/paf31/monad-unify/issues/2/comments"},"review_comments":{"href":"https://api.github.com/repos/paf31/monad-unify/pulls/2/comments"},"review_comment":{"href":"https://api.github.com/repos/paf31/monad-unify/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/paf31/monad-unify/pulls/2/commits"},"statuses":{"href":"https://api.github.com/repos/paf31/monad-unify/statuses/e4386d4922515fd33c475c57d2a1e4a6c2cd521b"}}}}