{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/1490","labels_url":"https://api.github.com/repos/purescript/purescript/issues/1490/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1490/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/1490/events","html_url":"https://github.com/purescript/purescript/pull/1490","id":108486906,"number":1490,"title":"Expand type synonyms eagerly","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},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-09-26T18:59:52Z","updated_at":"2015-09-26T20:04:47Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/purescript/purescript/pulls/1490","html_url":"https://github.com/purescript/purescript/pull/1490","diff_url":"https://github.com/purescript/purescript/pull/1490.diff","patch_url":"https://github.com/purescript/purescript/pull/1490.patch"},"body":"/cc @garyb \r\n\r\nTested on Halogen master.\r\n\r\nI think this makes things quite a bit simpler, which I like. The only possible issue is error messages, but I think in practice, it's not so much of a concern. In many cases, you actually want to expand synonyms in errors, for example when dealing with `lens` for example. And in most cases, getting to the root of a type issue often requires looking under synonyms anyway.\r\n\r\nThoughts?"},"comment":{"url":"https://api.github.com/repos/purescript/purescript/issues/comments/143491359","html_url":"https://github.com/purescript/purescript/pull/1490#issuecomment-143491359","issue_url":"https://api.github.com/repos/purescript/purescript/issues/1490","id":143491359,"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},"created_at":"2015-09-26T20:04:47Z","updated_at":"2015-09-26T20:04:47Z","body":"Still failing in all compilers :cry:"}}