diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/ghci025.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci025.stdout | 226 |
1 files changed, 112 insertions, 114 deletions
diff --git a/testsuite/tests/ghci/scripts/ghci025.stdout b/testsuite/tests/ghci/scripts/ghci025.stdout index 532a3347cc..e5b5bc34b7 100644 --- a/testsuite/tests/ghci/scripts/ghci025.stdout +++ b/testsuite/tests/ghci/scripts/ghci025.stdout @@ -1,114 +1,112 @@ --- test :browse! functionality -:browse! *T --- defined locally -T.length :: T.Integer -class N a -class S a -class C a b where - c1 :: N b => a -> b - c2 :: (N b, S b) => a -> b - c3 :: a1 -> b - c4 :: a1 -> b -c1 :: (C a b, N b) => a -> b -c2 :: (C a b, N b, S b) => a -> b -c3 :: C a b => forall a. a -> b -c4 :: C a b => forall a1. a1 -> b --- imported via Control.Monad -class (GHC.Base.Alternative m, 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 -mzero :: MonadPlus m => forall a. m a --- imported via Control.Monad, Prelude -(>>) :: Monad m => forall a b. m a -> m b -> m b -(>>=) :: Monad m => forall a b. m a -> (a -> m b) -> m b -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 GHC.Base.Applicative m => Monad (m :: * -> *) where - (>>=) :: m a -> (a -> m b) -> m b - (>>) :: m a -> m b -> m b - return :: a -> m a - fail :: GHC.Base.String -> m a --- imported via Data.Maybe -catMaybes :: [Maybe a] -> [a] -fromJust :: Maybe a -> a -fromMaybe :: a -> Maybe a -> a -isJust :: Maybe a -> GHC.Types.Bool -isNothing :: Maybe a -> GHC.Types.Bool -listToMaybe :: [a] -> Maybe a -mapMaybe :: (a -> Maybe b) -> [a] -> [b] -maybe :: b -> (a -> b) -> Maybe a -> b -maybeToList :: Maybe a -> [a] --- imported via Data.Maybe, Prelude -Just :: a -> Maybe a -data Maybe a = Nothing | Just a -Nothing :: Maybe a --- imported via Prelude -(+) :: GHC.Num.Num a => a -> a -> a -(=<<) :: Monad m => (a -> m b) -> m a -> m b -class Eq a where - (GHC.Classes.==) :: a -> a -> GHC.Types.Bool - (GHC.Classes./=) :: a -> a -> GHC.Types.Bool --- imported via Prelude, T -Prelude.length :: - Data.Foldable.Foldable t => forall a. t a -> GHC.Types.Int --- imported via T -data T.Integer - = integer-gmp-1.0.0.0:GHC.Integer.Type.S# !GHC.Prim.Int# - | integer-gmp-1.0.0.0:GHC.Integer.Type.Jp# {-# UNPACK #-}integer-gmp-1.0.0.0:GHC.Integer.Type.BigNat - | integer-gmp-1.0.0.0:GHC.Integer.Type.Jn# {-# UNPACK #-}integer-gmp-1.0.0.0:GHC.Integer.Type.BigNat -T.length :: Data.ByteString.Internal.ByteString -> GHC.Types.Int -:browse! T --- defined locally -T.length :: T.Integer -class N a -class S a -class C a b where - c1 :: N b => a -> b - c2 :: (N b, S b) => a -> b - c3 :: a1 -> b - c4 :: a1 -> b -c1 :: (C a b, N b) => a -> b -c2 :: (C a b, N b, S b) => a -> b -c3 :: C a b => forall a. a -> b -c4 :: C a b => forall a1. a1 -> b -:browse! T -- with -fprint-explicit-foralls --- defined locally -T.length :: T.Integer -class N a -class S a -class C a b where - c1 :: N b => a -> b - c2 :: (N b, S b) => a -> b - c3 :: forall a1. a1 -> b - c4 :: forall a1. a1 -> b -c1 :: forall a b. (C a b, N b) => a -> b -c2 :: forall a b. (C a b, N b, S b) => a -> b -c3 :: forall a b. C a b => forall a. a -> b -c4 :: forall a b. C a b => forall a1. a1 -> b --- test :browse! <target> relative to different contexts -:browse! Ghci025C -- from *Ghci025C> --- defined locally -g :: forall a. Num a => a -> a -h :: forall a. Integral a => a -> a --- imported via Ghci025D -f :: forall a. Num a => a -> a -:browse! Ghci025C -- from *Ghci025B>, after :add Ghci025B --- imported via Ghci025C -g :: forall a. Num a => a -> a -h :: forall a. Integral a => a -> a -f :: forall a. Num a => a -> a -:browse! Ghci025C -- from *Ghci025C>, after :m *Ghci025C --- defined locally -g :: forall a. Num a => a -> a -h :: forall a. Integral a => a -> a --- imported via Ghci025D -f :: forall a. Num a => a -> a -:browse! Ghci025C -- from *Ghci025D>, after :m *Ghci025D --- not currently imported -Ghci025C.g :: forall a. Num a => a -> a -Ghci025C.h :: forall a. Integral a => a -> a --- defined locally -f :: forall a. Num a => a -> a +-- test :browse! functionality
+:browse! *T
+-- defined locally
+T.length :: T.Integer
+class N a
+class S a
+class C a b where
+ c1 :: N b => a -> b
+ c2 :: (N b, S b) => a -> b
+ c3 :: a1 -> b
+ c4 :: a1 -> b
+c1 :: (C a b, N b) => a -> b
+c2 :: (C a b, N b, S b) => a -> b
+c3 :: C a b => forall a. a -> b
+c4 :: C a b => forall a1. a1 -> b
+-- imported via Control.Monad
+class (Alternative m, 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
+mzero :: MonadPlus m => forall a. m a
+-- imported via Control.Monad, Prelude
+(>>) :: Monad m => forall a b. m a -> m b -> m b
+(>>=) :: Monad m => forall a b. m a -> (a -> m b) -> m b
+fail :: Monad m => forall a. String -> m a
+return :: Monad m => forall a. a -> m a
+-- imported via Control.Monad, Prelude, T
+class Applicative m => Monad (m :: * -> *) where
+ (>>=) :: m a -> (a -> m b) -> m b
+ (>>) :: m a -> m b -> m b
+ return :: a -> m a
+ fail :: String -> m a
+-- imported via Data.Maybe
+catMaybes :: [Maybe a] -> [a]
+fromJust :: Maybe a -> a
+fromMaybe :: a -> Maybe a -> a
+isJust :: Maybe a -> Bool
+isNothing :: Maybe a -> Bool
+listToMaybe :: [a] -> Maybe a
+mapMaybe :: (a -> Maybe b) -> [a] -> [b]
+maybe :: b -> (a -> b) -> Maybe a -> b
+maybeToList :: Maybe a -> [a]
+-- imported via Data.Maybe, Prelude
+Just :: a -> Maybe a
+data Maybe a = Nothing | Just a
+Nothing :: Maybe a
+-- imported via Prelude
+(+) :: Num a => a -> a -> a
+(=<<) :: Monad m => (a -> m b) -> m a -> m b
+class Eq a where
+ (==) :: a -> a -> Bool
+ (/=) :: a -> a -> Bool
+-- imported via Prelude, T
+Prelude.length :: Foldable t => forall a. t a -> Int
+-- imported via T
+data T.Integer
+ = integer-gmp-1.0.0.0:GHC.Integer.Type.S# !Int#
+ | integer-gmp-1.0.0.0:GHC.Integer.Type.Jp# {-# UNPACK #-}integer-gmp-1.0.0.0:GHC.Integer.Type.BigNat
+ | integer-gmp-1.0.0.0:GHC.Integer.Type.Jn# {-# UNPACK #-}integer-gmp-1.0.0.0:GHC.Integer.Type.BigNat
+T.length :: Data.ByteString.Internal.ByteString -> Int
+:browse! T
+-- defined locally
+T.length :: T.Integer
+class N a
+class S a
+class C a b where
+ c1 :: N b => a -> b
+ c2 :: (N b, S b) => a -> b
+ c3 :: a1 -> b
+ c4 :: a1 -> b
+c1 :: (C a b, N b) => a -> b
+c2 :: (C a b, N b, S b) => a -> b
+c3 :: C a b => forall a. a -> b
+c4 :: C a b => forall a1. a1 -> b
+:browse! T -- with -fprint-explicit-foralls
+-- defined locally
+T.length :: T.Integer
+class N a
+class S a
+class C a b where
+ c1 :: N b => a -> b
+ c2 :: (N b, S b) => a -> b
+ c3 :: forall a1. a1 -> b
+ c4 :: forall a1. a1 -> b
+c1 :: forall a b. (C a b, N b) => a -> b
+c2 :: forall a b. (C a b, N b, S b) => a -> b
+c3 :: forall a b. C a b => forall a. a -> b
+c4 :: forall a b. C a b => forall a1. a1 -> b
+-- test :browse! <target> relative to different contexts
+:browse! Ghci025C -- from *Ghci025C>
+-- defined locally
+g :: forall a. Num a => a -> a
+h :: forall a. Integral a => a -> a
+-- imported via Ghci025D
+f :: forall a. Num a => a -> a
+:browse! Ghci025C -- from *Ghci025B>, after :add Ghci025B
+-- imported via Ghci025C
+g :: forall a. Num a => a -> a
+h :: forall a. Integral a => a -> a
+f :: forall a. Num a => a -> a
+:browse! Ghci025C -- from *Ghci025C>, after :m *Ghci025C
+-- defined locally
+g :: forall a. Num a => a -> a
+h :: forall a. Integral a => a -> a
+-- imported via Ghci025D
+f :: forall a. Num a => a -> a
+:browse! Ghci025C -- from *Ghci025D>, after :m *Ghci025D
+-- not currently imported
+Ghci025C.g :: forall a. Num a => a -> a
+Ghci025C.h :: forall a. Integral a => a -> a
+-- defined locally
+f :: forall a. Num a => a -> a
|