{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1213","repository_url":"https://api.github.com/repos/idris-lang/Idris-dev","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1213/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1213/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1213/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/1213","id":33070370,"number":1213,"title":"Parentheses inside idiom brackets ignored","user":{"login":"stefanholdermans","id":7387851,"avatar_url":"https://avatars.githubusercontent.com/u/7387851?v=3","gravatar_id":"","url":"https://api.github.com/users/stefanholdermans","html_url":"https://github.com/stefanholdermans","followers_url":"https://api.github.com/users/stefanholdermans/followers","following_url":"https://api.github.com/users/stefanholdermans/following{/other_user}","gists_url":"https://api.github.com/users/stefanholdermans/gists{/gist_id}","starred_url":"https://api.github.com/users/stefanholdermans/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefanholdermans/subscriptions","organizations_url":"https://api.github.com/users/stefanholdermans/orgs","repos_url":"https://api.github.com/users/stefanholdermans/repos","events_url":"https://api.github.com/users/stefanholdermans/events{/privacy}","received_events_url":"https://api.github.com/users/stefanholdermans/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2014-05-08T10:09:23Z","updated_at":"2016-04-08T15:00:35Z","closed_at":null,"body":"Parentheses around the top-level expression inside idiom brackets are ignored.\r\n\r\nHence, `[| (f x) |]` gets expanded to `[| pure f <$> x |]` rather than the expected `[| pure (f x) |]`.\r\n\r\n```\r\n$ idris --version\r\nIdris version 0.9.12\r\n\r\n$ cat test.idr\r\nxs : List ()\r\nxs = pure (id ())\r\n\r\nys : List ()\r\nys = [| (id ()) |]\r\n\r\n-- test : so (xs == ys)\r\n-- test = oh\r\n\r\n$ idris --check test.idr\r\ntest.idr:5:9:When elaborating right hand side of ys:\r\nWhen elaborating an application of function Prelude.Applicative.<$>:\r\n        Can't unify\r\n                ()\r\n        with\r\n                List ()\r\n        \r\n        Specifically:\r\n                Can't unify\r\n                        ()\r\n                with\r\n                        List ()\r\n```"},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/207468013","html_url":"https://github.com/idris-lang/Idris-dev/issues/1213#issuecomment-207468013","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1213","id":207468013,"user":{"login":"ahmadsalim","id":1647846,"avatar_url":"https://avatars.githubusercontent.com/u/1647846?v=3","gravatar_id":"","url":"https://api.github.com/users/ahmadsalim","html_url":"https://github.com/ahmadsalim","followers_url":"https://api.github.com/users/ahmadsalim/followers","following_url":"https://api.github.com/users/ahmadsalim/following{/other_user}","gists_url":"https://api.github.com/users/ahmadsalim/gists{/gist_id}","starred_url":"https://api.github.com/users/ahmadsalim/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ahmadsalim/subscriptions","organizations_url":"https://api.github.com/users/ahmadsalim/orgs","repos_url":"https://api.github.com/users/ahmadsalim/repos","events_url":"https://api.github.com/users/ahmadsalim/events{/privacy}","received_events_url":"https://api.github.com/users/ahmadsalim/received_events","type":"User","site_admin":false},"created_at":"2016-04-08T15:00:34Z","updated_at":"2016-04-08T15:00:34Z","body":"@edwinb Any comments?"}}