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

7 Feb 2008

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

On 2/7/08, Don Stewart  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

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

Ryan Ingram