Re: Future plans

2013-07-19 Thread Simon Marlow
Ian, You've done wonders for GHC during your time with us, and you'll be a tough act to follow. Best of luck with your future endeavours! Cheers, Simon On 18/07/13 15:44, Ian Lynagh wrote: Friends, For a number of reasons, I have decided to move on to new challenges, and so from

Re: Proposal: provide cas and barriers symbols even without -threaded

2013-07-19 Thread Simon Marlow
On 18/07/13 14:17, Ryan Newton wrote: The atomic-primops library depends on symbols such as store_load_barrier and cas, which are defined in SMP.h. Thus the result is that if the program is linked WITHOUT -threaded, the user gets a linker error about undefined symbols. The specific place it's

git push failure

2013-07-19 Thread Simon Marlow
I got this from a git push today: $ git push Counting objects: 17, done. Delta compression using up to 8 threads. Compressing objects: 100% (10/10), done. Writing objects: 100% (11/11), 1.20 KiB, done. Total 11 (delta 6), reused 0 (delta 0) remote: Traceback (most recent call last): remote:

RE: new pragma name ideas? (was: defunctionalization)

2013-07-19 Thread Simon Peyton-Jones
So the idea here to make it possible to have a function that can be specialized at certain types, and explicitly inlined at specific use sites, but ghc otherwise will not inline it? Cool! That's almost exactly what INLINABLE means. I agree that SPECIALISABLE would have been a better name.

RE: Future plans

2013-07-19 Thread Simon Peyton-Jones
Ian You have been a real star. Thank you so much for all you have contributed to GHC. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ian | Lynagh | Sent: 18 July 2013 15:44 | To: ghc-devs@haskell.org | Subject: Future plans | | |

No shared libraries with performance build

2013-07-19 Thread Jan Stolarek
I've done a performance build today on a 64 bit linux and the shared libraries weren't build. I had to comment out these 3 lines in perf section of build.mk to get the shared libraries built: ifeq $(PlatformSupportsSharedLibs) YES GhcLibWays += dyn endif Is that expected? Janek

Re: Proposal: provide cas and barriers symbols even without -threaded

2013-07-19 Thread Carter Schonwald
I guess I should find the time to finish the CAS primop work I volunteered to do then. Ill look into in a few days. On Friday, July 19, 2013, Simon Marlow wrote: On 18/07/13 14:17, Ryan Newton wrote: The atomic-primops library depends on symbols such as store_load_barrier and cas, which are

Segfault of profiled stage 2 GHC

2013-07-19 Thread Edward Z. Yang
Hey guys, I recently built a profiled GHC and noticed it was segfaulting. Has anyone else built a profiled GHC recently? Edward ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Adding constant folding for Integer div and mod

2013-07-19 Thread Jan Stolarek
It seems that currently there are no built-in constant folding rules for Integer div and mod. I plan on adding those rules, but before I do that I wanted to ask whether there is a good reason that these rules don't exist? Janek ___ ghc-devs mailing

Re: Proposal: provide cas and barriers symbols even without -threaded

2013-07-19 Thread Ryan Newton
Yes, I'd absolutely rather not suffer C call overhead for these functions (or the CAS functions). But isn't that how it's done currently for the casMutVar# primop? https://github.com/ghc/ghc/blob/95e6865ecf06b2bd80fa737e4fa4a24beaae25c5/rts/PrimOps.cmm#L265 To avoid the overhead, is it

Re: Adding constant folding for Integer div and mod

2013-07-19 Thread Bryan O'Sullivan
On Fri, Jul 19, 2013 at 9:58 AM, Jan Stolarek jan.stola...@p.lodz.plwrote: It seems that currently there are no built-in constant folding rules for Integer div and mod. I plan on adding those rules, but before I do that I wanted to ask whether there is a good reason that these rules don't

Re: git push failure

2013-07-19 Thread Nicolas Frisby
remote: Host key verification failed. Looks like a known_hosts file needs updating Somewhere. We did change servers a few days ago. Although it seems odd that it took this long for it to show up — optimistically presuming we're not under attack. On Fri, Jul 19, 2013 at 4:22 AM, Simon Marlow

Re: Proposal: provide cas and barriers symbols even without -threaded

2013-07-19 Thread Carter Schonwald
Ryan, if you look at line 270, you'll see the CAS is a C call https://github.com/ghc/ghc/blob/95e6865ecf06b2bd80fa737e4fa4a24beaae25c5/rts/PrimOps.cmm#L270 What Simon is alluding to is some work I started (but need to finish) http://ghc.haskell.org/trac/ghc/ticket/7883 is the relevant ticket,

Re: Adding constant folding for Integer div and mod

2013-07-19 Thread Carter Schonwald
that said, please be *conservative* on how you optimize floats, i'd rather not have accidental unexpected numerical instability. Its much easier to validate correctness of optimizations for Words and Ints rather than Floats and Doubles, the latter are complicated critters On Fri, Jul 19, 2013