Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread John Meacham
JHC has the feature that Graphics.UI.GTK.Button can live in any of: Graphics/UI/GTK/Button.hs Graphics/UI/GTK.Button.hs Graphics/UI.GTK.Button.hs Graphics.UI.GTK.Button.hs It lets you have deep module hiarchies without deep directory hierarchies and is not terribly surprising as behaviors go.

Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread Krzysztof Skrzętnicki
I would personally love to see this feature ported to GHC. Best regards, Krzysztof On Fri, May 30, 2014 at 11:00 AM, John Meacham j...@repetae.net wrote: JHC has the feature that Graphics.UI.GTK.Button can live in any of: Graphics/UI/GTK/Button.hs Graphics/UI/GTK.Button.hs

Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread Daniel Trstenjak
On Fri, May 30, 2014 at 02:00:38AM -0700, John Meacham wrote: JHC has the feature that Graphics.UI.GTK.Button can live in any of: Graphics/UI/GTK/Button.hs Graphics/UI/GTK.Button.hs Graphics/UI.GTK.Button.hs Graphics.UI.GTK.Button.hs It lets you have deep module hiarchies without deep

Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread Herbert Valerio Riedel
On 2014-05-30 at 11:00:38 +0200, John Meacham wrote: JHC has the feature that Graphics.UI.GTK.Button can live in any of: Graphics/UI/GTK/Button.hs Graphics/UI/GTK.Button.hs Graphics/UI.GTK.Button.hs Graphics.UI.GTK.Button.hs Just wondering: Does JHC warn if, for instance,

Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread John Meacham
On Fri, May 30, 2014 at 2:45 AM, Daniel Trstenjak daniel.trsten...@gmail.com wrote: Well, it might not be terribly surprising in itself, but we just have quite complex systems and the not terribly surprising things just accumulate and then it might get surprising somewhere. I really prefer

Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread John Meacham
No, it would be trivial to make it do so, but it would be ususual and contrary to how ghc does things. For instance, ghc doesnt warn if both Foo.lhs and Foo.hs exist or src/Foo.hs and bar/Foo.hs when both -isrc and -ibar are specified on the command line. John On Fri, May 30, 2014 at 3:10

GHC 7.8.2 bindist for OS X with Xcode 4

2014-05-30 Thread Christiaan Baaij
The Xcode 5 version of GHC 7.8.2, at http://www.haskell.org/ghc/download_ghc_7_8_2#macosx_x86_64, does not work on my machine where I only have Xcode 4 installed. Under the assumption that there are other people out there who also do not (want to) upgrade to Xcode 5, and don't like building GHC

Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread Bardur Arantsson
On 2014-05-30 11:00, John Meacham wrote: JHC has the feature that Graphics.UI.GTK.Button can live in any of: Graphics/UI/GTK/Button.hs Graphics/UI/GTK.Button.hs Graphics/UI.GTK.Button.hs Graphics.UI.GTK.Button.hs It lets you have deep module hiarchies without deep directory

Re: RFC: changes to -i flag for finding source files

2014-05-30 Thread Simon Marlow
On 30/05/14 11:10, John Meacham wrote: On Fri, May 30, 2014 at 2:45 AM, Daniel Trstenjak daniel.trsten...@gmail.com wrote: Well, it might not be terribly surprising in itself, but we just have quite complex systems and the not terribly surprising things just accumulate and then it might get

Re: GHC 7.8.3 release

2014-05-30 Thread Simon Marlow
On 27/05/14 09:06, Austin Seipp wrote: PPS: This might also impact the 7.10 schedule, but last Simon and I talked, we thought perhaps shooting for ICFP this time (and actually hitting it) was a good plan. So I'd estimate on that a 7.8.4 might happen a few months from now, after summer. FWIW, I

Data.Type.Equality.== works better when used at kind * - * - Bool

2014-05-30 Thread adam vogt
Hello List, Given the following definitions: class HEq (x :: k) (y :: k) (b :: Bool) | x y - b instance ((Proxy x == Proxy y) ~ b) = HEq x y b -- (A) instance ((x == y) ~ b) = HEq x y b -- (B) The instance (A) lets HList compile, which can be reproduced with: darcs get