RE: profiling for 6.2.2

2004-08-23 Thread Simon Marlow
On 21 August 2004 11:59, Serge D. Mechveliani wrote: Dear GHC developers, I recall that there is also desirable to have in the official ghc-6.2.2 a reliable pro-filing (for the time cost centers, for -O). Do you have outstanding bug reports for

overzealous defaulting?

2004-08-23 Thread Abraham Egnor
I'm not sure if this is an actual bug, as opposed to an odd instance of defaulting: *GUI.Parser let printQ q = runQ q = print *GUI.Parser :t printQ printQ :: forall a. (Show a) = Q a - IO () *GUI.Parser let p = printQ *GUI.Parser :t p p :: Q Integer - IO () ...but I'm not sure when that would

RE: overzealous defaulting?

2004-08-23 Thread Simon Peyton-Jones
The binding let t = printQ falls under the monomorphism restriction. The Haskell Report would not default (Show a), so you might think you'd get an ambiguous type variable error. But it's so annoying to get this error for ghci show [] that GHCi is a bit more eager about

Re: overzealous defaulting?

2004-08-23 Thread Tomasz Zielonka
On Mon, Aug 23, 2004 at 05:14:32PM +0100, Simon Peyton-Jones wrote: The binding let t = printQ falls under the monomorphism restriction. The Haskell Report would not default (Show a), so you might think you'd get an ambiguous type variable error. But it's so annoying to get this error