{"action":"opened","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2334","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2334/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2334/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2334/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/2334","id":83081964,"number":2334,"title":"Improve Logging Output, and document logging process.","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":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-05-31T12:47:19Z","updated_at":"2015-05-31T12:47:19Z","closed_at":null,"body":"I have been trying to debug a memory explosion that occurs when using Idris. The logging output makes it hard to determine at what stage of the compilation process that the explosion is occurring. Logging level 1, provides too much detail. As part of PR #2332 I have added details of the current compilation and logging process, documenting (roughly) what is being logged at each level. However, I think we need to rethink what is actually being logged at these levels, and move things around the levels to make it easier to diagnose problems.\r\n"}}