{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/2094","repository_url":"https://api.github.com/repos/purescript/purescript","labels_url":"https://api.github.com/repos/purescript/purescript/issues/2094/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/2094/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/2094/events","html_url":"https://github.com/purescript/purescript/pull/2094","id":153370189,"number":2094,"title":"NoImplicitPrelude, enable some global extensions","user":{"login":"garyb","id":693642,"avatar_url":"https://avatars.githubusercontent.com/u/693642?v=3","gravatar_id":"","url":"https://api.github.com/users/garyb","html_url":"https://github.com/garyb","followers_url":"https://api.github.com/users/garyb/followers","following_url":"https://api.github.com/users/garyb/following{/other_user}","gists_url":"https://api.github.com/users/garyb/gists{/gist_id}","starred_url":"https://api.github.com/users/garyb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/garyb/subscriptions","organizations_url":"https://api.github.com/users/garyb/orgs","repos_url":"https://api.github.com/users/garyb/repos","events_url":"https://api.github.com/users/garyb/events{/privacy}","received_events_url":"https://api.github.com/users/garyb/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2016-05-06T03:14:28Z","updated_at":"2016-05-06T16:33:49Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/purescript/purescript/pulls/2094","html_url":"https://github.com/purescript/purescript/pull/2094","diff_url":"https://github.com/purescript/purescript/pull/2094.diff","patch_url":"https://github.com/purescript/purescript/pull/2094.patch"},"body":"Resolves #1672 \r\n\r\nThe only extension here I'd consider controversial is `PatternSynonyms`, as it reserves the name `pattern`, but I think we're going to be using them more in the future, so probably worth it? The rest are pretty widely used already.\r\n\r\nI didn't turn GADTs on, which was suggested in the issue, because doing so resulted in compilation errors."},"comment":{"url":"https://api.github.com/repos/purescript/purescript/issues/comments/217492162","html_url":"https://github.com/purescript/purescript/pull/2094#issuecomment-217492162","issue_url":"https://api.github.com/repos/purescript/purescript/issues/2094","id":217492162,"user":{"login":"paf31","id":630306,"avatar_url":"https://avatars.githubusercontent.com/u/630306?v=3","gravatar_id":"","url":"https://api.github.com/users/paf31","html_url":"https://github.com/paf31","followers_url":"https://api.github.com/users/paf31/followers","following_url":"https://api.github.com/users/paf31/following{/other_user}","gists_url":"https://api.github.com/users/paf31/gists{/gist_id}","starred_url":"https://api.github.com/users/paf31/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paf31/subscriptions","organizations_url":"https://api.github.com/users/paf31/orgs","repos_url":"https://api.github.com/users/paf31/repos","events_url":"https://api.github.com/users/paf31/events{/privacy}","received_events_url":"https://api.github.com/users/paf31/received_events","type":"User","site_admin":false},"created_at":"2016-05-06T16:33:48Z","updated_at":"2016-05-06T16:33:48Z","body":"Looks good otherwise!\r\n\r\nWhile we're changing every module though, maybe this is a good time to minimize and tidy up the imports, if there is a simple way to do it. I know GHC used to have a flag which would do it for you. I'll look for it ..."}}