On 31 August 2004 11:12, George Russell wrote:
# ghc Unused.hs -fwarn-unused-binds -fglasgow-exts
Unused.hs:10: Warning: Defined but not used: Dummy
It's referring to the data constructor, not the type constructor.
Cheers,
Simon
___
# ghc Unused.hs -fwarn-unused-binds -fglasgow-exts
Unused.hs:10: Warning: Defined but not used: Dummy
module Unused(Foo(..),ff) where
class Foo (v :: (* - *) - *) where
f :: v a - Int
ff :: Foo v = v a - Int
ff (_ :: (v :: (* - *) - *) a) = (f (error bar :: v Dummy))
data Dummy x = Dummy