{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/27","labels_url":"https://api.github.com/repos/agda/agda/issues/27/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/27/comments","events_url":"https://api.github.com/repos/agda/agda/issues/27/events","html_url":"https://github.com/agda/agda/pull/27","id":55671601,"number":27,"title":"Fix build with mtl-2.1.3.1 or earlier","user":{"login":"RyanGlScott","id":2364661,"avatar_url":"https://avatars.githubusercontent.com/u/2364661?v=3","gravatar_id":"","url":"https://api.github.com/users/RyanGlScott","html_url":"https://github.com/RyanGlScott","followers_url":"https://api.github.com/users/RyanGlScott/followers","following_url":"https://api.github.com/users/RyanGlScott/following{/other_user}","gists_url":"https://api.github.com/users/RyanGlScott/gists{/gist_id}","starred_url":"https://api.github.com/users/RyanGlScott/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RyanGlScott/subscriptions","organizations_url":"https://api.github.com/users/RyanGlScott/orgs","repos_url":"https://api.github.com/users/RyanGlScott/repos","events_url":"https://api.github.com/users/RyanGlScott/events{/privacy}","received_events_url":"https://api.github.com/users/RyanGlScott/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-01-27T20:41:56Z","updated_at":"2015-01-27T21:16:09Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/agda/agda/pulls/27","html_url":"https://github.com/agda/agda/pull/27","diff_url":"https://github.com/agda/agda/pull/27.diff","patch_url":"https://github.com/agda/agda/pull/27.patch"},"body":"Currently, `Agda.TypeChecking.Rules.LHS` imports `Control.Monad.Except`, which is a module only available on `mtl-2.2.1` or later. The file is only importing `Control.Monad.Except` to get `catchError` and `throwError` anyway, which reside in `Agda.Utils.Except`."},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/71729520","html_url":"https://github.com/agda/agda/pull/27#issuecomment-71729520","issue_url":"https://api.github.com/repos/agda/agda/issues/27","id":71729520,"user":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"created_at":"2015-01-27T21:16:09Z","updated_at":"2015-01-27T21:16:09Z","body":"Testing..."}}