Can't make ghc on master

2013-08-05 Thread Alfredo Di Napoli
Hello guys, I'm trying a fresh compile from master. These are the steps I've taken: $ git clone http://darcs.haskell.org/ghc.git/ $ cd ghc $ ./sync-all --testsuite get followed by: cp mk/build.mk.sample mk/build.mk uncommenting #BuildFlavour = quick and finally: $ perl boot $ ./configure $

Re: Can't make ghc on master

2013-08-05 Thread Alfredo Di Napoli
in a number of ways. I recommend using my approach to sandboxes, which works fine with ghc (http://www.edsko.net/2013/02/10/comprehensive-haskell-sandboxes/). -E On Mon, Aug 5, 2013 at 9:14 AM, Alfredo Di Napoli alfredo.dinap...@gmail.com wrote: Hello guys, I'm trying a fresh compile from master

Re: [GHC] #8226: Remove the old style -- # Haddock comments.

2014-06-07 Thread Alfredo Di Napoli
Thanks Fuuzetsu, Tomorrow I'll still be at the ZuriHac, so hopefully I'll able to adjust the patch :) I'll poke you if you'll be around Thanks! Alfredo Di Napoli On 07/giu/2014, at 07:23, GHC ghc-devs@haskell.org wrote: #8226: Remove the old style -- # Haddock comments

Getting error about unused instances during sh validate

2014-06-12 Thread Alfredo Di Napoli
Hello guys, am I the only one to get the following when I run sh validate? libraries/base/Data/Maybe.hs:139:1: Warning: Defined but not used: ‘mapMaybeFB’ no location info: Failing due to -Werror. make[1]: *** [libraries/base/dist-install/doc/html/base/base.haddock] Error 1 make[1]: ***

Re: ANNOUNCE: GHC version 7.8.4

2014-12-24 Thread Alfredo Di Napoli
Thanks Carter! I have just asked basically about it on Reddit, in the announce thread. I'll give it a spin, and if it works I will share the link (if you are ok with that!) on the same Reddit post. Alfredo On Tuesday, 23 December 2014, Carter Schonwald carter.schonw...@gmail.com wrote: Heres a

Re: ANNOUNCE: GHC version 7.8.4

2014-12-24 Thread Alfredo Di Napoli
, Dec 24, 2014 at 10:52 AM, Alfredo Di Napoli alfredo.dinap...@gmail.com wrote: Thanks Carter! I have just asked basically about it on Reddit, in the announce thread. I'll give it a spin, and if it works I will share the link (if you are ok with that!) on the same Reddit post. Alfredo

Re: Where do I start if I would like help improve GHC compilation times?

2017-04-09 Thread Alfredo Di Napoli
. In conclusion, what do you think is the best approach, 1 or 2, both or none? ;) Thank you! Alfredo On 7 April 2017 at 18:30, Alfredo Di Napoli <alfredo.dinap...@gmail.com> wrote: > Hey Ben, > > thanks for the quite exhaustive reply! I’m on the go right now, but I > promise

Re: Where do I start if I would like help improve GHC compilation times?

2017-04-10 Thread Alfredo Di Napoli
Hey all, thanks a ton for the invaluable pointers. I’m now in the “I-dunno-what-I-am-doing” mode banging SCC annotations like there is no tomorrow, trying to spot any chance for some low-hanging-fruit algorithmic improvement (like using a sequence instead of a list, etc), and will come back to

Re: Where do I start if I would like help improve GHC compilation times?

2017-04-17 Thread Alfredo Di Napoli
Gamari <b...@smart-cactus.org> wrote: > Alfredo Di Napoli <alfredo.dinap...@gmail.com> writes: > > > Hey Ben, > > > Hi Alfredo, > > Sorry for the late response! The email queue from the weekend was a bit > longer than I would like. > > > as promi

ghc-stage2 —interactive segfaults on Mac OS X 10.11.6 (build flavour = prof)

