[GHC] #13884: To an automatic compilation of file-header LANGUAGE pragmas in GHC.

[GHC]

#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