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

Simon Peyton-Jones simonpj at microsoft.com
Fri Feb 8 12:55:53 EST 2008


I have not been following closely but if Don thinks there's a bug there probably is.  Can someone submit a bug report pls?  Better still a patch! :-)

Simon

| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On Behalf Of Don Stewart
| Sent: 07 February 2008 19:58
| To: Ryan Ingram
| Cc: haskell-cafe at haskell.org; Chad Scherrer
| Subject: Re: [Haskell-cafe] :i and :t give different types
|
| ryani.spam:
| > 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.
|
| Ah, yes, missing parens! Well spotted.
|
| So a pretty printer wibble in GHC?
|
| -- Don
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe


More information about the Haskell-Cafe mailing list