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

2008-02-08 Thread Chad Scherrer
On Feb 8, 2008 9:55 AM, Simon Peyton-Jones [EMAIL PROTECTED] wrote: 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 Ok, I filed a bug report.

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

2008-02-07 Thread Don Stewart
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

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

2008-02-07 Thread Ryan Ingram
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

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

2008-02-07 Thread Don Stewart
chad.scherrer: Hello haskell-cafe, In ghci, I tried to get info for Data.Stream.Stream: $ ghci GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done. Prelude :m Data.Stream Prelude Data.Stream :i Stream data Stream a where Stream ::

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

2008-02-07 Thread Chad Scherrer
Hello haskell-cafe, In ghci, I tried to get info for Data.Stream.Stream: $ ghci GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done. Prelude :m Data.Stream Prelude Data.Stream :i Stream data Stream a where Stream :: forall a s.

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

2008-02-07 Thread Jonathan Cast
On 7 Feb 2008, at 12:30 PM, Chad Scherrer wrote: On Feb 7, 2008 11:57 AM, Don Stewart [EMAIL PROTECTED] wrote: Ah, yes, missing parens! Well spotted. So a pretty printer wibble in GHC? -- Don Yeah, that was my first concern, but then I noticed the quantification was different, so I'm still