{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/1096","labels_url":"https://api.github.com/repos/purescript/purescript/issues/1096/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1096/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/1096/events","html_url":"https://github.com/purescript/purescript/pull/1096","id":72691685,"number":1096,"title":"Add suggestion framework with \"Did you mean composition\" example","user":{"login":"mjgpy3","id":1709849,"avatar_url":"https://avatars.githubusercontent.com/u/1709849?v=3","gravatar_id":"","url":"https://api.github.com/users/mjgpy3","html_url":"https://github.com/mjgpy3","followers_url":"https://api.github.com/users/mjgpy3/followers","following_url":"https://api.github.com/users/mjgpy3/following{/other_user}","gists_url":"https://api.github.com/users/mjgpy3/gists{/gist_id}","starred_url":"https://api.github.com/users/mjgpy3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mjgpy3/subscriptions","organizations_url":"https://api.github.com/users/mjgpy3/orgs","repos_url":"https://api.github.com/users/mjgpy3/repos","events_url":"https://api.github.com/users/mjgpy3/events{/privacy}","received_events_url":"https://api.github.com/users/mjgpy3/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-05-02T20:12:14Z","updated_at":"2015-05-05T16:08:09Z","closed_at":"2015-05-05T16:07:56Z","pull_request":{"url":"https://api.github.com/repos/purescript/purescript/pulls/1096","html_url":"https://github.com/purescript/purescript/pull/1096","diff_url":"https://github.com/purescript/purescript/pull/1096.diff","patch_url":"https://github.com/purescript/purescript/pull/1096.patch"},"body":"@paf31, bump from #1085, not entirely sure if I am building wrongly, or the code just doesn't work. Here's some output form the example in #1023 (doesn't seem right) and from your request.\r\n\r\nAside from that, all tests pass, and I made the changes you suggested :)\r\n\r\n```\r\n> let f = g . g where g = (+1)\r\nError:\r\nError in module $PSCI:\r\nError in value declaration f:\r\nError checking that type\r\n  _0 -> _1\r\nsubsumes type\r\n  { g :: _2 | _3 }\r\nError checking that type\r\n  { g :: _2 | _3 }\r\nsubsumes type\r\n  _0 -> _1\r\nError at  line 1, column 9 - line 1, column 15:\r\n  Cannot unify type\r\n    Prim.Object\r\n  with type\r\n    Prim.Function _0\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\n```\r\n> :type const 1 . const 2\r\nError:\r\nError in module $PSCI:\r\nError in value declaration it:\r\nError checking that type\r\n  Prim.Int\r\nsubsumes type\r\n  { const :: _0 | _1 }\r\nError checking that type\r\n  { const :: _0 | _1 }\r\nsubsumes type\r\n  Prim.Int\r\nError at  line 1, column 1 - line 1, column 18:\r\n  Cannot unify type\r\n    { const :: _0 | _1 }\r\n  with type\r\n    Prim.Int\r\nSee https://github.com/purescript/purescript/wiki/Error-Code-TypesDoNotUnify for more information, or to contribute content related to this error.\r\n```"},"comment":{"url":"https://api.github.com/repos/purescript/purescript/issues/comments/99127356","html_url":"https://github.com/purescript/purescript/pull/1096#issuecomment-99127356","issue_url":"https://api.github.com/repos/purescript/purescript/issues/1096","id":99127356,"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},"created_at":"2015-05-05T16:08:09Z","updated_at":"2015-05-05T16:08:09Z","body":":+1: :+1: :+1: "}}