{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1981","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1981/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1981/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1981/events","html_url":"https://github.com/idris-lang/Idris-dev/pull/1981","id":60010138,"number":1981,"title":"Breaking Changes: Align semantics of 'print' functions.","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":8,"created_at":"2015-03-05T20:23:13Z","updated_at":"2015-03-06T16:59:07Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/pulls/1981","html_url":"https://github.com/idris-lang/Idris-dev/pull/1981","diff_url":"https://github.com/idris-lang/Idris-dev/pull/1981.diff","patch_url":"https://github.com/idris-lang/Idris-dev/pull/1981.patch"},"body":"Address semantic differences in putting things to STDOUT. The changes are as follows:\r\n\r\n+ `print` is for putting showable things to STDOUT.\r\n+ `printLn` is for putting showable things to STDOUT with a new line\r\n+ `putCharLn` for putting a single character to STDOUT, with a new line.\r\n\r\nEffects has been updated accordingly."},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/77593855","html_url":"https://github.com/idris-lang/Idris-dev/pull/1981#issuecomment-77593855","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/1981","id":77593855,"user":{"login":"david-christiansen","id":115330,"avatar_url":"https://avatars.githubusercontent.com/u/115330?v=3","gravatar_id":"","url":"https://api.github.com/users/david-christiansen","html_url":"https://github.com/david-christiansen","followers_url":"https://api.github.com/users/david-christiansen/followers","following_url":"https://api.github.com/users/david-christiansen/following{/other_user}","gists_url":"https://api.github.com/users/david-christiansen/gists{/gist_id}","starred_url":"https://api.github.com/users/david-christiansen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-christiansen/subscriptions","organizations_url":"https://api.github.com/users/david-christiansen/orgs","repos_url":"https://api.github.com/users/david-christiansen/repos","events_url":"https://api.github.com/users/david-christiansen/events{/privacy}","received_events_url":"https://api.github.com/users/david-christiansen/received_events","type":"User","site_admin":false},"created_at":"2015-03-06T16:59:07Z","updated_at":"2015-03-06T16:59:07Z","body":"What do you think `Loggable` and `Logger` should contain? I've long seen `Show` as a kind of a place to put some hacky string debug thing so you don't have to remember all the names, rather than a place to really do lots of thoughtful work.\r\n\r\nIn any case, it could be that a much bigger change is a good idea, and I'd encourage anyone to make such an improved library so we can try it out. I don't think it's potential existence should block for small improvements along the way though."}}