[GHC] #3085: warn about language extensions that are not used

[GHC]

#3085: warn about language extensions that are not used
--------------------------+------------------------------------------------
        Reporter:         |            Owner:
  PVerswyvelen            |           Status:  new
            Type:         |        Milestone:  7.6.2
  feature request         |          Version:  6.10.1
        Priority:         |         Keywords:  warnings extensions language
  normal                  |     Architecture:  Unknown/Multiple
       Component:         |       Difficulty:  Unknown
  Compiler                |       Blocked By:
      Resolution:         |  Related Tickets:
Operating System:         |
  Unknown/Multiple        |
 Type of failure:         |
  None/Unknown            |
       Test Case:         |
        Blocking:         |
--------------------------+------------------------------------------------

Comment (by asr):

 Replying to [comment:18 NeilMitchell]:
 > HLint 1.6.6 above above can warn on unused language extensions:
 http://community.haskell.org/~ndm/hlint
 >

 I used HLint 1.8.61 for removing unused language extensions from
 [http://wiki.portal.chalmers.se/agda/pmwiki.php Agda]. HLint made a great
 job.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3085#comment:31>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler