[commit: testsuite] master: Proxy is now defined in Data.Typeable (dcda429)

[José Pedro Magalhães]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/dcda42979d9d369e3be052399912ecdce141d895

>---------------------------------------------------------------

commit dcda42979d9d369e3be052399912ecdce141d895
Author: Jose Pedro Magalhaes <jpm at cs.ox.ac.uk>
Date:   Wed Feb 13 10:03:13 2013 +0000

    Proxy is now defined in Data.Typeable

>---------------------------------------------------------------

 tests/typecheck/should_run/T3731.hs |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/tests/typecheck/should_run/T3731.hs b/tests/typecheck/should_run/T3731.hs
index af858e5..3024629 100644
--- a/tests/typecheck/should_run/T3731.hs
+++ b/tests/typecheck/should_run/T3731.hs
@@ -13,7 +13,6 @@ import Data.Typeable
 class Sat a where
     dict :: a
 
-data Proxy (a :: * -> *)
 
 class ( Sat (ctx a)) => Data ctx a where
     gunfold :: Proxy ctx