{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/1942","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/1942/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/1942/comments","events_url":"https://api.github.com/repos/agda/agda/issues/1942/events","html_url":"https://github.com/agda/agda/issues/1942","id":150007506,"number":1942,"title":"Safe GHC LANGUAGE extensions to be put into Agda.cabal","user":{"login":"andreasabel","id":1155218,"avatar_url":"https://avatars.githubusercontent.com/u/1155218?v=3","gravatar_id":"","url":"https://api.github.com/users/andreasabel","html_url":"https://github.com/andreasabel","followers_url":"https://api.github.com/users/andreasabel/followers","following_url":"https://api.github.com/users/andreasabel/following{/other_user}","gists_url":"https://api.github.com/users/andreasabel/gists{/gist_id}","starred_url":"https://api.github.com/users/andreasabel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreasabel/subscriptions","organizations_url":"https://api.github.com/users/andreasabel/orgs","repos_url":"https://api.github.com/users/andreasabel/repos","events_url":"https://api.github.com/users/andreasabel/events{/privacy}","received_events_url":"https://api.github.com/users/andreasabel/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/agda/agda/milestones/15","html_url":"https://github.com/agda/agda/milestones/2.5.1.1","labels_url":"https://api.github.com/repos/agda/agda/milestones/15/labels","id":1584508,"number":15,"title":"2.5.1.1","description":"","creator":{"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},"open_issues":18,"closed_issues":5,"state":"open","created_at":"2016-02-15T23:45:28Z","updated_at":"2016-04-21T10:24:55Z","due_on":null,"closed_at":null},"comments":13,"created_at":"2016-04-21T08:42:11Z","updated_at":"2016-04-21T20:17:52Z","closed_at":null,"body":"There is a couple of safe language extensions we keep repeating in each .hs file. I suggest to put all frequently-used and semantics preserving language extension into the Agda.cabal file instead.  These are extensions to the Haskell 98 syntax and safe extensions to the Haskell 98 type class systems.  I suggest the following ones:\r\n```\r\nBangPatterns\r\nConstraintKinds\r\nDataKinds\r\nDefaultSignatures\r\nDeriveDataTypeable\r\nDeriveFoldable\r\nDeriveFunctor\r\nDeriveGeneric\r\nDeriveTraversable\r\nDoAndIfThenElse\r\nEmptyDataDecls\r\nExistentialQuantification\r\nFlexibleContexts\r\nFlexibleInstances\r\nFunctionalDependencies\r\nGADTs\r\nGeneralizedNewtypeDeriving\r\nLambdaCase\r\nMultiParamTypeClasses\r\nNamedFieldPuns\r\nPatternGuards\r\nRankNTypes\r\nRecordWildCards\r\nScopedTypeVariables\r\nStandaloneDeriving\r\nTupleSections\r\nTypeFamilies\r\nTypeSynonymInstances\r\n```\r\nPurposely not in the list are\r\n```\r\nImplicitParams\r\nIncoherentInstances\r\nMagicHash\r\nNondecreasingIndentation\r\nOverlappingInstances\r\nRelaxedPolyRec\r\nTemplateHaskell\r\nUndecidableInstances\r\nViewPatterns\r\n```\r\n[Breakfast discussion with @UlfNorell]"},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/213098414","html_url":"https://github.com/agda/agda/issues/1942#issuecomment-213098414","issue_url":"https://api.github.com/repos/agda/agda/issues/1942","id":213098414,"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":"2016-04-21T20:17:52Z","updated_at":"2016-04-21T20:17:52Z","body":"> Is there a reason we cannot require >= 1.10?\r\n\r\nI don't know any reason.\r\n"}}