Re: mask in waitQSem

2014-11-24 Thread Simon Marlow
On 14/11/2014 21:23, Yuras Shumovich wrote: I was reviewing some exception handling code in base library, and I found this line: https://phabricator.haskell.org/diffusion/GHC/browse/master/libraries/base/Control/Concurrent/QSem.hs;165072b334ebb2ccbef38a963ac4d126f1e08c96$74 Here mask is used,

Re: mask in waitQSem

2014-11-24 Thread Simon Marlow
On 14/11/2014 21:30, Brandon Allbery wrote: On Fri, Nov 14, 2014 at 4:23 PM, Yuras Shumovich shumovi...@gmail.com mailto:shumovi...@gmail.com wrote: Here mask is used, but I looks completely useless for me. waitQSem itself should be called with async exceptions masked, otherwise there

Re: Garbage collection

2014-11-24 Thread Simon Marlow
On 18/11/2014 18:03, Mathieu Boespflug wrote: On 18 November 2014 16:59, Simon Peyton Jones simo...@microsoft.com wrote: Isn't it this simple: the Static Pointer Table must be a source of roots for the garbage collector. Of course! An item in the SPT may be looked up at any time. As

Re: mask in waitQSem

2014-11-24 Thread Yuras Shumovich
On Mon, 2014-11-24 at 10:09 +, Simon Marlow wrote: On 14/11/2014 21:23, Yuras Shumovich wrote: I was reviewing some exception handling code in base library, and I found this line:

Re: linker_unload

2014-11-24 Thread Herbert Valerio Riedel
On 2014-11-24 at 11:19:43 +0100, Simon Marlow wrote: linker_unload: /5playpen/simonpj/HEAD-2/libraries/integer-gmp2/dist-install/build/libHSinteg_2MbWUstH60IEgCAexOk3v3.a: unknown symbol `__gmpn_rshift' Herbert, perhaps this is integer-gmp2 breakage? ...can't rule it out, but I haven't seen

Re: linker_unload

2014-11-24 Thread Karel Gardas
On 11/24/14 01:50 PM, Herbert Valerio Riedel wrote: On 2014-11-24 at 11:19:43 +0100, Simon Marlow wrote: linker_unload: /5playpen/simonpj/HEAD-2/libraries/integer-gmp2/dist-install/build/libHSinteg_2MbWUstH60IEgCAexOk3v3.a: unknown symbol `__gmpn_rshift' Herbert, perhaps this is integer-gmp2

RE: let app invariant failure, HALP Re: how to write a ghc primop that acts on an unevaluated argument?

2014-11-24 Thread Simon Peyton Jones
Carter That smells wrong to me. These flags have a very carefully defined meaning; see Note [PrimOp can_fail and has_side_effects] in PrimOp.lhs If you say it has side effects when it doesn’t, you’ll confuse your successor reading the code in five years time. Better to find out

RE: Diff grouping question

2014-11-24 Thread Simon Peyton Jones
I’d put them all in one Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Alan Kim Zimmerman Sent: 22 November 2014 13:58 To: ghc-devs@haskell.org Subject: Diff grouping question I am picking up some minor updates required for the API annotations, relating to

Re: let app invariant failure, HALP Re: how to write a ghc primop that acts on an unevaluated argument?

2014-11-24 Thread Carter Schonwald
when i run ./inplace/bin/ghc-stage2 codetester.hs -O2 -dcore-lint -S -fforce-recomp -ddump-simpl -ddump-to-file –dverbose-core2core –ddump-occur-anal –ddump-inlinings i get target ‘–dverbose-core2core’ is not a module name or a source file what am I doing wrong in this CLI invocation? On Mon,

Re: linker_unload

2014-11-24 Thread Herbert Valerio Riedel
Hello Simon, On 2014-11-21 at 14:51:55 +0100, Simon Peyton Jones wrote: I'm getting this for test linker_unload on Linux. I'm sure it's not my fault! But it makes validate fail [...] linker_unload:

Re: linker_unload

2014-11-24 Thread Karel Gardas
On 11/25/14 08:18 AM, Herbert Valerio Riedel wrote: Would it be possible to update your `sudo apt-get update` `sudo apt-get dist-upgrade` your Linux environment with the latest bugfixes to Ubuntu 12.04.5? That way we can be sure it's not a subtle bug already fixed upstream... I'm not sure,

Re: linker_unload

2014-11-24 Thread Herbert Valerio Riedel
On 2014-11-25 at 08:23:04 +0100, Karel Gardas wrote: On 11/25/14 08:18 AM, Herbert Valerio Riedel wrote: Would it be possible to update your `sudo apt-get update` `sudo apt-get dist-upgrade` your Linux environment with the latest bugfixes to Ubuntu 12.04.5? That way we can be sure it's not a