-fwarn-unused-binds misses a use

# 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 x_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs