{"action":"opened","issue":{"url":"https://api.github.com/repos/spoqa/nirum/issues/72","repository_url":"https://api.github.com/repos/spoqa/nirum","labels_url":"https://api.github.com/repos/spoqa/nirum/issues/72/labels{/name}","comments_url":"https://api.github.com/repos/spoqa/nirum/issues/72/comments","events_url":"https://api.github.com/repos/spoqa/nirum/issues/72/events","html_url":"https://github.com/spoqa/nirum/issues/72","id":174065379,"number":72,"title":"Useful error message on using docs and @docs annotation at a time","user":{"login":"dahlia","id":12431,"avatar_url":"https://avatars.githubusercontent.com/u/12431?v=3","gravatar_id":"","url":"https://api.github.com/users/dahlia","html_url":"https://github.com/dahlia","followers_url":"https://api.github.com/users/dahlia/followers","following_url":"https://api.github.com/users/dahlia/following{/other_user}","gists_url":"https://api.github.com/users/dahlia/gists{/gist_id}","starred_url":"https://api.github.com/users/dahlia/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dahlia/subscriptions","organizations_url":"https://api.github.com/users/dahlia/orgs","repos_url":"https://api.github.com/users/dahlia/repos","events_url":"https://api.github.com/users/dahlia/events{/privacy}","received_events_url":"https://api.github.com/users/dahlia/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/spoqa/nirum/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-08-30T16:29:35Z","updated_at":"2016-08-30T16:29:35Z","closed_at":null,"body":"Continued from #53 and #57.\r\n\r\nIf an IDL code uses docs syntax and `@docs` annotation for the same declaration at a time it currently doesn't provide any useful error message but simply `<duplicated>`.  E.g.:\r\n\r\n```nirum\r\n@docs (\"a\")\r\nrecord x (\r\n    # b\r\n    text y\r\n);\r\n```\r\n\r\nWe should provide more useful error message so that uses can recognize they use both notations at a time and it's disallowed by grammar."}}
{"actor":{"display_login":"dahlia"}}