[Haskell-cafe] :i and :t give different types

Ryan Ingram ryani.spam at gmail.com
Thu Feb 7 14:55:37 EST 2008


It looks like there is a bug with unparsing of bang-constructors in ghci:

On 2/7/08, Don Stewart <dons at galois.com> wrote:
>    data Stream a = forall s. Unlifted s =>
>                              Stream !(s -> Step a s)  -- ^ a stepper function
>                                     !s                -- ^ an initial state

>    Prelude Data.Stream> :info Stream
>    data Stream a where
>      Stream :: forall a s.
>                (Data.Stream.Unlifted s) =>
>                !s -> Step a s -> !s -> Stream a

This last line should start with !(s -> Step a s) instead of !s -> Step a s.

If that was fixed, everything looks correct.

  -- ryan


More information about the Haskell-Cafe mailing list