[commit: ghc] master: Uncomment the instance signatures, to activate the test (9437a24)

git at git.haskell.org git at git.haskell.org
Tue Dec 2 10:22:08 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/9437a24d36f248fcd0b2709ae417b999d6a17444/ghc

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

commit 9437a24d36f248fcd0b2709ae417b999d6a17444
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Dec 1 22:29:18 2014 +0000

    Uncomment the instance signatures, to activate the test


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

9437a24d36f248fcd0b2709ae417b999d6a17444
 testsuite/tests/polykinds/T7908.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/testsuite/tests/polykinds/T7908.hs b/testsuite/tests/polykinds/T7908.hs
index 1bb4cc5..5895bbe 100644
--- a/testsuite/tests/polykinds/T7908.hs
+++ b/testsuite/tests/polykinds/T7908.hs
@@ -18,11 +18,11 @@ data Hidden :: (k -> *) -> * where
   Hide :: m a -> Hidden m
 
 instance Monad' Hidden where
-  --return' :: forall (c :: k -> *) (a :: k) . c a -> Hidden c
+  return' :: forall (c :: k -> *) (a :: k) . c a -> Hidden c
   return' = Hide
-  --(>>>=) :: forall (c :: k -> *) (d :: k -> *) . Hidden c -> (forall (a :: k) . c a -> Hidden d) -> Hidden d
+  (>>>=) :: forall (c :: k -> *) (d :: k -> *) . Hidden c -> (forall (a :: k) . c a -> Hidden d) -> Hidden d
   Hide a >>>= f = f a
-  --(>>-) :: forall (c :: k -> *) d . Hidden c -> (forall (a :: k) . c a -> d) -> d
+  (>>-) :: forall (c :: k -> *) d . Hidden c -> (forall (a :: k) . c a -> d) -> d
   Hide a >>- f = f a
 
 



More information about the ghc-commits mailing list