Re: How to build Haddock documentation quickly?

Hi Norman, > I'm more than willing to dive into Hadrian and figure out how it works. > I could even add a new target to build just what I'm interested in. > But I would need help. I've spent some time poking around the `doc` > directory, and I've read > the Shake papers (and some of Andrei's

RE: Use of forall as a sigil

le type arguments. * `forall @a.` requires a visible type argument. Cheers, Andrey -Original Message- From: John Ericson [mailto:john.ericson@obsidian.systems] Sent: 22 November 2020 16:41 To: Andrey Mokhov ; Richard Eisenberg Cc: ghc-devs@haskell.org Subject: Re: Use of forall as a sigil I

Re: Use of forall as a sigil

Hi Richard, > In the end, I've never loved the forall ... -> syntax, but I've never seen > anything better. What about the forall @a. syntax? For example: sizeOf :: forall @a. Sized a => Int We already use @ to explicitly specify types, so it seems natural mark type parameters that must be

Re: More failure

Foster, so CC-ing to him in case he has any insights. Cheers, Andrey From: Phyx Sent: 10 December 2019 07:47 To: Andrey Mokhov Cc: Simon Peyton-Jones (simo...@microsoft.com) ; Ben Gamari ; ghc-devs@haskell.org Subject: Re: More failure Hi Andrey, I'm not sure

Re: More failure

Hi Simon, (Re-sending from the email address that's allowed on the mailing list.) > Ugh. That's not a very happy state of affairs, is it? It didn't happen with > 'make'. > Is it a fundamental problem, or just not yet fixed? I think this is not a fundamental problem, but the problem of

RE: Hadrian: Suddenly a full build fails with: Rules may not be recursive

Hi all, > I think this is because `--configure` is currently broken > https://gitlab.haskell.org/ghc/ghc/issues/16809. You can work around by > running bootstrap and configure manually for now. Here is a merge request with a fix: https://gitlab.haskell.org/ghc/ghc/merge_requests/1255 Cheers,

RE: Container type classes

Thanks again Iavor, Despite the type inference issue, and the fact that this requires a separate type class, this is the best solution I've seen so far. Cheers, Andrey -Original Message- From: Iavor Diatchki [mailto:iavor.diatc...@gmail.com] Sent: 30 May 2019 23:16 To: Andrey Mokhov

RE: Container type classes

is supposed to say that the intermediate type is `s` too, but I guess this is not how type class resolution works. Cheers, Andrey -Original Message- From: Iavor Diatchki [mailto:iavor.diatc...@gmail.com] Sent: 30 May 2019 22:38 To: Brandon Allbery Cc: Andrey Mokhov ; Andreas Klebinger ; gh

RE: Container type classes

-> Int) -> IntSet -> IntSet Cheers, Andrey From: Brandon Allbery [mailto:allber...@gmail.com] Sent: 30 May 2019 22:32 To: Andrey Mokhov Cc: Artem Pelenitsyn ; Andreas Klebinger ; ghc-devs@haskell.org Subject: Re: Container type classes They can, with more work. You want indexed monads

RE: Container type classes

Klebinger, and it doesn’t include the method `setMap` either. Perhaps, Haskell’s type classes just can’t cope with this problem. *ducks for cover* Cheers, Andrey From: Artem Pelenitsyn [mailto:a.pelenit...@gmail.com] Sent: 30 May 2019 20:56 To: Andrey Mokhov Cc: ghc-devs@haskell.org; Andreas

RE: Container type classes

kering [mailto:matthewtpicker...@gmail.com] Sent: 30 May 2019 18:26 To: Andrey Mokhov Cc: ghc-devs@haskell.org; Andreas Klebinger Subject: Re: Container type classes If you care about performance then explicit dictionary passing is going to be worse than using type classes. At that point though, what do you gai

RE: Container type classes

Hi all, I tried to use type classes for unifying APIs of several similar data structures and it didn't work well. (In my case I was working with graphs, instead of sets or maps.) First, you rarely want to be polymorphic over the set representation, because you care about performance. You

RE: ZuriHac 2019 - GHC Track

Hi all, I am happy to help with Hadrian, perhaps giving an overview of the codebase and a quick demo covering typical use-cases. I'll generally be around to help with any build related issues, Hadrian hacking, etc. Note: I'm attending full days on Friday and Saturday, but on Sunday I may be

RE: Hadrian

Original Message- From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 15 April 2019 14:37 To: Moritz Angermann Cc: Matthew Pickering ; Andrey Mokhov ; ghc-devs@haskell.org Subject: RE: Hadrian sounds good to me! | -Original Message- | From: Moritz Angermann | Sent: 15

RE: Hadrian

for you? Cheers, Andrey From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 15 April 2019 12:28 To: Andrey Mokhov Cc: ghc-devs@haskell.org Subject: Hadrian Andrey and other Hadrian heros Just to say that I am 100% stalled on using Hadrian because the in-tree binary uses the wrong library

RE: Hadrian Transitive Dependencies

ago? I can’t find this ticket, but I think Alp was looking into it at some point. Alp: do you remember it? Thank you for all your work on Hadrian! Cheers, Andrey From: David Eichmann [mailto:dav...@well-typed.com] Sent: 27 March 2019 12:54 To: Neil Mitchell ; Andrey Mokhov ; GHC developers Subj

Re: Discussion: Hadrian's defaults

Hi Arnaud, Great to hear you've been using Hadrian for a while and like it! As others have already pointed, -c used to be default. I personally was always inclined to run boot and configure by default, because to me they seem like an unnecessary complication on the way to the first GHC build

RE: --share option for hadrian doesn't work with hs-boot files

the build will go through. If this does help, please also mention this in the ticket. Cheers, Andrey From: Matthew Pickering [mailto:matthewtpicker...@gmail.com] Sent: 22 February 2019 08:53 To: GHC developers ; Andrey Mokhov Subject: --share option for hadrian doesn't work with hs-boot file

RE: Distributed local dev builds

Hi Julian, Have a look at this MR: https://gitlab.haskell.org/ghc/ghc/merge_requests/317 As soon as it lands, you'll be able to run Hadrian builds with a local cache as follows: hadrian/build --shared=path/to/cache In this mode, build rules are cached, and if you happen to rerun a build rule

RE: Cannot build with Hadrian

Hi Eric, Good to hear you managed to build GHC both with Make and Hadrian. Best wishes with your first GHC patch! Cheers, Andrey From: Eric Crockett [mailto:ecrocke...@gmail.com] Sent: 09 February 2019 18:21 To: Andrey Mokhov Subject: Re: Cannot build with Hadrian Andrey, I had already

RE: Thoughts on the Contributing page

Andreas, Alp: > > - On windows build.bat defaults to stack which I think has never > > worked on my box. > Andrey? (cc'd him) Actually `build.bat` calls the Cabal-based build script. This was a relatively recent change, and we plan to stick to it in the long term, while still providing an

Re: Hadrian questions

Hi Richard, First of all, thank you trying Hadrian and generating several new bug reports. This is very helpful! > I think it would be very convenient to make a script we can all install (in > our PATH) that will > search for hadrian's build.sh and run it. Then, we can just say `build` (or >

RE: [ANNOUNCE] You should try Hadrian

. Thanks for reaching out! Cheers, Andrey From: Phyx [mailto:loneti...@gmail.com] Sent: 27 January 2019 21:11 To: Andrey Mokhov ; Ben Gamari Cc: GHC developers Subject: Re: [ANNOUNCE] You should try Hadrian Hi Andrey, I'm looking at https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/README

[ANNOUNCE] You should try Hadrian

Dear GHC developers, Summary: You should try to use Hadrian as the GHC build system, because it will (hopefully!) become the default around GHC 8.8. What is Hadrian and how can I try it? = Hadrian is a new build system for GHC written in Haskell. It lives in

RE: Hadrian build failed

Hello Yotam, Could you please report this as a bug on GHC Trac? https://ghc.haskell.org/trac/ghc/wiki/ReportABug I couldn’t quickly reproduce your issue, however, I run into another seemingly unrelated problem. P.S.: Note that build instructions in my blog post got slightly out of date after

RE: Coordinating the Hadrian merge

> new tickets be reported via Trac. Yes, this sounds good. Cheers, Andrey -Original Message- From: Ben Gamari [mailto:b...@well-typed.com] Sent: 16 October 2018 02:33 To: Andrey Mokhov ; Alp Mestanogullari Cc: GHC developers Subject: RE: Coordinating the Hadrian merge Andrey Mokho

RE: Coordinating the Hadrian merge

s when you do the merge ;-) Cheers, Andrey -Original Message- From: Ben Gamari [mailto:b...@well-typed.com] Sent: 15 October 2018 23:14 To: Andrey Mokhov ; Alp Mestanogullari Cc: GHC developers Subject: Coordinating the Hadrian merge Hi Andrey and Alp, Before ICFP we concluded t

RE: Hadrian

askell.org/package/shake-0.16.4/docs/Development-Shake.html#v:-63--61--61- Cheers, Andrey -Original Message- From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 04 September 2018 16:49 To: Andrey Mokhov ; Alp Mestanogullari Cc: ghc-devs Subject: RE: Hadrian Very confusi

RE: Hadrian

ac/ghc/wiki/Building/Hadrian/QuickStart Artem -- thanks! I forgot to mention this wiki page, which indeed looks Cheers, Andrey -Original Message- From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 30 August 2018 13:00 To: Andrey Mokhov ; Alp Mestanogullari Cc: ghc-devs Subject:

RE: Hadrian

d, the more complete the documentation will become. Cheers, Andrey From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 30 August 2018 12:19 To: Simon Peyton Jones ; Alp Mestanogullari ; Andrey Mokhov Cc: ghc-devs Subject: RE: Hadrian Sigh.  As an inconvenient workaround, I tried adding {-# OP

RE: Observation on Hadrian's relative performance re current

Hi Herbert, Thanks for the careful performance experiment! Can you please put all the details into the issue tracker so they don't get lost? We have a couple of performance issues open, and we know that there are performance bugs in Hadrian leading to too sequential build (a recent example is

[ANNOUNCE] Hadrian update

Dear GHC developers, As some of you might have already noticed, Hadrian has finally been merged into the GHC tree. However it's not yet time to celebrate - there are still many issues that need to be addressed before the Make-based build system may retire. Have a look at the README if you'd

RE: Building the docs, again

uld design/describe the requirements in a ticket that would be great. Cheers, Andrey From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 01 November 2017 08:28 To: Iavor Diatchki <iavor.diatc...@gmail.com>; ghc-devs@haskell.org; Andrey Mokhov <andrey.mok...@newcastle.ac.uk&

RE: Hadrian

Hi Moritz and Herbert, Thank you for detailed comments! We clearly need to carefully think through our options for merging Hadrian. Can I invite you both and everyone else to continue the discussion in https://github.com/snowleopard/hadrian/issues/440? Long email threads tend to become hard

RE: Hadrian

uss and prepare for the merge: https://github.com/snowleopard/hadrian/issues/440. Cheers, Andrey -Original Message- From: Ben Gamari [mailto:b...@well-typed.com] Sent: 19 October 2017 21:50 To: Andrey Mokhov <andrey.mok...@newcastle.ac.uk>; Boespflug, Mathieu <m...@tweag.io> Cc:

RE: Hadrian

are a patch over the weekend! Cheers, Andrey -Original Message- From: Ben Gamari [mailto:b...@well-typed.com] Sent: 19 October 2017 20:50 To: Andrey Mokhov <andrey.mok...@newcastle.ac.uk>; Boespflug, Mathieu <m...@tweag.io> Cc: Manuel M T Chakravarty <manuel.chakrava...@

RE: Hadrian

-Original Message- From: Boespflug, Mathieu [mailto:m...@tweag.io] Sent: 19 October 2017 19:21 To: Andrey Mokhov <andrey.mok...@newcastle.ac.uk> Cc: Ben Gamari <b...@well-typed.com>; Manuel M T Chakravarty <manuel.chakrava...@tweag.io>; Moritz Angermann <moritz.angerm.

RE: Hadrian status

before it can replace Make in this thread: https://github.com/snowleopard/hadrian/issues/239. Cheers, Andrey -Original Message- From: Ben Gamari [mailto:b...@well-typed.com] Sent: 09 May 2017 21:37 To: Andrey Mokhov <andrey.mok...@newcastle.ac.uk> Cc: GHC developers <ghc-devs@ha

RE: Build time over travis time limit again

Joachim, Ben, I gave it a try on my machine. First of all, we currently need "--flavour=quick" instead of "quickest" because the latter builds only vanilla RTS. If I do: ./build.bat -j --flavour=quick ./build.bat -j --flavour=quick validate Then the testsuite completes, but I get a lot of

RE: Build time over travis time limit again

Hi Joachim, > Does Hadrian speed up a build from scratch? Hadrian can build GHC on Windows (AppVeyor) and Linux (Travis) CI instances in about 40 mins using the 'quickest' build flavour (no optimisation/docs). https://ci.appveyor.com/project/snowleopard/hadrian

Hadrian update

Hello everyone, This is a quick update on the current state of Hadrian, the new build system for GHC (https://github.com/snowleopard/hadrian). Current status We've been slowly but steadily fixing issues, and are getting close to the stage where GHC-devs can start using Hadrian in

Build GHC on Windows using Hadrian and Stack

Hi all, Summary: Building GHC on Windows using Hadrian and Stack got even simpler - see https://github.com/snowleopard/hadrian/blob/master/doc/windows.md. To build GHC on Windows you usually need to jump through a lot of hoops [1], which may be confusing even for experienced GHC developers

RE: msys2 64 bit: help help!

Hi Simon, > 3. After this step, starting a shell failed altogether with > "c:/msys64/mingw64_shell.bat is > not recognised as an internal or external command". And sure enough, there is > no such file. > Presumably it existed in step 1. So perhaps step 2 deleted it? > [...] > 4. As you

RE: Fwd: Is anything being done to remedy the soul crushing compile times of GHC?

Thomas Tuegel writes: > I think what Andrey meant was, the first time we run the pre-processors, > cache the locations of all the files that need to be pre-processed. On > subsequent runs, we only need to check pre-processors the files in the cache. Yes, something along the

Re: Fwd: Is anything being done to remedy the soul crushing compile times of GHC?

Thomas Tuegel writes: > > What exactly does the pre-process phase do, anyways? > It runs the appropriate pre-processor (Alex, Happy, c2hs, etc.) for modules > that require it. It's slow because of the way the process is carried out: For > each module in the package

RE: [ANNOUNCE] Shaking up GHC

d be a better solution, but I'm not confident enough to edit the validate script myself. Thanks to Thomas Miedema for his patient guidance on how GHC test suite works. Cheers, Andrey > -Original Message- > From: Simon Peyton Jones [mailto:simo...@microsoft.com] > Sent: 26 January

RE: [ANNOUNCE] Shaking up GHC

ests. It shouldn't take long to make it more useful. I added a section on testing to the README: https://github.com/snowleopard/shaking-up-ghc#testing. Cheers, Andrey -Original Message- From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 26 January 2016 08:55 To: Andrey

RE: [ANNOUNCE] Shaking up GHC

sage- From: Simon Peyton Jones [mailto:simo...@microsoft.com] Sent: 25 January 2016 12:14 To: Andrey Mokhov <andrey.mok...@newcastle.ac.uk>; ghc-devs@haskell.org Cc: Neil Mitchell <ndmitch...@gmail.com>; Simon Marlow <marlo...@gmail.com> Subject: RE: [ANNOUNCE] Shaking up GHC

RE: [ANNOUNCE] Shaking up GHC

Thanks David! > Are there any plans as to how to include it in the GHC tree? Does it > ship with all the libraries required to build the build system, will we > have a mini-build system to bootstrap it? If I recall correctly, we rely > on Cabal sandboxes on Linux/OSX and global Cabal library >

RE: [ANNOUNCE] Shaking up GHC

January 2016 13:36 To: Andrey Mokhov Cc: dluposchain...@googlemail.com; GHC developers Subject: Re: [ANNOUNCE] Shaking up GHC with ghc 8.0.0.20160111, cabal install shake fails with [43 of 47] Compiling Development.Shake.Args ( src/Development/Shake/Args.hs, dist/build/Development/Shake/Args.o ) src

RE: [ANNOUNCE] Shaking up GHC

t; From: Herbert Valerio Riedel [mailto:hvrie...@gmail.com] > Sent: 23 January 2016 17:14 > To: Andrey Mokhov > Cc: dluposchain...@googlemail.com; GHC developers > Subject: Re: [ANNOUNCE] Shaking up GHC > > On 2016-01-23 at 14:05:56 +0100, Andrey Mokhov wrote: > >> Are ther

RE: [ANNOUNCE] Shaking up GHC

, that will indeed be sufficient... I think it's a good idea :) Cheers, Andrey > -Original Message- > From: Ben Gamari [mailto:b...@smart-cactus.org] > Sent: 23 January 2016 21:22 > To: Andrey Mokhov; Herbert Valerio Riedel; Tuncer Ayaz > Cc: GHC developers > Subject: RE: [

Re: FW: Shaking up GHC

Many thanks Eric, I think you solved the mystery! I changed my address on the ghc-devs mailing list from andrey.mok...@ncl.ac.uk to andrey.mok...@newcastle.ac.uk (it's the same mailbox really). Hopefully this will go through this time. Cheers, Andrey From: Eric Seidel To: