[GHC] #13884: To an automatic compilation of file-header LANGUAGE pragmas in GHC.
GHC
ghc-devs at haskell.org
Tue Jun 27 19:01:44 UTC 2017
#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
More information about the ghc-tickets
mailing list