#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