Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
GHC
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Locked Files
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
0
Merge Requests
0
Requirements
Requirements
List
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Security & Compliance
Security & Compliance
Dependency List
License Compliance
Operations
Operations
Incidents
Environments
Packages & Registries
Packages & Registries
Package Registry
Container Registry
Analytics
Analytics
CI / CD
Code Review
Insights
Issue
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Alex D
GHC
Commits
9dac95e4
Commit
9dac95e4
authored
Mar 22, 2008
by
Ian Lynagh
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Update ghci025 output
parent
e3832db8
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
115 additions
and
7 deletions
+115
-7
testsuite/tests/ghc-regress/ghci/scripts/ghci025.stdout
testsuite/tests/ghc-regress/ghci/scripts/ghci025.stdout
+7
-7
testsuite/tests/ghc-regress/ghci/scripts/ghci025.stdout-6.8
testsuite/tests/ghc-regress/ghci/scripts/ghci025.stdout-6.8
+108
-0
No files found.
testsuite/tests/ghc-regress/ghci/scripts/ghci025.stdout
View file @
9dac95e4
-- test :browse! functionality
:browse! *T
-- defined locally
T.length :: GHC.
Num
.Integer
T.length :: GHC.
Integer
.Integer
class N a
class S a
class C a b where
...
...
@@ -34,8 +34,8 @@ class Monad m where
catMaybes :: [Maybe a] -> [a]
fromJust :: Maybe a -> a
fromMaybe :: a -> Maybe a -> a
isJust :: Maybe a -> GHC.B
ase
.Bool
isNothing :: Maybe a -> GHC.B
ase
.Bool
isJust :: Maybe a -> GHC.B
ool
.Bool
isNothing :: Maybe a -> GHC.B
ool
.Bool
listToMaybe :: [a] -> Maybe a
mapMaybe :: (a -> Maybe b) -> [a] -> [b]
maybe :: b -> (a -> b) -> Maybe a -> b
...
...
@@ -48,15 +48,15 @@ Nothing :: Maybe a
(+) :: (GHC.Num.Num a) => a -> a -> a
(=<<) :: (Monad m) => (a -> m b) -> m a -> m b
class Eq a where
(GHC.Base.==) :: a -> a -> GHC.B
ase
.Bool
(GHC.Base./=) :: a -> a -> GHC.B
ase
.Bool
(GHC.Base.==) :: a -> a -> GHC.B
ool
.Bool
(GHC.Base./=) :: a -> a -> GHC.B
ool
.Bool
-- imported via Prelude, T
Prelude.length :: [a] -> GHC.Base.Int
-- imported via T
T.length :: Data.ByteString.Internal.ByteString -> GHC.Base.Int
:browse! T
-- defined locally
T.length :: GHC.
Num
.Integer
T.length :: GHC.
Integer
.Integer
class N a
class S a
class C a b where
...
...
@@ -70,7 +70,7 @@ c3 :: (C a b) => a1 -> b
c4 :: (C a b) => a1 -> b
:browse! T -- with -fglasgow-exts
-- defined locally
T.length :: GHC.
Num
.Integer
T.length :: GHC.
Integer
.Integer
class N a
class S a
class C a b where
...
...
testsuite/tests/ghc-regress/ghci/scripts/ghci025.stdout-6.8
0 → 100644
View file @
9dac95e4
-- test :browse! functionality
:browse! *T
-- defined locally
T.length :: GHC.Num.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) => a1 -> b
c4 :: (C a b) => a1 -> b
-- imported via Control.Monad
class (Monad m) => MonadPlus m where
mzero :: m a
mplus :: m a -> m a -> m a
mplus :: (MonadPlus m) => m a -> m a -> m a
mzero :: (MonadPlus m) => m a
-- imported via Control.Monad, Prelude
(>>) :: (Monad m) => m a -> m b -> m b
(>>=) :: (Monad m) => m a -> (a -> m b) -> m b
fail :: (Monad m) => GHC.Base.String -> m a
return :: (Monad m) => a -> m a
-- imported via Control.Monad, Prelude, T
class 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.Base.Bool
isNothing :: Maybe a -> GHC.Base.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.Base.==) :: a -> a -> GHC.Base.Bool
(GHC.Base./=) :: a -> a -> GHC.Base.Bool
-- imported via Prelude, T
Prelude.length :: [a] -> GHC.Base.Int
-- imported via T
T.length :: Data.ByteString.Internal.ByteString -> GHC.Base.Int
:browse! T
-- defined locally
T.length :: GHC.Num.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) => a1 -> b
c4 :: (C a b) => a1 -> b
:browse! T -- with -fglasgow-exts
-- defined locally
T.length :: GHC.Num.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 a1. a1 -> b
c4 :: forall a b. (C a b) => forall a1. a1 -> b
-- test :browse! <target> relative to different contexts
:browse! C -- from *C>
-- defined locally
g :: forall a. (Num a) => a -> a
h :: forall a. (Integral a) => a -> a
-- imported via D
f :: forall a. (Num a) => a -> a
:browse! C -- from *B>, after :add B
-- imported via C
g :: forall a. (Num a) => a -> a
h :: forall a. (Integral a) => a -> a
f :: forall a. (Num a) => a -> a
:browse! C -- from *C>, after :m *C
-- defined locally
g :: forall a. (Num a) => a -> a
h :: forall a. (Integral a) => a -> a
-- imported via D
f :: forall a. (Num a) => a -> a
:browse! C -- from *D>, after :m *D
-- not currently imported
C.g :: forall a. (Num a) => a -> a
C.h :: forall a. (Integral a) => a -> a
-- defined locally
f :: forall a. (Num a) => a -> a
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment