diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-27 17:33:13 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-27 17:33:13 +0100 |
| commit | 28207fb3bde3f8d6bbef77a2bc1faa4cb4d8477d (patch) | |
| tree | deb96f49e3532058b6caea40c089c9e20b23bb1a /testsuite/tests/ghci/scripts | |
| parent | 302b38bd6fed87924beb3fde13bec647ae4328c7 (diff) | |
| download | haskell-28207fb3bde3f8d6bbef77a2bc1faa4cb4d8477d.tar.gz | |
Explicit kinds in :info command ===> testsuite wibbles
Diffstat (limited to 'testsuite/tests/ghci/scripts')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7627.stdout | 3 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci025.stdout | 4 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci027.stdout | 14 |
3 files changed, 12 insertions, 9 deletions
diff --git a/testsuite/tests/ghci/scripts/T7627.stdout b/testsuite/tests/ghci/scripts/T7627.stdout index a23781a9d4..351b9abd66 100644 --- a/testsuite/tests/ghci/scripts/T7627.stdout +++ b/testsuite/tests/ghci/scripts/T7627.stdout @@ -18,7 +18,8 @@ instance Functor ((,) a) -- Defined in ‛GHC.Base’ instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‛GHC.Classes’ instance (Read a, Read b) => Read (a, b) -- Defined in ‛GHC.Read’ instance (Show a, Show b) => Show (a, b) -- Defined in ‛GHC.Show’ -data (#,#) a b = (#,#) a b -- Defined in ‛GHC.Prim’ +data (#,#) (a :: OpenKind) (b :: OpenKind) = (#,#) a b + -- Defined in ‛GHC.Prim’ (,) :: a -> b -> (a, b) (#,#) :: a -> b -> (# a, b #) ( , ) :: a -> b -> (a, b) diff --git a/testsuite/tests/ghci/scripts/ghci025.stdout b/testsuite/tests/ghci/scripts/ghci025.stdout index 3650de21c2..9308dd3f39 100644 --- a/testsuite/tests/ghci/scripts/ghci025.stdout +++ b/testsuite/tests/ghci/scripts/ghci025.stdout @@ -14,7 +14,7 @@ c2 :: (C a b, N b, S b) => a -> b c3 :: C a b => forall a1. a1 -> b c4 :: C a b => forall a1. a1 -> b -- imported via Control.Monad -class Monad m => MonadPlus m where +class Monad m => MonadPlus (m :: * -> *) where mzero :: m a mplus :: m a -> m a -> m a mplus :: MonadPlus m => forall a. m a -> m a -> m a @@ -25,7 +25,7 @@ mzero :: MonadPlus m => forall a. m a fail :: Monad m => forall a. GHC.Base.String -> m a return :: Monad m => forall a. a -> m a -- imported via Control.Monad, Prelude, T -class Monad m where +class Monad (m :: * -> *) where (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b return :: a -> m a diff --git a/testsuite/tests/ghci/scripts/ghci027.stdout b/testsuite/tests/ghci/scripts/ghci027.stdout index 2f627b46ec..0d722c9d8c 100644 --- a/testsuite/tests/ghci/scripts/ghci027.stdout +++ b/testsuite/tests/ghci/scripts/ghci027.stdout @@ -1,6 +1,8 @@ -class GHC.Base.Monad m => Control.Monad.MonadPlus m where
- ...
- mplus :: m a -> m a -> m a
-class GHC.Base.Monad m => Control.Monad.MonadPlus m where
- ...
- Control.Monad.mplus :: m a -> m a -> m a
+class GHC.Base.Monad m => + Control.Monad.MonadPlus (m :: * -> *) where + ... + mplus :: m a -> m a -> m a +class GHC.Base.Monad m => + Control.Monad.MonadPlus (m :: * -> *) where + ... + Control.Monad.mplus :: m a -> m a -> m a |