Move tests from tests/ghc-regress/* to just tests/*
[ghc.git] / testsuite / tests / ghci / scripts / ghci025.stdout-ghc-7.0
1 -- test :browse! functionality
2 :browse! *T
3 -- defined locally
4 T.length :: T.Integer
5 class N a
6 class S a
7 class C a b where
8   c1 :: N b => a -> b
9   c2 :: (N b, S b) => a -> b
10   c3 :: a1 -> b
11   c4 :: a1 -> b
12 c1 :: (C a b, N b) => a -> b
13 c2 :: (C a b, N b, S b) => a -> b
14 c3 :: C a b => forall a1. a1 -> b
15 c4 :: C a b => forall a1. a1 -> b
16 -- imported via Control.Monad
17 class Monad m => MonadPlus m where
18   mzero :: m a
19   mplus :: m a -> m a -> m a
20 mplus :: MonadPlus m => forall a. m a -> m a -> m a
21 mzero :: MonadPlus m => forall a. m a
22 -- imported via Control.Monad, Prelude
23 (>>) :: Monad m => forall a b. m a -> m b -> m b
24 (>>=) :: Monad m => forall a b. m a -> (a -> m b) -> m b
25 fail :: Monad m => forall a. GHC.Base.String -> m a
26 return :: Monad m => forall a. a -> m a
27 -- imported via Control.Monad, Prelude, T
28 class Monad m where
29   (>>=) :: m a -> (a -> m b) -> m b
30   (>>) :: m a -> m b -> m b
31   return :: a -> m a
32   fail :: GHC.Base.String -> m a
33 -- imported via Data.Maybe
34 catMaybes :: [Maybe a] -> [a]
35 fromJust :: Maybe a -> a
36 fromMaybe :: a -> Maybe a -> a
37 isJust :: Maybe a -> GHC.Bool.Bool
38 isNothing :: Maybe a -> GHC.Bool.Bool
39 listToMaybe :: [a] -> Maybe a
40 mapMaybe :: (a -> Maybe b) -> [a] -> [b]
41 maybe :: b -> (a -> b) -> Maybe a -> b
42 maybeToList :: Maybe a -> [a]
43 -- imported via Data.Maybe, Prelude
44 Just :: a -> Maybe a
45 data Maybe a = Nothing | Just a
46 Nothing :: Maybe a
47 -- imported via Prelude
48 (+) :: GHC.Num.Num a => a -> a -> a
49 (=<<) :: Monad m => (a -> m b) -> m a -> m b
50 class Eq a where
51   (GHC.Classes.==) :: a -> a -> GHC.Bool.Bool
52   (GHC.Classes./=) :: a -> a -> GHC.Bool.Bool
53 -- imported via Prelude, T
54 Prelude.length :: [a] -> GHC.Types.Int
55 -- imported via T
56 data T.Integer
57   = integer-gmp:GHC.Integer.Type.S# GHC.Prim.Int#
58   | integer-gmp:GHC.Integer.Type.J# GHC.Prim.Int# GHC.Prim.ByteArray#
59 T.length :: Data.ByteString.Internal.ByteString -> GHC.Types.Int
60 :browse! T
61 -- defined locally
62 T.length :: T.Integer
63 class N a
64 class S a
65 class C a b where
66   c1 :: N b => a -> b
67   c2 :: (N b, S b) => a -> b
68   c3 :: a1 -> b
69   c4 :: a1 -> b
70 c1 :: (C a b, N b) => a -> b
71 c2 :: (C a b, N b, S b) => a -> b
72 c3 :: C a b => forall a1. a1 -> b
73 c4 :: C a b => forall a1. a1 -> b
74 :browse! T -- with -fprint-explicit-foralls
75 -- defined locally
76 T.length :: T.Integer
77 class N a
78 class S a
79 class C a b where
80   c1 :: N b => a -> b
81   c2 :: (N b, S b) => a -> b
82   c3 :: forall a1. a1 -> b
83   c4 :: forall a1. a1 -> b
84 c1 :: forall a b. (C a b, N b) => a -> b
85 c2 :: forall a b. (C a b, N b, S b) => a -> b
86 c3 :: forall a b. C a b => forall a1. a1 -> b
87 c4 :: forall a b. C a b => forall a1. a1 -> b
88 -- test :browse! <target> relative to different contexts
89 :browse! C -- from *C>
90 -- defined locally
91 g :: forall a. Num a => a -> a
92 h :: forall a. Integral a => a -> a
93 -- imported via D
94 f :: forall a. Num a => a -> a
95 :browse! C -- from *B>, after :add B
96 -- imported via C
97 g :: forall a. Num a => a -> a
98 h :: forall a. Integral a => a -> a
99 f :: forall a. Num a => a -> a
100 :browse! C -- from *C>, after :m *C
101 -- defined locally
102 g :: forall a. Num a => a -> a
103 h :: forall a. Integral a => a -> a
104 -- imported via D
105 f :: forall a. Num a => a -> a
106 :browse! C -- from *D>, after :m *D
107 -- not currently imported
108 C.g :: forall a. Num a => a -> a
109 C.h :: forall a. Integral a => a -> a
110 -- defined locally
111 f :: forall a. Num a => a -> a