#2082: In ghci, :i leaves out parens in type
---------------------------+------------------------------------------------
Reporter: chad.scherrer | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: x86
Os: Linux |
---------------------------+------------------------------------------------
Changes (by igloo):
* difficulty: => Unknown
Old description:
> In ghci, :i sometimes leaves out parentheses in the type. For example, in
> Data.Stream,
>
> Prelude Data.Stream> :i Stream
>
> data Stream a where
> Stream :: forall a s.
> (Data.Stream.Unlifted s) =>
> !s -> Step a s -> !s -> Stream a
> -- Defined in Data.Stream
>
> instance Functor Stream -- Defined in Data.Stream
>
> Here the type
>
> (Data.Stream.Unlifted s) => !s -> Step a s -> !s -> Stream a
>
> should instead be
>
> (Data.Stream.Unlifted s) => (!s -> Step a s) -> !s -> Stream a
New description:
In ghci, :i sometimes leaves out parentheses in the type. For example, in
Data.Stream,
{{{
Prelude Data.Stream> :i Stream
data Stream a where
Stream :: forall a s.
(Data.Stream.Unlifted s) =>
!s -> Step a s -> !s -> Stream a
-- Defined in Data.Stream
instance Functor Stream -- Defined in Data.Stream
}}}
Here the type
{{{
(Data.Stream.Unlifted s) => !s -> Step a s -> !s -> Stream a
}}}
should instead be
{{{
(Data.Stream.Unlifted s) => (!s -> Step a s) -> !s -> Stream a
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2082#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
