Incorrect "defined but not used" warning for data types using deriving

[NeilMitchell]

Consider:

module Main() where

import System

data Foo = Bar | Baz
           deriving (Show,Read)

main = do
    [x] <- getArgs
    print (read x :: Foo)

When we compile:

$ ghc -c Test.hs -fwarn-unused-binds
Test.hs:6:11: Warning: Defined but not used: data constructor `Bar'
Test.hs:6:17: Warning: Defined but not used: data constructor `Baz'

This is incorrect. If a data type derives Read, Enum or Bounded (and for Bounded, is either the first or last element), then the values are used - even if not by name.

[simonpj]

Fixed by

Wed May 27 19:21:57 BST 2009  simonpj@microsoft.com
  * Fix Trac #3221: renamer warnings for deriving clauses
  
  This patch arranges to gather the variables used by 'deriving' clauses,
  so that unused bindings are correctly reported.

Simon