Re: Loading GHC into GHCi (and ghcid)

What version of GHC are you using? There have been some significant improvements like https://phabricator.haskell.org/rGHCb8fec6950ad99cbf11cd22698b8d5ab35afb828f, that only just made it into GHC 8.4. Some of them maybe haven't made it into a release yet. You could try building

Re: Perf for T5837

I commented on https://phabricator.haskell.org/rGHCd675a354e8db67d87d1f257c3d1d2bf2d58c2b3f that Harbormaster started failing after this. It reproduced locally for me. You can see here: https://phabricator.haskell.org/diffusion/GHC/history/master/ that the revert fixed the build. 2018-03-05 8:50

Re: Can't push to staging area?

I just want to report that it works for me now. Thanks, Bartosz ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Can't push to staging area?

is required" >> >> Can't even tell if that's local (beware e.g. Ubuntu defaults) or remote >> (which would be a configuration problem on the remote end, not to mention >> seeming like a bad idea). >> >> On Wed, Jan 3, 2018 at 6:36 PM, Bartosz Nitka <nite...

Can't push to staging area?

I'm trying to update a diff and I run into this: $ arc diff Linting... LINT OKAY No lint problems. Running unit tests... No unit test engine is configured for this project. PUSH STAGING Pushing changes to staging area... sudo: a password is required fatal: Could not read from remote

Re: [commit: ghc] master: Make tagForCon non-linear (faf60e8)

; | 3%2Fghc=02%7C01%7Csimonpj%40microsoft.com%7C677da6a867674476306508d5 > | 1d869247%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636447386176303711& > | sdata=tp4PTSkN5iBwKkWgZdT%2BcHKK8EKz8NQZeE%2FegVdx%2FIM%3D=0 > | > | >--------

Re: cvs-ghc archives

I think someone has archived the data for us here https://www.mail-archive.com/cvs-all@haskell.org/. I don't have a good way to map the old links to new ones, though. 2017-09-28 11:01 GMT+01:00 Bartosz Nitka <nite...@gmail.com>: > Hello, > > I was reading a comment that po

cvs-ghc archives

Hello, I was reading a comment that pointed to http://www.haskell.org/pipermail/cvs-ghc/2007-September/038458.html. It's a dead link and I couldn't find any place where cvs-ghc is archived. I've tried webarchive. Looks like Simon had a simliar problem 4 years ago:

Re: Failing Test Cases in HEAD

`devel2` compiles GHC with extra assertions and `./validate` doesn't do that. There's `./validate --slow` that enables extra assertions. AFAIK harbormaster (and most ghc-devs) only does `./validate` which explains how failures like this can sneak in. We used to have a travis build that did

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

Hey Alfredo, Thanks for taking a look at this. I've taken a look at this before and collected some notes here: https://github.com/niteria/notes/blob/master/PrettyPrintingGHC.md#problems Based on my investigations I concluded that there are places where pretty-printing Asm and Cmm gets

Re: [Diffusion] [Build Failed] rGHC3f27237b0e6d: Make tcrun042 fail

It works for me. There are two logs because one corresponds to stdout and the other to stderr. I'm not sure if that distinction is present on Windows. It so happens that the test runner uses stdout, so that's the interesting one. Searching for the test name reveals: Timeout happened...killed

Re: [commit: ghc] master: Accept new (lower) allocations for T7257 (15641b0)

Appears to be: a47b62cb3685 Second attempt to fix sizeExpr https://perf.haskell.org/ghc/#revision/9d62d09a6c399c98491b7a63a7a1366c89fcf5db 2016-06-22 22:24 GMT+01:00 Simon Peyton Jones via ghc-devs < ghc-devs@haskell.org>: > Does anyone know what made T7257 better? > > Simon > > | -Original

Template Haskell determinism

Template Haskell with its ability to do arbitrary IO is non-deterministic by design. You could for example embed the current date in a file. There is however one kind of non-deterministic behavior that you can trigger accidentally. It has to do with how Names are reified. If you take a look at the

Re: How does topological sorting of kind variables really work?

I can't say for sure, but this could be related to #4012. The order that things appear in lists often depends on the way that uniques get allocated. I know for sure that inferred type signatures are nondeterministic right now, see [1] for an attempt to fix it. The easiest way to check if it

Re: Substitutions

Hello Simon, I was about to send an improved version of D1801, I will do that once I rebase past your patch (there's a small overlap with what I've done). D1820 is ready for review. I have a patch coming for piResultTys [1] where the FVs of ty are not in the in_scope set. I've also looked at a

Re: Multiple GHC sessions

>From https://ghc.haskell.org/trac/ghc/wiki/RemoteGHCi: "We can have multiple instances of a GHC Session on the GHC API, each running TH and/or interpreted code. Right now this is not possible because the linker's state is global." Regards, Bartosz 2016-01-17 14:49 GMT+00:00 Alan & Kim Zimmerman

Re: uniqAway and collisions

Hello, Thank you for the paper, it helped with my understanding of how it's supposed to work. Simon, could my issue be related to your comment here: [1]? -- Note [Generating the in-scope set for a substitution] -- ~ -- If we want to substitute

uniqAway and collisions

Hi, I'm running into core lint issues [1] with my determinism patch [2] and they appear to come down to uniqAway coming up with a Unique that's already used in the expression. That creates a collision, making next substitution substitute more than it needs. I have 2 questions: 1. When is it

Re: How do I use CallStack?

If you're debugging GHC, I've recently added pprSTrace :: (?location :: CallStack) => SDoc -> a -> a in Outputable. It's been a great help for me in understanding where the calls were coming from. You can just use it without importing anything extra, and when you want more context you just add

Re: FW: [Diffusion] [Build Failed] rGHC52b02e66025f: Comments only (isIrrefutablePat)

I've gathered some numbers (most recent commits last): 290def72f54db7969258b4541aaefc87b54ce448 44354749424 Implement warnings for Semigroups as parent of Monoid afb721390cd506f09ce9f04aa3fb19324c2ae5a0 44354739384 MkId: Typos in comments 14d0f7f1221db758cd06a69f53803d9d0150164a 44354739384

Re: tyVarsOfTypeAcc

Hi Richard, I've introduced tyVarsOfTypeAcc recently and the main reason was to get deterministic order (part of #4012) of free variables in places that require it, like abstracting type variables when floating out expressions. It does a bit more than tyVarsOfType, but it's algorithmically better

Re: Bad interface file

I don't understand the root cause, but I run into this once and installing cabal HEAD fixed it for me. 2015-11-27 15:31 GMT+00:00 Simon Peyton Jones : > Can anyone confirm that Trac #11122 is fixed in HEAD? > > When I try to reproduce it, I tried this, *with a

Re: Making compilation results deterministic (#4012)

2015-09-16 12:18 GMT+01:00 Simon Peyton Jones : > > | My understanding is that currently, if you build a Haskell project > | from clean sources with ghc --make, then wipe all the .o/.hi files, > | and rebuild again from clean, with all the same flags and environment, > |

Making compilation results deterministic (#4012)

Hello, For the past couple of weeks I've been working on making compilation results deterministic. What I'm focusing on right now is the interface file determinism, I don't care about binaries being deterministic. I'd like to give a status update and ask for some advice, since I'm running into