diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-01 22:29:18 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-02 10:22:06 +0000 |
| commit | 9437a24d36f248fcd0b2709ae417b999d6a17444 (patch) | |
| tree | 328bb5c006570bdf1dec4b748fcef1d2e97e99ca | |
| parent | a29e295c6fddfb0bbd390cff8cf2e5dbe9b1aa5b (diff) | |
| download | haskell-9437a24d36f248fcd0b2709ae417b999d6a17444.tar.gz | |
Uncomment the instance signatures, to activate the test
| -rw-r--r-- | testsuite/tests/polykinds/T7908.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T7908.hs b/testsuite/tests/polykinds/T7908.hs index 1bb4cc5ae8..5895bbeddf 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 |