{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1768","repository_url":"https://api.github.com/repos/idris-lang/Idris-dev","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1768/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1768/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1768/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/1768","id":51113511,"number":1768,"title":"Improvements to REPL Command completion.","user":{"login":"jfdm","id":331273,"avatar_url":"https://avatars.githubusercontent.com/u/331273?v=3","gravatar_id":"","url":"https://api.github.com/users/jfdm","html_url":"https://github.com/jfdm","followers_url":"https://api.github.com/users/jfdm/followers","following_url":"https://api.github.com/users/jfdm/following{/other_user}","gists_url":"https://api.github.com/users/jfdm/gists{/gist_id}","starred_url":"https://api.github.com/users/jfdm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jfdm/subscriptions","organizations_url":"https://api.github.com/users/jfdm/orgs","repos_url":"https://api.github.com/users/jfdm/repos","events_url":"https://api.github.com/users/jfdm/events{/privacy}","received_events_url":"https://api.github.com/users/jfdm/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/C-Low%20Hanging%20Fruit","name":"C-Low Hanging Fruit","color":"006b75"},{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/U-Interactive","name":"U-Interactive","color":"d4c5f9"},{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/Z-Feature%20Request","name":"Z-Feature Request","color":"0e8a16"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2014-12-05T15:53:43Z","updated_at":"2016-07-28T07:01:05Z","closed_at":null,"body":"REPL completion coverage requires improvment for various types of command. Improvements are required for: `NameArg`, `ModuleArg`, `NamespaceArg`, and `MetaVarArg`. This will require more information from an idris developer for intended improvements.\r\n\r\nThe affected function is: `completeCmd` in `src/Idris/Completion.hs`."},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/235815590","html_url":"https://github.com/idris-lang/Idris-dev/issues/1768#issuecomment-235815590","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1768","id":235815590,"user":{"login":"srenatus","id":870638,"avatar_url":"https://avatars.githubusercontent.com/u/870638?v=3","gravatar_id":"","url":"https://api.github.com/users/srenatus","html_url":"https://github.com/srenatus","followers_url":"https://api.github.com/users/srenatus/followers","following_url":"https://api.github.com/users/srenatus/following{/other_user}","gists_url":"https://api.github.com/users/srenatus/gists{/gist_id}","starred_url":"https://api.github.com/users/srenatus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/srenatus/subscriptions","organizations_url":"https://api.github.com/users/srenatus/orgs","repos_url":"https://api.github.com/users/srenatus/repos","events_url":"https://api.github.com/users/srenatus/events{/privacy}","received_events_url":"https://api.github.com/users/srenatus/received_events","type":"User","site_admin":false},"created_at":"2016-07-28T07:01:05Z","updated_at":"2016-07-28T07:01:05Z","body":"I found the current completion quite confusing, too, as it apparently completes _functions that it knows about_, even when prefixed with a module name: [example terminal session](https://asciinema.org/a/696l54hhf8gqhxel4vhjihg2e). (I think this issue covers what I came here to whine about :wink:)"}}
{"actor":{"display_login":"srenatus"}}