{"action":"created","issue":{"url":"https://api.github.com/repos/dopefishh/cloogle/issues/25","repository_url":"https://api.github.com/repos/dopefishh/cloogle","labels_url":"https://api.github.com/repos/dopefishh/cloogle/issues/25/labels{/name}","comments_url":"https://api.github.com/repos/dopefishh/cloogle/issues/25/comments","events_url":"https://api.github.com/repos/dopefishh/cloogle/issues/25/events","html_url":"https://github.com/dopefishh/cloogle/issues/25","id":156851441,"number":25,"title":"Unifier incorrect or unclear","user":{"login":"camilstaps","id":1202754,"avatar_url":"https://avatars.githubusercontent.com/u/1202754?v=3","gravatar_id":"","url":"https://api.github.com/users/camilstaps","html_url":"https://github.com/camilstaps","followers_url":"https://api.github.com/users/camilstaps/followers","following_url":"https://api.github.com/users/camilstaps/following{/other_user}","gists_url":"https://api.github.com/users/camilstaps/gists{/gist_id}","starred_url":"https://api.github.com/users/camilstaps/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/camilstaps/subscriptions","organizations_url":"https://api.github.com/users/camilstaps/orgs","repos_url":"https://api.github.com/users/camilstaps/repos","events_url":"https://api.github.com/users/camilstaps/events{/privacy}","received_events_url":"https://api.github.com/users/camilstaps/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/dopefishh/cloogle/labels/bug","name":"bug","color":"fc2929"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-05-25T21:11:39Z","updated_at":"2016-05-25T21:16:38Z","closed_at":null,"body":"Searching for `:: (a,b,c) -> (c,b,a)` gives the result `Init :: (l e) -> l e | List (l e)`, with the unifier `c` &rarr; `a`, `(b,c)` &larr; `l`, `a` &larr; `e`.\r\n\r\nThis unifier is incorrect: it leads to `(a,b,a) -> (a,b,a)` and `(b,c,a) -> (b,c,a)`. The two *can* be unified, but with another unifier: `c` &rarr; `a`, `(a,b)` &larr; `l`, `a` &larr; `e`.\r\n\r\nI guess / hope that this is a representation issue and not a unification bug."},"comment":{"url":"https://api.github.com/repos/dopefishh/cloogle/issues/comments/221710172","html_url":"https://github.com/dopefishh/cloogle/issues/25#issuecomment-221710172","issue_url":"https://api.github.com/repos/dopefishh/cloogle/issues/25","id":221710172,"user":{"login":"camilstaps","id":1202754,"avatar_url":"https://avatars.githubusercontent.com/u/1202754?v=3","gravatar_id":"","url":"https://api.github.com/users/camilstaps","html_url":"https://github.com/camilstaps","followers_url":"https://api.github.com/users/camilstaps/followers","following_url":"https://api.github.com/users/camilstaps/following{/other_user}","gists_url":"https://api.github.com/users/camilstaps/gists{/gist_id}","starred_url":"https://api.github.com/users/camilstaps/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/camilstaps/subscriptions","organizations_url":"https://api.github.com/users/camilstaps/orgs","repos_url":"https://api.github.com/users/camilstaps/repos","events_url":"https://api.github.com/users/camilstaps/events{/privacy}","received_events_url":"https://api.github.com/users/camilstaps/received_events","type":"User","site_admin":false},"created_at":"2016-05-25T21:16:38Z","updated_at":"2016-05-25T21:16:38Z","body":"More useful with debugging are perhaps the unifications of the same search with:\r\n\r\n* `forever :: (a b) -> a c`: `c` → `a`; `(b, c)` ← `a`; `a` ← `c`; `a` ← `b`\r\n* `id :: a -> a`: `c` → `a`; `(b, c, a)` ← `a`\r\n\r\nIt seems the first two elements of the tuples in the unifiers should be swapped. Not sure how this generalises for e.g. 4-tuples."}}
{"actor":{"display_login":"camilstaps"}}