Re: Better X87

2016-10-21 Thread Simon Marlow
I believe that comment goes even further back - it was probably Julian Seward who worked on the x86 code generator around 1999, if I recall correctly. ​ ___ ghc-devs mailing list ghc-devs@haskell.org

Re: Default options for -threaded

2016-10-21 Thread Simon Marlow
On 8 October 2016 at 17:55, Ben Gamari wrote: > loneti...@gmail.com writes: > > > Hi All, > > > > A user on https://ghc.haskell.org/trac/ghc/ticket/11054 has asked why > > -N -qa isn’t the default for -threaded. > > > I'm not sure that scheduling on all of the cores on the

Re: Semantics of MVars and IORefs?

2016-10-21 Thread Ryan Yates
Hi Iavor, You might be interested in what Edward has written about this: http://blog.ezyang.com/2014/01/so-you-want-to-add-a-new-concurrency-primitive-to-ghc/ I would say when we do have a memory model for GHC the program you gave will almost certainly be correct. MVar operations should be

Semantics of MVars and IORefs?

2016-10-21 Thread Iavor Diatchki
Hello, recently, I and a few colleagues have been wondering about the interaction between IORefs and MVars, and we can't seem to find any explicit documentation stating the behavior, so I was wondering if anyone might know the answer. The question is: is it safe to use IORefs in a

Re: [Diffusion] [Build Failed] rGHC6ddba64287fe: Improve TcCanonical.unifyWanted and unifyDerived

2016-10-21 Thread Matthew Pickering
I can reproduce the failure locally but not always. No clue as to the sudden cause but here's the ticket and differential to mark the test as broken for now. https://ghc.haskell.org/trac/ghc/ticket/12751 https://phabricator.haskell.org/D2622 Matt On Fri, Oct 21, 2016 at 10:20 PM, Simon Peyton

Re: How to best display type variables with the same name

2016-10-21 Thread Christopher Done
On 19 October 2016 at 17:00, Simon Peyton Jones simo...@microsoft.com wrote: I’m afraid I didn’t understand the issue in the link below. It speaks of “querying the type”, but I’m not sure what that means. A GHCi session perhaps? Does this relate to the way

Re: Dataflow analysis for Cmm

2016-10-21 Thread Simon Marlow
On 16 October 2016 at 14:03, Michal Terepeta wrote: > Hi, > > I was looking at cleaning up a bit the situation with dataflow analysis > for Cmm. > In particular, I was experimenting with rewriting the current > `cmm.Hoopl.Dataflow` module: > - To only include the

Re: Compact regions in users guide

2016-10-21 Thread Simon Marlow
Yes we need some docs. But I expect the API to change before we're done with the implementation (it isn't really usable in its current state), so I'm deferring the docs until things settle down. Cheers Simon On 17 October 2016 at 18:32, Ben Gamari wrote: > Hello Compact