[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