
#13884: To an automatic compilation of file-header LANGUAGE pragmas in GHC. -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Making pragmas implicit, even with a flag, is a slippery slope that I don't believe we want to head down. GHC's pragma suggestions are just that: suggestions. They are the result of heuristics and by no means are these heuristics always correct. I suspect that making the compiler's behavior conditional on these heuristics would at best result in some very confusing error messages. There are many ways that wee might want to reduce the cost of pragmas. Even today you can enable them with project-level granularity in your Cabal file. Moreover, IDE tooling quickly approaching the point where it can help the user make pragma changes. In the future we might also consider adding a few more "meta-extensions" (e.g. `-XDependentHaskell`) capturing sets of commonly needed pragmas. Does this help? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13884#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler