Hi,
2010/11/25 Roman Leshchinskiy
> On 25/11/2010, at 10:33, José Pedro Magalhães wrote:
>
> > Is this a bug, or is the value of spec-constr-count being manipulated in
> some way for certain passes?
>
> spec-constr-count decreases for nested specialisations. For instance, if
> spec-constr-count
On 25/11/2010, at 10:33, José Pedro Magalhães wrote:
> Is this a bug, or is the value of spec-constr-count being manipulated in some
> way for certain passes?
spec-constr-count decreases for nested specialisations. For instance, if
spec-constr-count is 6 and SpecConstr generates 2 specialisatio
Hi!
On Thu, Nov 25, 2010 at 5:37 PM, Bas van Dijk wrote:
> Officially your patch has to go through the "Library submission" process:
A bit overkill for one line but OK. ;-)
> Since you already have a ticket the only thing left to do is convert
> your patch to a darcs patch and send a proposal t
Hi!
On Thu, Nov 25, 2010 at 1:05 PM, Simon Marlow wrote:
> It's just an oversight. Send us a patch, or make a ticket for it?
Done:
http://hackage.haskell.org/trac/ghc/ticket/4526
Mitar
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@ha
On 25/11/2010 00:48, Mitar wrote:
Why is there no Eq instance for Chan? There is Eq for MVar so it is
quite possible to define also Eq for Chan?
It's just an oversight. Send us a patch, or make a ticket for it?
Cheers,
Simon
___
Glasgow-has
On 18/11/2010 18:21, Tyson Whitehead wrote:
On November 18, 2010 05:12:11 Simon Marlow wrote:
On 17/11/2010 14:34, Christian Maeder wrote:
ghc can be built without and with libffi.
Which build option are you referring to here? libffi is required for
FFI support in GHCi, and for FFI "wrapper"
Hi all,
When compiling some program with -O2 using ghc-7.0.1, I got warnings like
> SpecConstr
> Function `$j_s7Xo{v} [lid]'
> has three call patterns, but the limit is 1
> Use -fspec-constr-count=n to set the bound
> Use -dppr-debug to see specialisations
> SpecConstr
> Fun
Hi,
I'm currently working on a GHC extension called "monad comprehensions"
[1]. Typechecking for generators ("pat <- rhs") already works, but
filters are a bit more tricky. Basicly, it works like that:
A monad comprehension...
[ body | E ] -- E :: Bool
...should desugar to:
Con
