{"action":"created","issue":{"url":"https://api.github.com/repos/mikeizbicki/ifcxt/issues/7","repository_url":"https://api.github.com/repos/mikeizbicki/ifcxt","labels_url":"https://api.github.com/repos/mikeizbicki/ifcxt/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/mikeizbicki/ifcxt/issues/7/comments","events_url":"https://api.github.com/repos/mikeizbicki/ifcxt/issues/7/events","html_url":"https://github.com/mikeizbicki/ifcxt/pull/7","id":131077638,"number":7,"title":"Wrap constraints in `IfCxt`","user":{"login":"Warbo","id":27913,"avatar_url":"https://avatars.githubusercontent.com/u/27913?v=3","gravatar_id":"","url":"https://api.github.com/users/Warbo","html_url":"https://github.com/Warbo","followers_url":"https://api.github.com/users/Warbo/followers","following_url":"https://api.github.com/users/Warbo/following{/other_user}","gists_url":"https://api.github.com/users/Warbo/gists{/gist_id}","starred_url":"https://api.github.com/users/Warbo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Warbo/subscriptions","organizations_url":"https://api.github.com/users/Warbo/orgs","repos_url":"https://api.github.com/users/Warbo/repos","events_url":"https://api.github.com/users/Warbo/events{/privacy}","received_events_url":"https://api.github.com/users/Warbo/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-02-03T16:32:10Z","updated_at":"2016-08-03T21:49:00Z","closed_at":"2016-08-03T21:48:29Z","pull_request":{"url":"https://api.github.com/repos/mikeizbicki/ifcxt/pulls/7","html_url":"https://github.com/mikeizbicki/ifcxt/pull/7","diff_url":"https://github.com/mikeizbicki/ifcxt/pull/7.diff","patch_url":"https://github.com/mikeizbicki/ifcxt/pull/7.patch"},"body":"Wrap instance constraints in `IfCxt`. Previously, `mkIfCxtInstances` would turn instances like `Ord a => Ord [a]` into `Ord a => IfCxt (Ord [a])`, which places hard constraints on how we can use `ifCxt`.\r\n\r\nThis patch wraps the constraints in `IfCxt` as well, so we would get `IfCxt (Ord a) => IfCxt (Ord [a])`. The implementations of `ifCxt` will now call each other recursively to resolve all of these constraints, rather than committing to the first argument and introducing unsatisfiable constraints.\r\n\r\nI've also added a test suite and bumped the version to 0.1.0.1"},"comment":{"url":"https://api.github.com/repos/mikeizbicki/ifcxt/issues/comments/237385562","html_url":"https://github.com/mikeizbicki/ifcxt/pull/7#issuecomment-237385562","issue_url":"https://api.github.com/repos/mikeizbicki/ifcxt/issues/7","id":237385562,"user":{"login":"mikeizbicki","id":1052630,"avatar_url":"https://avatars.githubusercontent.com/u/1052630?v=3","gravatar_id":"","url":"https://api.github.com/users/mikeizbicki","html_url":"https://github.com/mikeizbicki","followers_url":"https://api.github.com/users/mikeizbicki/followers","following_url":"https://api.github.com/users/mikeizbicki/following{/other_user}","gists_url":"https://api.github.com/users/mikeizbicki/gists{/gist_id}","starred_url":"https://api.github.com/users/mikeizbicki/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mikeizbicki/subscriptions","organizations_url":"https://api.github.com/users/mikeizbicki/orgs","repos_url":"https://api.github.com/users/mikeizbicki/repos","events_url":"https://api.github.com/users/mikeizbicki/events{/privacy}","received_events_url":"https://api.github.com/users/mikeizbicki/received_events","type":"User","site_admin":false},"created_at":"2016-08-03T21:49:00Z","updated_at":"2016-08-03T21:49:00Z","body":"Sorry I forgot about this until now and it took me so long to merge."}}
{"actor":{"display_login":"mikeizbicki"}}