2017-04-13 Thread Alfredo Di Napoli
Hey all, I’m trying to compile GHC HEAD (cloning from master) with the `prof` build flavour on a Mac OS X 10.11.6 machine and I have noticed that, despite ghc-stage2 works as expected, when invoked with —interactive it starts before crashing with a segmentation fault: ``` ☁ compiler [master] ⚡

Re: Where do I start if I would like help improve GHC compilation times?

2017-04-18 Thread Alfredo Di Napoli
ther than saying silly things, I would rather spend a bit of time reading everything that has been written by folks way smarter than me on the subject and get back to you folks later ;) Alfredo On 18 April 2017 at 14:21, Ben Gamari <b...@smart-cactus.org> wrote: > Alfredo Di Napoli &

Re: Where do I start if I would like help improve GHC compilation times?

2017-04-07 Thread Alfredo Di Napoli
Hey Ben, thanks for the quite exhaustive reply! I’m on the go right now, but I promise to get back to you with a meaningful reply later this weekend ;) Alfredo On 7 April 2017 at 18:22, Ben Gamari <b...@smart-cactus.org> wrote: > Alfredo Di Napoli <alfredo.dinap...@gmail.com> wr

Where do I start if I would like help improve GHC compilation times?

2017-04-07 Thread Alfredo Di Napoli
Hey folks, maybe I’m setting up for something too ambitious for me, but I would like to take an active stance to the overlasting “GHC compilation times are terrible” matter, instead of simply stare at the screen with despair whenever GHC compiles a sufficiently large Haskell program ;) To make

Re: ghc-stage2 —interactive segfaults on Mac OS X 10.11.6 (build flavour = prof)

2017-04-14 Thread Alfredo Di Napoli
/MachO.c:141 141 if(NULL != oc->info->nlist) { Maybe it does ring a bell to any of you. In case not, I’m happy to continue digging. A. On 14 April 2017 at 21:19, Alfredo Di Napoli <alfredo.dinap...@gmail.com> wrote: > Hey Ben, > > yes, it’s consistently repro

Re: Where do I start if I would like help improve GHC compilation times?

2017-04-18 Thread Alfredo Di Napoli
e's no point nicely > indenting things or wrapping lines. The overhead is probably all in the > layer of data structure that we generate in Pretty before it gets dumped > into raw bytes. Using a ByteString Builder instead might yield some > improvement. > > Cheers > Simon > >

Re: Parser depends on DynFlags, depends on Hooks, depends on TcM, DsM, ...

2020-09-15 Thread Alfredo Di Napoli
> Do you happen to know of DynFlagPlugins, Adam? Alas the newly release LiquidHaskell plugin relies on the `dynflagsPlugin` action, so it would be nice if this was not removed: https://github.com/ucsd-progsys/liquidhaskell/blob/develop/src/Language/Haskell/Liquid/GHC/Plugin.hs#L146 Ignoring the

Re: safe to upgrade my Mac?

2021-01-27 Thread Alfredo Di Napoli
Hi Richard, I am running 10.15.7 and I think I upgraded to Catalina months ago (but I don't exactly recall when). From my experience, everything works just fine, at least for my current workflow (clients' projects, GHC development etc). At work I have successfully used GHC 8.6.5 and 8.10.2 for

Can NamedFieldPuns be added to `GHC.LanguageExtensions.Types.Extension`?

2021-07-06 Thread Alfredo Di Napoli
Dear all, As some of you might know, for the past few months I have been working on changing GHC's diagnostic messages from plain SDocs to richer Haskell types. As part of this work, I have added a mechanism to embed hints into diagnostics, defined in `GHC.Types.Hint` in `HEAD`. One of the main

Re: Can NamedFieldPuns be added to `GHC.LanguageExtensions.Types.Extension`?

2021-07-06 Thread Alfredo Di Napoli
es, but only with > other plugins, and probably with vanishingly few of them. Grep in Hackage! > > > > Simon > > > > *From:* ghc-devs *On Behalf Of *Alfredo Di > Napoli > *Sent:* 06 July 2021 10:14 > *To:* Simon Peyton Jones via ghc-devs > *Subject:* Can N

Why TcLclEnv and DsGblEnv need to store the same IORef for errors?

2021-03-30 Thread Alfredo Di Napoli
Hello folks, as some of you might know me and Richard are reworking how GHC constructs, emits and deals with errors and warnings (See https://gitlab.haskell.org/ghc/ghc/-/wikis/Errors-as-(structured)-values and #18516). To summarise very briefly the spirit, we will have (eventually) proper

Re: Why TcLclEnv and DsGblEnv need to store the same IORef for errors?

2021-03-30 Thread Alfredo Di Napoli
suppose an alternative is that the TcGblEnv could have a second IORef to > use for error messages that come from desugaring during TH splices. > > > > Nothing deeper than that I think. > > > > Simon > > > > *From:* ghc-devs *On Behalf Of *Alfredo Di >

Re: Why TcLclEnv and DsGblEnv need to store the same IORef for errors?

2021-03-30 Thread Alfredo Di Napoli
e, 30 Mar 2021 at 16:14, Richard Eisenberg wrote: > > > On Mar 30, 2021, at 4:57 AM, Alfredo Di Napoli > wrote: > > I'll explore the idea of adding a second IORef. > > > Renaming/type-checking is already mutually recursive. (The renamer must > call the type-checker

Re: Why TcLclEnv and DsGblEnv need to store the same IORef for errors?

2021-03-31 Thread Alfredo Di Napoli
think my cunning plan of embedding is crumbling -- I suspect we would end up with a type `TcRnDsMessage` which captures the dependency. Sorry for not seeing it sooner! On Wed, 31 Mar 2021 at 08:05, Alfredo Di Napoli wrote: > Morning all, > > *Richard*: sorry! Unfortunately

Re: Why TcLclEnv and DsGblEnv need to store the same IORef for errors?

2021-03-31 Thread Alfredo Di Napoli
) > > Anyways, while we could also do a "RnTsDsError" and split later, I hope > Alfredo's alternative of embedding won't be too much harder and prepare us > for these exciting areas of exploration. > > John > On 3/30/21 10:14 AM, Richard Eisenberg wrote: > > &g

Error and Warning Messages practical migration guidelines

2021-04-03 Thread Alfredo Di Napoli
*TL;DR If you recently had merge conflicts related to error and messages in GHC, here I give migration guidelines. Otherwise, feel free to ignore this email.* Good morning all, If you had some work-in-progress branch that was emitting errors or warnings (either adding new ones or modifying

Re: Why TcLclEnv and DsGblEnv need to store the same IORef for errors?

2021-04-01 Thread Alfredo Di Napoli
rmation the wrapping isn't purely superfluous. > > I think this would pose no practical problem today, while still "soft > enforcing" the abstraction boundaries we want. > > On 3/31/21 3:45 AM, Alfredo Di Napoli wrote: > > Follow up: > > Argh! I have just seen

Re: instance {Semigroup, Monoid} (Bag a) ?

2021-04-15 Thread Alfredo Di Napoli
Good morning all, I have now split Richard's commit in two, so that it's explicit in the commit history that we are adding those instances: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5509/diffs?commit_id=2cbad0e7ced9de896eb9a1732631786a6adb676a *Ben*: I have briefly tried to add the

Re: Can NamedFieldPuns be added to `GHC.LanguageExtensions.Types.Extension`?

2021-07-13 Thread Alfredo Di Napoli
ses like this, free of > backwards compat issues. > > -Edward > > On Tue, Jul 6, 2021 at 3:00 AM Alfredo Di Napoli < > alfredo.dinap...@gmail.com> wrote: > >> >> Hello Simon, >> >> Yes, renaming and perhaps keeping `RecordPuns` as a pattern synon

Re: Another hadrian option you might want to use

2021-10-21 Thread Alfredo Di Napoli
Hello Matthew, Perhaps it would be too niche of a resource, but what about collecting these options either in a Wiki page in GHC or maybe a short blog post on your website (if that's not the case already)? I personally use `--flavour=default+no_profiled_libs+omit_pragmas` all the time with

Re: help needed configuring GHC API client

2021-09-24 Thread Alfredo Di Napoli
Hi Norman, in addition to what Ben already said: is there any particular reason you wanted to use the stage0 compiler? I have written a small program against HEAD which used the GHC API fairly recently, and I have simply used the `stage1` compiler. An excerpt from my little code snippet: ``` --