GHC precisely use "the rapier".
S
From: Christiaan Baaij
Sent: 02 July 2021 15:38
To: Simon Peyton Jones
Cc: Richard Eisenberg ; Young, Jeff ;
ghc-devs@haskell.org
Subject: Re: Trying to speedup GHC compile times...Help!
Somewhat off-topic: does GHC no longer use "the rapier"? I thought the
Somewhat off-topic: does GHC no longer use "the rapier"? I thought the
InScopeSet was needed to check that we can safely skip on extending the
substitution as you go under binders when the binder is not in the
InScopeSet (naively you would always have to rename binders, and thus
extend the
On Fri, Jul 02, 2021 at 08:08:39AM +, Simon Peyton Jones via ghc-devs wrote:
> I strongly urge you to keep a constantly-update status wiki page,
> which lists the ideas you are working on, and points to relevant
> resources and tickets. An email thread like this is a good way to
> gather
There are lot of places where it would be pretty tiresome to plumb a unique
supply guaranteed unique from every other. I think the current setup works
pretty well - but I bet we can squeeze cycles out of its implementation.
Simon
From: Richard Eisenberg
Sent: 02 July 2021 14:26
To: Simon
One piece I'm curious about, reading this thread: why do we have so many
IntMaps and operations on them? Name lookup is a fundamental operation a
compiler must do, and that would use an IntMap: good. But maybe there are other
IntMaps used that are less necessary. A key example: whenever we do
Jeff
Great stuff! Welcome.
I strongly urge you to keep a constantly-update status wiki page, which lists
the ideas you are working on, and points to relevant resources and tickets. An
email thread like this is a good way to gather ideas, but NOT a good way to
organise and track them.
