{"action":"created","comment":{"url":"https://api.github.com/repos/purescript/purescript/pulls/comments/40715328","id":40715328,"diff_hunk":"@@ -69,7 +70,8 @@ data Binder\n   -- |\n   -- A binder with source position information\n   --\n-  | PositionedBinder SourceSpan [Comment] Binder deriving (Show, Read, Eq, D.Data, D.Typeable)\n+  | PositionedBinder SourceSpan [Comment] Binder\n+  | TypedBinder Type Binder deriving (Show, Read, Eq, D.Data, D.Typeable)  ","path":"src/Language/PureScript/AST/Binders.hs","position":14,"original_position":14,"commit_id":"a640157024ed4f1d6d4b397c70708b306c92f05b","original_commit_id":"a640157024ed4f1d6d4b397c70708b306c92f05b","user":{"login":"5outh","id":959901,"avatar_url":"https://avatars.githubusercontent.com/u/959901?v=3","gravatar_id":"","url":"https://api.github.com/users/5outh","html_url":"https://github.com/5outh","followers_url":"https://api.github.com/users/5outh/followers","following_url":"https://api.github.com/users/5outh/following{/other_user}","gists_url":"https://api.github.com/users/5outh/gists{/gist_id}","starred_url":"https://api.github.com/users/5outh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/5outh/subscriptions","organizations_url":"https://api.github.com/users/5outh/orgs","repos_url":"https://api.github.com/users/5outh/repos","events_url":"https://api.github.com/users/5outh/events{/privacy}","received_events_url":"https://api.github.com/users/5outh/received_events","type":"User","site_admin":false},"body":"Needs documentation","created_at":"2015-09-29T19:12:10Z","updated_at":"2015-09-29T19:12:10Z","html_url":"https://github.com/purescript/purescript/pull/1495#discussion_r40715328","pull_request_url":"https://api.github.com/repos/purescript/purescript/pulls/1495","_links":{"self":{"href":"https://api.github.com/repos/purescript/purescript/pulls/comments/40715328"},"html":{"href":"https://github.com/purescript/purescript/pull/1495#discussion_r40715328"},"pull_request":{"href":"https://api.github.com/repos/purescript/purescript/pulls/1495"}}},"pull_request":{"url":"https://api.github.com/repos/purescript/purescript/pulls/1495","id":46318835,"html_url":"https://github.com/purescript/purescript/pull/1495","diff_url":"https://github.com/purescript/purescript/pull/1495.diff","patch_url":"https://github.com/purescript/purescript/pull/1495.patch","issue_url":"https://api.github.com/repos/purescript/purescript/issues/1495","number":1495,"state":"open","locked":false,"title":"Typed Binders (WIP)","user":{"login":"5outh","id":959901,"avatar_url":"https://avatars.githubusercontent.com/u/959901?v=3","gravatar_id":"","url":"https://api.github.com/users/5outh","html_url":"https://github.com/5outh","followers_url":"https://api.github.com/users/5outh/followers","following_url":"https://api.github.com/users/5outh/following{/other_user}","gists_url":"https://api.github.com/users/5outh/gists{/gist_id}","starred_url":"https://api.github.com/users/5outh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/5outh/subscriptions","organizations_url":"https://api.github.com/users/5outh/orgs","repos_url":"https://api.github.com/users/5outh/repos","events_url":"https://api.github.com/users/5outh/events{/privacy}","received_events_url":"https://api.github.com/users/5outh/received_events","type":"User","site_admin":false},"body":"This is still WIP, and doesn't fully work. I have a number of questions, as I'm trying to wrap my head around a lot of the codebase.\r\n\r\nThe error I'm getting while trying to compile the module in question is:\r\n\r\n```\r\nFailures:\r\n/Users/Ben/projects/purescript/examples/passing/TypedBinders.purs: Error found:\r\nError in module Main:\r\nError in value declaration test:\r\nError checking that type\r\n  Main.Tuple Prim.String _0\r\nsubsumes type\r\n  Main.Tuple Prim.String Prim.String\r\nError at /Users/Ben/projects/purescript/examples/passing/TypedBinders.purs line 40, column 8 - line 46, column 1:\r\n  Cannot unify type\r\n    String\r\n  with type\r\n    Prim.String\r\nSee https://github.com/purescript/purescript/wiki/Error-Code-TypesDoNotUnify for more information, or to contribute content related to this error.\r\n```\r\n\r\nA number of other errors pop up before that one, but I think a second set of eyes (from someone more familiar with the project than me) might be able to see something I missed/point out some things.\r\n\r\nRelated: #1227","created_at":"2015-09-29T19:10:47Z","updated_at":"2015-09-29T19:12:10Z","closed_at":null,"merged_at":null,"merge_commit_sha":"7674babed980dbb75b6e4b4f50e69692e5abdfd1","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/purescript/purescript/pulls/1495/commits","review_comments_url":"https://api.github.com/repos/purescript/purescript/pulls/1495/comments","review_comment_url":"https://api.github.com/repos/purescript/purescript/pulls/comments{/number}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1495/comments","statuses_url":"https://api.github.com/repos/purescript/purescript/statuses/a640157024ed4f1d6d4b397c70708b306c92f05b","head":{"label":"5outh:typed-binders","ref":"typed-binders","sha":"a640157024ed4f1d6d4b397c70708b306c92f05b","user":{"login":"5outh","id":959901,"avatar_url":"https://avatars.githubusercontent.com/u/959901?v=3","gravatar_id":"","url":"https://api.github.com/users/5outh","html_url":"https://github.com/5outh","followers_url":"https://api.github.com/users/5outh/followers","following_url":"https://api.github.com/users/5outh/following{/other_user}","gists_url":"https://api.github.com/users/5outh/gists{/gist_id}","starred_url":"https://api.github.com/users/5outh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/5outh/subscriptions","organizations_url":"https://api.github.com/users/5outh/orgs","repos_url":"https://api.github.com/users/5outh/repos","events_url":"https://api.github.com/users/5outh/events{/privacy}","received_events_url":"https://api.github.com/users/5outh/received_events","type":"User","site_admin":false},"repo":{"id":22652805,"name":"purescript","full_name":"5outh/purescript","owner":{"login":"5outh","id":959901,"avatar_url":"https://avatars.githubusercontent.com/u/959901?v=3","gravatar_id":"","url":"https://api.github.com/users/5outh","html_url":"https://github.com/5outh","followers_url":"https://api.github.com/users/5outh/followers","following_url":"https://api.github.com/users/5outh/following{/other_user}","gists_url":"https://api.github.com/users/5outh/gists{/gist_id}","starred_url":"https://api.github.com/users/5outh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/5outh/subscriptions","organizations_url":"https://api.github.com/users/5outh/orgs","repos_url":"https://api.github.com/users/5outh/repos","events_url":"https://api.github.com/users/5outh/events{/privacy}","received_events_url":"https://api.github.com/users/5outh/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/5outh/purescript","description":"A small strongly, statically typed language which compiles to Javascript","fork":true,"url":"https://api.github.com/repos/5outh/purescript","forks_url":"https://api.github.com/repos/5outh/purescript/forks","keys_url":"https://api.github.com/repos/5outh/purescript/keys{/key_id}","collaborators_url":"https://api.github.com/repos/5outh/purescript/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/5outh/purescript/teams","hooks_url":"https://api.github.com/repos/5outh/purescript/hooks","issue_events_url":"https://api.github.com/repos/5outh/purescript/issues/events{/number}","events_url":"https://api.github.com/repos/5outh/purescript/events","assignees_url":"https://api.github.com/repos/5outh/purescript/assignees{/user}","branches_url":"https://api.github.com/repos/5outh/purescript/branches{/branch}","tags_url":"https://api.github.com/repos/5outh/purescript/tags","blobs_url":"https://api.github.com/repos/5outh/purescript/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/5outh/purescript/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/5outh/purescript/git/refs{/sha}","trees_url":"https://api.github.com/repos/5outh/purescript/git/trees{/sha}","statuses_url":"https://api.github.com/repos/5outh/purescript/statuses/{sha}","languages_url":"https://api.github.com/repos/5outh/purescript/languages","stargazers_url":"https://api.github.com/repos/5outh/purescript/stargazers","contributors_url":"https://api.github.com/repos/5outh/purescript/contributors","subscribers_url":"https://api.github.com/repos/5outh/purescript/subscribers","subscription_url":"https://api.github.com/repos/5outh/purescript/subscription","commits_url":"https://api.github.com/repos/5outh/purescript/commits{/sha}","git_commits_url":"https://api.github.com/repos/5outh/purescript/git/commits{/sha}","comments_url":"https://api.github.com/repos/5outh/purescript/comments{/number}","issue_comment_url":"https://api.github.com/repos/5outh/purescript/issues/comments{/number}","contents_url":"https://api.github.com/repos/5outh/purescript/contents/{+path}","compare_url":"https://api.github.com/repos/5outh/purescript/compare/{base}...{head}","merges_url":"https://api.github.com/repos/5outh/purescript/merges","archive_url":"https://api.github.com/repos/5outh/purescript/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/5outh/purescript/downloads","issues_url":"https://api.github.com/repos/5outh/purescript/issues{/number}","pulls_url":"https://api.github.com/repos/5outh/purescript/pulls{/number}","milestones_url":"https://api.github.com/repos/5outh/purescript/milestones{/number}","notifications_url":"https://api.github.com/repos/5outh/purescript/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/5outh/purescript/labels{/name}","releases_url":"https://api.github.com/repos/5outh/purescript/releases{/id}","created_at":"2014-08-05T17:32:14Z","updated_at":"2014-08-07T02:12:09Z","pushed_at":"2015-09-29T19:06:50Z","git_url":"git://github.com/5outh/purescript.git","ssh_url":"git@github.com:5outh/purescript.git","clone_url":"https://github.com/5outh/purescript.git","svn_url":"https://github.com/5outh/purescript","homepage":"http://purescript.org","size":2193,"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":"purescript:master","ref":"master","sha":"91edf1c8a282550c7dbbca050b2f0b595ceeaf7d","user":{"login":"purescript","id":6556677,"avatar_url":"https://avatars.githubusercontent.com/u/6556677?v=3","gravatar_id":"","url":"https://api.github.com/users/purescript","html_url":"https://github.com/purescript","followers_url":"https://api.github.com/users/purescript/followers","following_url":"https://api.github.com/users/purescript/following{/other_user}","gists_url":"https://api.github.com/users/purescript/gists{/gist_id}","starred_url":"https://api.github.com/users/purescript/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/purescript/subscriptions","organizations_url":"https://api.github.com/users/purescript/orgs","repos_url":"https://api.github.com/users/purescript/repos","events_url":"https://api.github.com/users/purescript/events{/privacy}","received_events_url":"https://api.github.com/users/purescript/received_events","type":"Organization","site_admin":false},"repo":{"id":13206906,"name":"purescript","full_name":"purescript/purescript","owner":{"login":"purescript","id":6556677,"avatar_url":"https://avatars.githubusercontent.com/u/6556677?v=3","gravatar_id":"","url":"https://api.github.com/users/purescript","html_url":"https://github.com/purescript","followers_url":"https://api.github.com/users/purescript/followers","following_url":"https://api.github.com/users/purescript/following{/other_user}","gists_url":"https://api.github.com/users/purescript/gists{/gist_id}","starred_url":"https://api.github.com/users/purescript/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/purescript/subscriptions","organizations_url":"https://api.github.com/users/purescript/orgs","repos_url":"https://api.github.com/users/purescript/repos","events_url":"https://api.github.com/users/purescript/events{/privacy}","received_events_url":"https://api.github.com/users/purescript/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/purescript/purescript","description":"A small strongly typed language that compiles to Javascript","fork":false,"url":"https://api.github.com/repos/purescript/purescript","forks_url":"https://api.github.com/repos/purescript/purescript/forks","keys_url":"https://api.github.com/repos/purescript/purescript/keys{/key_id}","collaborators_url":"https://api.github.com/repos/purescript/purescript/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/purescript/purescript/teams","hooks_url":"https://api.github.com/repos/purescript/purescript/hooks","issue_events_url":"https://api.github.com/repos/purescript/purescript/issues/events{/number}","events_url":"https://api.github.com/repos/purescript/purescript/events","assignees_url":"https://api.github.com/repos/purescript/purescript/assignees{/user}","branches_url":"https://api.github.com/repos/purescript/purescript/branches{/branch}","tags_url":"https://api.github.com/repos/purescript/purescript/tags","blobs_url":"https://api.github.com/repos/purescript/purescript/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/purescript/purescript/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/purescript/purescript/git/refs{/sha}","trees_url":"https://api.github.com/repos/purescript/purescript/git/trees{/sha}","statuses_url":"https://api.github.com/repos/purescript/purescript/statuses/{sha}","languages_url":"https://api.github.com/repos/purescript/purescript/languages","stargazers_url":"https://api.github.com/repos/purescript/purescript/stargazers","contributors_url":"https://api.github.com/repos/purescript/purescript/contributors","subscribers_url":"https://api.github.com/repos/purescript/purescript/subscribers","subscription_url":"https://api.github.com/repos/purescript/purescript/subscription","commits_url":"https://api.github.com/repos/purescript/purescript/commits{/sha}","git_commits_url":"https://api.github.com/repos/purescript/purescript/git/commits{/sha}","comments_url":"https://api.github.com/repos/purescript/purescript/comments{/number}","issue_comment_url":"https://api.github.com/repos/purescript/purescript/issues/comments{/number}","contents_url":"https://api.github.com/repos/purescript/purescript/contents/{+path}","compare_url":"https://api.github.com/repos/purescript/purescript/compare/{base}...{head}","merges_url":"https://api.github.com/repos/purescript/purescript/merges","archive_url":"https://api.github.com/repos/purescript/purescript/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/purescript/purescript/downloads","issues_url":"https://api.github.com/repos/purescript/purescript/issues{/number}","pulls_url":"https://api.github.com/repos/purescript/purescript/pulls{/number}","milestones_url":"https://api.github.com/repos/purescript/purescript/milestones{/number}","notifications_url":"https://api.github.com/repos/purescript/purescript/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/purescript/purescript/labels{/name}","releases_url":"https://api.github.com/repos/purescript/purescript/releases{/id}","created_at":"2013-09-30T05:29:23Z","updated_at":"2015-09-28T23:45:21Z","pushed_at":"2015-09-29T19:10:47Z","git_url":"git://github.com/purescript/purescript.git","ssh_url":"git@github.com:purescript/purescript.git","clone_url":"https://github.com/purescript/purescript.git","svn_url":"https://github.com/purescript/purescript","homepage":"http://purescript.org","size":12767,"stargazers_count":1806,"watchers_count":1806,"language":"Haskell","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":154,"mirror_url":null,"open_issues_count":202,"forks":154,"open_issues":202,"watchers":1806,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/purescript/purescript/pulls/1495"},"html":{"href":"https://github.com/purescript/purescript/pull/1495"},"issue":{"href":"https://api.github.com/repos/purescript/purescript/issues/1495"},"comments":{"href":"https://api.github.com/repos/purescript/purescript/issues/1495/comments"},"review_comments":{"href":"https://api.github.com/repos/purescript/purescript/pulls/1495/comments"},"review_comment":{"href":"https://api.github.com/repos/purescript/purescript/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/purescript/purescript/pulls/1495/commits"},"statuses":{"href":"https://api.github.com/repos/purescript/purescript/statuses/a640157024ed4f1d6d4b397c70708b306c92f05b"}}}}