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

On 2/7/08, Don Stewart <[EMAIL PROTECTED]> 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to