Re: Validate broken on Snow Leopard and Mountain Lion

2013-11-13 Thread Christiaan Baaij
The error in snow leopard is the result of my patch [1] for #8266 [2], which ensures that the original build directory is no longer referenced in installed packages/libs. The patch is just a proper implementation of the original design though. Perhaps the relative-dynlib-references procedure

RE: [commit: ghc] master: Make the fields in NameCache strict (bed118a)

2013-11-13 Thread Simon Peyton-Jones
Patrick, does this have any effect on the performance of the compiler (runtime, allocation)? Simon | -Original Message- | From: ghc-commits [mailto:ghc-commits-boun...@haskell.org] On Behalf Of | g...@git.haskell.org | Sent: 13 November 2013 03:40 | To: ghc-comm...@haskell.org |

restrictions on Coercible

2013-11-13 Thread Richard Eisenberg
Hi Simon, Joachim, and others, I'm in the midst of reimplementing GeneralizedNewtypeDeriving in terms of coerce. See #8503 for why I'm doing this. But, I've run up against a limitation of Coercible I'd like to know more about. Currently, the stage2 compiler fails to build because of the

RE: restrictions on Coercible

2013-11-13 Thread Simon Peyton-Jones
Ah, life is never as simple as you hope. The whole treatment of recursive types is a bit flaky in GHC. For newtypes here is the motivation newtype R = MkR R Now if we have an instance instance Coercible a R = Coercible a R we aren't going to make much progress. Mutual recursion

Problems building HEAD on Mac OS X Mavericks/Xcode 5

2013-11-13 Thread Nick Partridge
Hi, I've hit a build failure when trying to build HEAD on Mavericks. I've logged a bug here with a lot of detail: https://ghc.haskell.org/trac/ghc/ticket/8528. When using alex 3.1.2, some of the generated files have spaces preceding preprocessor statements, while alex 3.1.0 doesn't do this. I

RE: [commit: ghc] master: Make type-level evaluation work with :kind! (b2fa2d4)

2013-11-13 Thread Simon Peyton-Jones
That is indeed revolting. Why not make sfMatchFam :: [Type] - Maybe (CoAxiomRule, [Type], Type) thus getting rid of the TcCoercion, and baking in the flaky assumption by construction. Then I think you can put the whole definition of TcBuiltInSynFamily (with a non-Tc name) into CoAxiom.

Re: restrictions on Coercible

2013-11-13 Thread Richard Eisenberg
I've moved this conversation to the comments on #8503, which is where I should have started it in the first place. Please see there for my response. Richard On Nov 13, 2013, at 6:27 PM, Simon Peyton-Jones simo...@microsoft.com wrote: Ah, life is never as simple as you hope. The whole

Re: Validate broken on Snow Leopard and Mountain Lion

2013-11-13 Thread Ben Lippmeier
On 13/11/2013, at 8:02 PM, Christiaan Baaij wrote: Does validate work for the DPH packages on Linux? sh validate runs fine on my Linux machine, but neither of my Macs. I can also run the dph tests manually on Linux, and they work fine. Ben. ___

Re: Problems building HEAD on Mac OS X Mavericks/Xcode 5

2013-11-13 Thread Carter Schonwald
Great job nick! now we just need to sort out the problem and fix it! :) On Wed, Nov 13, 2013 at 9:29 PM, Nick Partridge nkp...@gmail.com wrote: Hi, I've hit a build failure when trying to build HEAD on Mavericks. I've logged a bug here with a lot of detail:

Re: Validate broken on Snow Leopard and Mountain Lion

2013-11-13 Thread Carter Schonwald
Ben has an excellent point: if things are broken on mac, lets fix it! Especially since we should be hitting RC status shortly any breakages should be smashed ASAP. This does raise a point I hope we'll address more aggressively after the 7.8 release, namely trying to keep ghc less broken by