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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Don Stewart | Sent: 07 February 2008 19:58 | To: Ryan Ingram | Cc: haskell-cafe@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 <[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. | | Ah, yes, missing parens! Well spotted. | | So a pretty printer wibble in GHC? | | -- Don | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
