[commit: testsuite] master: Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance legal (56cd7ad)

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


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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/56cd7ad3722251d26019766cbda50d5fe19df5a8

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

commit 56cd7ad3722251d26019766cbda50d5fe19df5a8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 15 14:42:49 2013 +0000

    Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance legal

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

 tests/polykinds/T6068.hs     |    4 +++-
 tests/polykinds/T6068.stdout |    3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/tests/polykinds/T6068.hs b/tests/polykinds/T6068.hs
index f9b7dc2..9c754bd 100644
--- a/tests/polykinds/T6068.hs
+++ b/tests/polykinds/T6068.hs
@@ -20,7 +20,9 @@ data Existential (p :: KProxy k) =
 class HasSingleton a (kp :: KProxy k) | a -> kp where
   exists :: a -> Existential kp
 
-instance forall a (mp :: KProxy (Maybe ak)). HasSingleton (Maybe a) mp where
+class Floop a b | a -> b
+
+instance forall a (mp :: KProxy (Maybe ak)). Floop a mp => HasSingleton (Maybe a) mp where
   exists Nothing = Exists SNothing
 
 -- instance forall (a ::*) (mp :: KProxy (Maybe ak)). HasSingleton (Maybe ak) (Maybe a) mp where
diff --git a/tests/polykinds/T6068.stdout b/tests/polykinds/T6068.stdout
index 2a6d08d..bf9528b 100644
--- a/tests/polykinds/T6068.stdout
+++ b/tests/polykinds/T6068.stdout
@@ -1 +1,2 @@
-exists Nothing :: Existential (Maybe *) mp
+exists Nothing
+  :: Floop * (KProxy (Maybe *)) a mp => Existential (Maybe *) mp





More information about the ghc-commits mailing list