Uncomment the instance signatures, to activate the test
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 1 Dec 2014 22:29:18 +0000 (22:29 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 2 Dec 2014 10:22:06 +0000 (10:22 +0000)
testsuite/tests/polykinds/T7908.hs

index 1bb4cc5..5895bbe 100644 (file)
@@ -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