{"action":"created","comment":{"url":"https://api.github.com/repos/wandernauta/Groep10/pulls/comments/27251395","id":27251395,"diff_hunk":"@@ -0,0 +1,4 @@\n+/**\n+ * Provides an environment for Haskell.\n+ */\n+package nl.utwente.group10.haskell.env;","path":"Code/src/main/java/nl/utwente/group10/haskell/env/package-info.java","position":4,"original_position":4,"commit_id":"5f0bb516c2bcac5afd0adf3510f641dbeea070e2","original_commit_id":"5f0bb516c2bcac5afd0adf3510f641dbeea070e2","user":{"login":"wandernauta","id":126832,"avatar_url":"https://avatars.githubusercontent.com/u/126832?v=3","gravatar_id":"","url":"https://api.github.com/users/wandernauta","html_url":"https://github.com/wandernauta","followers_url":"https://api.github.com/users/wandernauta/followers","following_url":"https://api.github.com/users/wandernauta/following{/other_user}","gists_url":"https://api.github.com/users/wandernauta/gists{/gist_id}","starred_url":"https://api.github.com/users/wandernauta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wandernauta/subscriptions","organizations_url":"https://api.github.com/users/wandernauta/orgs","repos_url":"https://api.github.com/users/wandernauta/repos","events_url":"https://api.github.com/users/wandernauta/events{/privacy}","received_events_url":"https://api.github.com/users/wandernauta/received_events","type":"User","site_admin":false},"body":"Newline end-of-file missing here and on some other new files. \r\n\r\n(Hint: File > Settings > Editor > General > Other > Ensure line feed at end of file on Save)","created_at":"2015-03-26T20:15:33Z","updated_at":"2015-03-26T20:15:33Z","html_url":"https://github.com/wandernauta/Groep10/pull/25#discussion_r27251395","pull_request_url":"https://api.github.com/repos/wandernauta/Groep10/pulls/25","_links":{"self":{"href":"https://api.github.com/repos/wandernauta/Groep10/pulls/comments/27251395"},"html":{"href":"https://github.com/wandernauta/Groep10/pull/25#discussion_r27251395"},"pull_request":{"href":"https://api.github.com/repos/wandernauta/Groep10/pulls/25"}}},"pull_request":{"url":"https://api.github.com/repos/wandernauta/Groep10/pulls/25","id":32051536,"html_url":"https://github.com/wandernauta/Groep10/pull/25","diff_url":"https://github.com/wandernauta/Groep10/pull/25.diff","patch_url":"https://github.com/wandernauta/Groep10/pull/25.patch","issue_url":"https://api.github.com/repos/wandernauta/Groep10/issues/25","number":25,"state":"open","locked":false,"title":"Refactor type system to use Hindley-Milner type inference","user":{"login":"jjkester","id":177344,"avatar_url":"https://avatars.githubusercontent.com/u/177344?v=3","gravatar_id":"","url":"https://api.github.com/users/jjkester","html_url":"https://github.com/jjkester","followers_url":"https://api.github.com/users/jjkester/followers","following_url":"https://api.github.com/users/jjkester/following{/other_user}","gists_url":"https://api.github.com/users/jjkester/gists{/gist_id}","starred_url":"https://api.github.com/users/jjkester/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jjkester/subscriptions","organizations_url":"https://api.github.com/users/jjkester/orgs","repos_url":"https://api.github.com/users/jjkester/repos","events_url":"https://api.github.com/users/jjkester/events{/privacy}","received_events_url":"https://api.github.com/users/jjkester/received_events","type":"User","site_admin":false},"body":"Introduces very large changes under the hood, complete with API breaking changes. All code that was present at the creation of this branch has been ported to the new API, including the type parser.\r\n\r\nMajor changes:\r\n- Experimental support for type classes dropped until further notice.a\r\n- API changes - code using classes from the ```haskell``` package should be checked.\r\n- Using a well-known, mathematically proven type inference (although the implementation is not necessarily mathematically correct).\r\n- Better environment management\r\n- XML-based catalog for supported Haskell functions","created_at":"2015-03-26T19:23:37Z","updated_at":"2015-03-26T20:15:33Z","closed_at":null,"merged_at":null,"merge_commit_sha":"96ced9ba20fc523098f5c11d0af9991565d493de","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/wandernauta/Groep10/pulls/25/commits","review_comments_url":"https://api.github.com/repos/wandernauta/Groep10/pulls/25/comments","review_comment_url":"https://api.github.com/repos/wandernauta/Groep10/pulls/comments{/number}","comments_url":"https://api.github.com/repos/wandernauta/Groep10/issues/25/comments","statuses_url":"https://api.github.com/repos/wandernauta/Groep10/statuses/5f0bb516c2bcac5afd0adf3510f641dbeea070e2","head":{"label":"wandernauta:hindley-migration","ref":"hindley-migration","sha":"5f0bb516c2bcac5afd0adf3510f641dbeea070e2","user":{"login":"wandernauta","id":126832,"avatar_url":"https://avatars.githubusercontent.com/u/126832?v=3","gravatar_id":"","url":"https://api.github.com/users/wandernauta","html_url":"https://github.com/wandernauta","followers_url":"https://api.github.com/users/wandernauta/followers","following_url":"https://api.github.com/users/wandernauta/following{/other_user}","gists_url":"https://api.github.com/users/wandernauta/gists{/gist_id}","starred_url":"https://api.github.com/users/wandernauta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wandernauta/subscriptions","organizations_url":"https://api.github.com/users/wandernauta/orgs","repos_url":"https://api.github.com/users/wandernauta/repos","events_url":"https://api.github.com/users/wandernauta/events{/privacy}","received_events_url":"https://api.github.com/users/wandernauta/received_events","type":"User","site_admin":false},"repo":{"id":30242992,"name":"Groep10","full_name":"wandernauta/Groep10","owner":{"login":"wandernauta","id":126832,"avatar_url":"https://avatars.githubusercontent.com/u/126832?v=3","gravatar_id":"","url":"https://api.github.com/users/wandernauta","html_url":"https://github.com/wandernauta","followers_url":"https://api.github.com/users/wandernauta/followers","following_url":"https://api.github.com/users/wandernauta/following{/other_user}","gists_url":"https://api.github.com/users/wandernauta/gists{/gist_id}","starred_url":"https://api.github.com/users/wandernauta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wandernauta/subscriptions","organizations_url":"https://api.github.com/users/wandernauta/orgs","repos_url":"https://api.github.com/users/wandernauta/repos","events_url":"https://api.github.com/users/wandernauta/events{/privacy}","received_events_url":"https://api.github.com/users/wandernauta/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/wandernauta/Groep10","description":"Ontwerpproject.","fork":false,"url":"https://api.github.com/repos/wandernauta/Groep10","forks_url":"https://api.github.com/repos/wandernauta/Groep10/forks","keys_url":"https://api.github.com/repos/wandernauta/Groep10/keys{/key_id}","collaborators_url":"https://api.github.com/repos/wandernauta/Groep10/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/wandernauta/Groep10/teams","hooks_url":"https://api.github.com/repos/wandernauta/Groep10/hooks","issue_events_url":"https://api.github.com/repos/wandernauta/Groep10/issues/events{/number}","events_url":"https://api.github.com/repos/wandernauta/Groep10/events","assignees_url":"https://api.github.com/repos/wandernauta/Groep10/assignees{/user}","branches_url":"https://api.github.com/repos/wandernauta/Groep10/branches{/branch}","tags_url":"https://api.github.com/repos/wandernauta/Groep10/tags","blobs_url":"https://api.github.com/repos/wandernauta/Groep10/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/wandernauta/Groep10/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/wandernauta/Groep10/git/refs{/sha}","trees_url":"https://api.github.com/repos/wandernauta/Groep10/git/trees{/sha}","statuses_url":"https://api.github.com/repos/wandernauta/Groep10/statuses/{sha}","languages_url":"https://api.github.com/repos/wandernauta/Groep10/languages","stargazers_url":"https://api.github.com/repos/wandernauta/Groep10/stargazers","contributors_url":"https://api.github.com/repos/wandernauta/Groep10/contributors","subscribers_url":"https://api.github.com/repos/wandernauta/Groep10/subscribers","subscription_url":"https://api.github.com/repos/wandernauta/Groep10/subscription","commits_url":"https://api.github.com/repos/wandernauta/Groep10/commits{/sha}","git_commits_url":"https://api.github.com/repos/wandernauta/Groep10/git/commits{/sha}","comments_url":"https://api.github.com/repos/wandernauta/Groep10/comments{/number}","issue_comment_url":"https://api.github.com/repos/wandernauta/Groep10/issues/comments{/number}","contents_url":"https://api.github.com/repos/wandernauta/Groep10/contents/{+path}","compare_url":"https://api.github.com/repos/wandernauta/Groep10/compare/{base}...{head}","merges_url":"https://api.github.com/repos/wandernauta/Groep10/merges","archive_url":"https://api.github.com/repos/wandernauta/Groep10/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/wandernauta/Groep10/downloads","issues_url":"https://api.github.com/repos/wandernauta/Groep10/issues{/number}","pulls_url":"https://api.github.com/repos/wandernauta/Groep10/pulls{/number}","milestones_url":"https://api.github.com/repos/wandernauta/Groep10/milestones{/number}","notifications_url":"https://api.github.com/repos/wandernauta/Groep10/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/wandernauta/Groep10/labels{/name}","releases_url":"https://api.github.com/repos/wandernauta/Groep10/releases{/id}","created_at":"2015-02-03T13:04:49Z","updated_at":"2015-03-26T19:17:14Z","pushed_at":"2015-03-26T19:23:37Z","git_url":"git://github.com/wandernauta/Groep10.git","ssh_url":"git@github.com:wandernauta/Groep10.git","clone_url":"https://github.com/wandernauta/Groep10.git","svn_url":"https://github.com/wandernauta/Groep10","homepage":null,"size":2423,"stargazers_count":0,"watchers_count":0,"language":"Java","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":2,"forks":0,"open_issues":2,"watchers":0,"default_branch":"master"}},"base":{"label":"wandernauta:master","ref":"master","sha":"f157337ba6941edbbd440b0abafacf6d79927a8d","user":{"login":"wandernauta","id":126832,"avatar_url":"https://avatars.githubusercontent.com/u/126832?v=3","gravatar_id":"","url":"https://api.github.com/users/wandernauta","html_url":"https://github.com/wandernauta","followers_url":"https://api.github.com/users/wandernauta/followers","following_url":"https://api.github.com/users/wandernauta/following{/other_user}","gists_url":"https://api.github.com/users/wandernauta/gists{/gist_id}","starred_url":"https://api.github.com/users/wandernauta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wandernauta/subscriptions","organizations_url":"https://api.github.com/users/wandernauta/orgs","repos_url":"https://api.github.com/users/wandernauta/repos","events_url":"https://api.github.com/users/wandernauta/events{/privacy}","received_events_url":"https://api.github.com/users/wandernauta/received_events","type":"User","site_admin":false},"repo":{"id":30242992,"name":"Groep10","full_name":"wandernauta/Groep10","owner":{"login":"wandernauta","id":126832,"avatar_url":"https://avatars.githubusercontent.com/u/126832?v=3","gravatar_id":"","url":"https://api.github.com/users/wandernauta","html_url":"https://github.com/wandernauta","followers_url":"https://api.github.com/users/wandernauta/followers","following_url":"https://api.github.com/users/wandernauta/following{/other_user}","gists_url":"https://api.github.com/users/wandernauta/gists{/gist_id}","starred_url":"https://api.github.com/users/wandernauta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wandernauta/subscriptions","organizations_url":"https://api.github.com/users/wandernauta/orgs","repos_url":"https://api.github.com/users/wandernauta/repos","events_url":"https://api.github.com/users/wandernauta/events{/privacy}","received_events_url":"https://api.github.com/users/wandernauta/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/wandernauta/Groep10","description":"Ontwerpproject.","fork":false,"url":"https://api.github.com/repos/wandernauta/Groep10","forks_url":"https://api.github.com/repos/wandernauta/Groep10/forks","keys_url":"https://api.github.com/repos/wandernauta/Groep10/keys{/key_id}","collaborators_url":"https://api.github.com/repos/wandernauta/Groep10/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/wandernauta/Groep10/teams","hooks_url":"https://api.github.com/repos/wandernauta/Groep10/hooks","issue_events_url":"https://api.github.com/repos/wandernauta/Groep10/issues/events{/number}","events_url":"https://api.github.com/repos/wandernauta/Groep10/events","assignees_url":"https://api.github.com/repos/wandernauta/Groep10/assignees{/user}","branches_url":"https://api.github.com/repos/wandernauta/Groep10/branches{/branch}","tags_url":"https://api.github.com/repos/wandernauta/Groep10/tags","blobs_url":"https://api.github.com/repos/wandernauta/Groep10/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/wandernauta/Groep10/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/wandernauta/Groep10/git/refs{/sha}","trees_url":"https://api.github.com/repos/wandernauta/Groep10/git/trees{/sha}","statuses_url":"https://api.github.com/repos/wandernauta/Groep10/statuses/{sha}","languages_url":"https://api.github.com/repos/wandernauta/Groep10/languages","stargazers_url":"https://api.github.com/repos/wandernauta/Groep10/stargazers","contributors_url":"https://api.github.com/repos/wandernauta/Groep10/contributors","subscribers_url":"https://api.github.com/repos/wandernauta/Groep10/subscribers","subscription_url":"https://api.github.com/repos/wandernauta/Groep10/subscription","commits_url":"https://api.github.com/repos/wandernauta/Groep10/commits{/sha}","git_commits_url":"https://api.github.com/repos/wandernauta/Groep10/git/commits{/sha}","comments_url":"https://api.github.com/repos/wandernauta/Groep10/comments{/number}","issue_comment_url":"https://api.github.com/repos/wandernauta/Groep10/issues/comments{/number}","contents_url":"https://api.github.com/repos/wandernauta/Groep10/contents/{+path}","compare_url":"https://api.github.com/repos/wandernauta/Groep10/compare/{base}...{head}","merges_url":"https://api.github.com/repos/wandernauta/Groep10/merges","archive_url":"https://api.github.com/repos/wandernauta/Groep10/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/wandernauta/Groep10/downloads","issues_url":"https://api.github.com/repos/wandernauta/Groep10/issues{/number}","pulls_url":"https://api.github.com/repos/wandernauta/Groep10/pulls{/number}","milestones_url":"https://api.github.com/repos/wandernauta/Groep10/milestones{/number}","notifications_url":"https://api.github.com/repos/wandernauta/Groep10/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/wandernauta/Groep10/labels{/name}","releases_url":"https://api.github.com/repos/wandernauta/Groep10/releases{/id}","created_at":"2015-02-03T13:04:49Z","updated_at":"2015-03-26T19:17:14Z","pushed_at":"2015-03-26T19:23:37Z","git_url":"git://github.com/wandernauta/Groep10.git","ssh_url":"git@github.com:wandernauta/Groep10.git","clone_url":"https://github.com/wandernauta/Groep10.git","svn_url":"https://github.com/wandernauta/Groep10","homepage":null,"size":2423,"stargazers_count":0,"watchers_count":0,"language":"Java","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":2,"forks":0,"open_issues":2,"watchers":0,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/wandernauta/Groep10/pulls/25"},"html":{"href":"https://github.com/wandernauta/Groep10/pull/25"},"issue":{"href":"https://api.github.com/repos/wandernauta/Groep10/issues/25"},"comments":{"href":"https://api.github.com/repos/wandernauta/Groep10/issues/25/comments"},"review_comments":{"href":"https://api.github.com/repos/wandernauta/Groep10/pulls/25/comments"},"review_comment":{"href":"https://api.github.com/repos/wandernauta/Groep10/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/wandernauta/Groep10/pulls/25/commits"},"statuses":{"href":"https://api.github.com/repos/wandernauta/Groep10/statuses/5f0bb516c2bcac5afd0adf3510f641dbeea070e2"}}}}