#3085: warn about language extensions that are not used
---------------------------------------------+------------------------------
Reporter: PVerswyvelen | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution:
Keywords: warnings extensions language | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------------------+------------------------------
Comment (by simonmar):
Replying to [comment:10 simonpj]:
> The most common way to consult the flags is thus:
> {{{
> dopt :: DynFlag -> Tc Bool
> }}}
> What I was suggesting is that `dopt` could record on the side that the
flag was consulted. The tax is in `dopt` only.
>
> Not all flags are consulted in this way, but most are.
Yes, for some flags it's easy. But there are some that aren't at all easy
- just looking down the list I see NoMonomorphismRestriction,
NoImplicitPrelude, NoMonoPatBinds, ExtendedDefaultRules, RelaxedPolyRec,
CPP, OverloadedStringLiterals, and the ones that affect the lexer are not
so straightforward.
So the question is whether it's worthwhile to just do the easy ones. We'd
have to clearly document the flags to which the warning doesn't apply.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3085#comment:13>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
