Re: Feedback request for #9628 AST Annotations

2014-09-29 Thread Edward Z. Yang
Excerpts from Richard Eisenberg's message of 2014-09-29 19:04:28 -0700: > What do other languages do? Do we know what, say, Agda does to get such tight > coupling with an editor? Does, say, Eclipse have such a chummy relationship > with a Java compiler to do its refactoring, or is that separately

Re: Feedback request for #9628 AST Annotations

2014-09-29 Thread Richard Eisenberg
I'm only speaking up because Alan is specifically requesting feedback: I'm really ambivalent about this. I agree with Edward that this is a big change and adds permanent noise in a lot of places. But, I also really respect the goal here -- better tool support. Is it worthwhile to do this using a

Re: Feedback request for #9628 AST Annotations

2014-09-29 Thread Edward Z. Yang
Excerpts from Alan & Kim Zimmerman's message of 2014-09-29 13:38:45 -0700: > 1. Is this change too big, should I scale it back to just update the >HsSyn structures and then lock it down to Located SrcSpan for all >the rest? I don't claim to speak for the rest of the GHC developers, but I t

Re: Aliasing current module qualifier

2014-09-29 Thread John Meacham
You don't need a new language construct, what i do is: module AnnoyinglyLongModuleName (M.length, M.null) where import AnnoyinglongLongModuleName as M I think ghc would need to be extended a little to make this convienient as it doesn't handle recursive module imports as transparently.

Feedback request for #9628 AST Annotations

2014-09-29 Thread Alan & Kim Zimmerman
Hi All I am looking for some input on #9628 for source annotations. The intent behind this is to make it easier for tool developers to add extra information to the AST. This is to assist in structured editing or other source to source conversions, such as refactoring. One of the use cases would

Re: Aliasing current module qualifier

2014-09-29 Thread Christian Maeder
Hi, rather than disambiguating a name from the current module by an abbreviated module name, I would prefer a disambiguation as is done for local names that shadows existing bindings. Then only imported names would need to be qualified (possibly using shorter module names). So names of the c

Re: [commit: ghc] master: Set default-impl of `mapM`/`sequence` methods to `traverse`/`sequenceA` (f636faa)

2014-09-29 Thread Edward Kmett
Hrmm. I wonder if that is in part caused by the inefficient use of sequence in https://github.com/ghc/nofib/blob/master/spectral/fibheaps/Main.lhs#L234 If that sequence . map is swapped for a traverse, what happens? -Edward On Mon, Sep 29, 2014 at 3:44 AM, Joachim Breitner wrote: > Hi, > > >

Re: Aliasing current module qualifier

2014-09-29 Thread Jan Stolarek
On a somewhat related note, I'd love to be able to do this in Haskell: import Basics.Nat renaming (_≥_ to _≥ℕ_) (this is taken from Agda). Janek Dnia poniedziałek, 29 września 2014, Herbert Valerio Riedel napisał: > Hello *, > > Here's a situation I've encountered recently, which mades me wis

Re: Building ghc on Windows with msys2

2014-09-29 Thread Thomas Miedema
Forgot to add. Here is a script I used to test this approach, using libffi-tarballs as an example: https://gist.github.com/thomie/260755a5ab79f020fb79 On Mon, Sep 29, 2014 at 11:40 AM, Thomas Miedema wrote: > >> > 3. Why is ghc-tarballs a git repository? That does not seem very wise. >>> [...] >

Re: Building ghc on Windows with msys2

2014-09-29 Thread Thomas Miedema
> > > > 3. Why is ghc-tarballs a git repository? That does not seem very wise. >> [...] >> > Could we have a stable folder under haskell.org/ to put the files in, >> to >> > make sure that they never go away, and just wget/curl them from there? >> >> http://thread.gmane.org/gmane.comp.lang.haskell.

Re: [commit: ghc] master: Extend `Foldable` class with `length` and `null` methods (e5cca4a)

2014-09-29 Thread Herbert Valerio Riedel
Hello Austin, As this is already the 2nd time I broke nofib w/o noticing... can we please add building (not necessarily running, i.e. NoFibRuns=0 would be enough) nofib to the Phabricator build-process? Cheers, hvr On 2014-09-29 at 11:11:56 +0200, Joachim Breitner wrote: [...] > Am Sonntag,

Re: [commit: ghc] master: Extend `Foldable` class with `length` and `null` methods (e5cca4a)

2014-09-29 Thread Joachim Breitner
Hi, Am Sonntag, den 28.09.2014, 13:07 + schrieb g...@git.haskell.org: > commit e5cca4ab246ca2d1ecdd7c39eefd3157547cb6aa > Author: Herbert Valerio Riedel > Date: Sun Sep 28 13:02:53 2014 +0200 > > Extend `Foldable` class with `length` and `null` methods > > This completes the

Re: Aliasing current module qualifier

2014-09-29 Thread Andreas Abel
The other two work arounds are 1. Explicit import lists for the stuff you need. 2. Explicit export list for your module (which you do), and internally use non-overloaded identifiers. module AnnoyinglyLongModuleName ( AnnoyinglyLongModuleName.length , AnnoyinglyLongModuleName

Re: Aliasing current module qualifier

2014-09-29 Thread Herbert Valerio Riedel
On 2014-09-29 at 10:43:28 +0200, Andreas Abel wrote: > Indeed, being able to introduce a short name for the current module, > or having a fixed short name like 'This' or 'Self' would be neat. > > The standard workaround for your example would be > > import Prelude hiding (length,null) That won't

Re: Aliasing current module qualifier

2014-09-29 Thread Andreas Abel
Indeed, being able to introduce a short name for the current module, or having a fixed short name like 'This' or 'Self' would be neat. The standard workaround for your example would be import Prelude hiding (length,null) Did you try a .hs-boot file with your self-import trick? Cheers, Andre

Aliasing current module qualifier

2014-09-29 Thread Herbert Valerio Riedel
Hello *, Here's a situation I've encountered recently, which mades me wish to be able to define a local alias (in order to avoid CPP use). Consider the following stupid module: module AnnoyinglyLongModuleName ( AnnoyinglyLongModuleName.length , AnnoyinglyLongModuleName.null

Re: [commit: ghc] master: Set default-impl of `mapM`/`sequence` methods to `traverse`/`sequenceA` (f636faa)

2014-09-29 Thread Joachim Breitner
Hi, Am Samstag, den 27.09.2014, 21:07 + schrieb g...@git.haskell.org: > commit f636faa7b2b7fc1d0663f994ad08f365d39a746d > Author: Herbert Valerio Riedel > Date: Sat Sep 27 22:55:19 2014 +0200 > > Set default-impl of `mapM`/`sequence` methods to `traverse`/`sequenceA` > > This

Re: Building ghc on Windows with msys2

2014-09-29 Thread kyra
On 9/28/2014 11:16 PM, Gintautas Miliauskas wrote: > However, overall (not GHC use cases) gcc 4.9.1 still looks more buggy on Windows than 4.8.3. Hmm, that sounds like an argument against trusting msys2 to provide a sane mingw gcc compiler... Bummer. What kind of bugs did you have in mind? Don