[commit: testsuite] master: Fix Test by adding a fundep to make the (Concete a b) instance legal (ca5fbc2)

Simon Peyton Jones simonpj at microsoft.com
Wed Jan 16 16:34:50 CET 2013


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

On branch  : master

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

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

commit ca5fbc2f49c798ab74295b131b7c0e416e26000d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 15 14:37:08 2013 +0000

    Fix Test by adding a fundep to make the (Concete a b) instance legal

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

 tests/indexed-types/should_compile/Gentle.hs |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/tests/indexed-types/should_compile/Gentle.hs b/tests/indexed-types/should_compile/Gentle.hs
index a32ac79..6cc1512 100644
--- a/tests/indexed-types/should_compile/Gentle.hs
+++ b/tests/indexed-types/should_compile/Gentle.hs
@@ -10,7 +10,9 @@ module FooModule where
 class Concrete a b | a -> b where
 	bar :: a -> String
 
-instance (Show a) => Concrete a b where
+class Wuggle b | -> b  -- To make the Concrete instance work
+
+instance (Show a, Wuggle b) => Concrete a b where
 	bar = error "urk"
 
 wib :: Concrete a b => a -> String





More information about the ghc-commits mailing list