{"action":"created","issue":{"url":"https://api.github.com/repos/Marwes/gluon/issues/20","repository_url":"https://api.github.com/repos/Marwes/gluon","labels_url":"https://api.github.com/repos/Marwes/gluon/issues/20/labels{/name}","comments_url":"https://api.github.com/repos/Marwes/gluon/issues/20/comments","events_url":"https://api.github.com/repos/Marwes/gluon/issues/20/events","html_url":"https://github.com/Marwes/gluon/issues/20","id":132780814,"number":20,"title":"Add more precise locations to type errors","user":{"login":"Marwes","id":957312,"avatar_url":"https://avatars.githubusercontent.com/u/957312?v=3","gravatar_id":"","url":"https://api.github.com/users/Marwes","html_url":"https://github.com/Marwes","followers_url":"https://api.github.com/users/Marwes/followers","following_url":"https://api.github.com/users/Marwes/following{/other_user}","gists_url":"https://api.github.com/users/Marwes/gists{/gist_id}","starred_url":"https://api.github.com/users/Marwes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Marwes/subscriptions","organizations_url":"https://api.github.com/users/Marwes/orgs","repos_url":"https://api.github.com/users/Marwes/repos","events_url":"https://api.github.com/users/Marwes/events{/privacy}","received_events_url":"https://api.github.com/users/Marwes/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Marwes/gluon/labels/beginner","name":"beginner","color":"00C000"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-02-10T18:30:30Z","updated_at":"2016-07-14T07:21:40Z","closed_at":null,"body":"Currently the location of a type error is reported as being in the same place as the expression it occured in. This location can be rather misleading in many common cases.\r\n\r\n\r\nType errors in function calls should be reported at the argument rather than the call.\r\n```\r\nCurrent:\r\nmap 1 Nil\r\n^~~~~~~~\r\nBetter version:\r\nmap 1 Nil\r\n    ^\r\n```\r\n\r\nType errors in patterns should be reported at the patterns (or expressions) location rather than the enclosing expression\r\n```\r\nExpression:\r\nlet { x, y } = 1 in ...\r\nCurrent:\r\nlet { x, y } = 1 in ...\r\n^~~~~~~~~~~~~~~~~\r\nBetter version:\r\nlet { x, y } = 1 in ...\r\n    ^~~~~~~~\r\n```"},"comment":{"url":"https://api.github.com/repos/Marwes/gluon/issues/comments/232582960","html_url":"https://github.com/Marwes/gluon/issues/20#issuecomment-232582960","issue_url":"https://api.github.com/repos/Marwes/gluon/issues/20","id":232582960,"user":{"login":"beneills","id":1647589,"avatar_url":"https://avatars.githubusercontent.com/u/1647589?v=3","gravatar_id":"","url":"https://api.github.com/users/beneills","html_url":"https://github.com/beneills","followers_url":"https://api.github.com/users/beneills/followers","following_url":"https://api.github.com/users/beneills/following{/other_user}","gists_url":"https://api.github.com/users/beneills/gists{/gist_id}","starred_url":"https://api.github.com/users/beneills/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/beneills/subscriptions","organizations_url":"https://api.github.com/users/beneills/orgs","repos_url":"https://api.github.com/users/beneills/repos","events_url":"https://api.github.com/users/beneills/events{/privacy}","received_events_url":"https://api.github.com/users/beneills/received_events","type":"User","site_admin":false},"created_at":"2016-07-14T07:21:40Z","updated_at":"2016-07-14T07:21:40Z","body":"This issue is fixed:\r\n\r\n```\r\n>>let {x, y} = 7 in x\r\n<top>:Line: 1, Column: 5: Expected the following types to be equal\r\nExpected: Int\r\nFound: { x: 669, y: 670 }\r\n1 errors were found during unification:\r\nTypes do not match:\r\n\tExpected: Int\r\n\tFound: { x: 669, y: 670 }\r\nlet {x, y} = 7 in x\r\n    ^~~~~\r\n```"}}
{"actor":{"display_login":"beneills"}}