Re: Annotating instances

> {- HLINT ignore "Use string literal" -} > > and similar. One could maybe argue they should have never been ANN pragmas > to begin with. > > Examples taken from this SO question: > > https://stackoverflow.com/questions/19237695/haskell-how-to-tell-hlint-not-to-warning-u

Re: Annotating instances

iserv needs (e.g. render > the module impossible to cross compiler for stage1 cross compilers with not > TH support). > > On Mon, 4 Dec 2023 at 7:45 PM, Simon Peyton Jones < > simon.peytonjo...@gmail.com> wrote: > >> Luckily Hlint also support HLINT instead which remo

Re: Annotating instances

re is an alternator option to anyone who asks me. > > On Mon, 4 Dec 2023 at 5:01 PM, Simon Peyton Jones < > simon.peytonjo...@gmail.com> wrote: > >> The whole ANN mechanism >> <https://ghc.gitlab.haskell.org/ghc/doc/users_guide/extending_ghc.html?highlight=ann#source-anno

Re: Annotating instances

The whole ANN mechanism is, at root, a good idea. It is pretty generan, and allows annotations to be arbitrary expressions, provided they are in Typable and Data. And they are serialised across

Re: Nofib

b, simply submit a merge request to > https://gitlab.haskell.org/ghc/nofib with the appropriate change. > Once it's integrated, run `git submodule update --remote` in the GHC repo > to update the submodule and push the update as part of your work. > > Cheers, > Hécate > Le 10/11/20

Nofib

Dear devs Building 'nofib' with HEAD fails with real/scs/Parse.hs:40:19: error: [GHC-87543] Ambiguous occurrence ‘List’. It could refer to either ‘Data.List.List’, imported from ‘Data.List’ at real/scs/Parse.hs:4:1-16 (and originally defined in

Re: Type-level sized Word literals???

I'm pretty cautious about attempting to replicate type classes (or a weaker version thereof) at the kind level. An alternative would be to us *non-overloaded* literals. Simon On Mon, 30 Oct 2023 at 08:20, Vladislav Zavialov via ghc-devs < ghc-devs@haskell.org> wrote: > > I am working on some

Re: "Merge-buddy" request

I hope someone responds to Alan's call. Simplifying exact-print annotations is a noble goal, and Alan has been working hard on it. I hope someone feels able to support him. I don't think you need to be an exact-print expert. I'm sure Alan would be happy to teach you. And that learning journey

Re: Reinstallable - base

led against a particular version of base. Then when Template >> > Haskell is used (with the internal interpreter), code will be >> > dynamically loaded into a process that already has symbols for ghc's >> > version of base, which means it is not safe for the code to depen

Re: Reinstallable - base

ather like the situation with TH and > cross-compilers. > > Adam > > > > On 17/10/2023 11:08, Simon Peyton Jones wrote: > > Dear GHC devs > > > > Given the now-agreed split between ghc-internal and base > > <https://github.com/haskellfoundat

Reinstallable - base

Dear GHC devs Given the now-agreed split between ghc-internal and base , what stands in the way of a "reinstallable base"? Specifically, suppose that - GHC 9.8 comes out with base-4.9 - The CLC decides to make some change to

Library module naming

Friends I am keen to complete discussion on HF tech proposal 53 which is about the naming convention for modules in base, ghc-experimental, ghc-internal, etc. I think it's done. Any views? Simon

Re: Configure errors

fine, it means we won’t pass -Qunused-arguments to your C compiler. > > Rodrigo > > On 7 Aug 2023, at 10:50, Simon Peyton Jones > wrote: > > Rodrigo > > I'm getting lots of errors from ./configure, see below. > > Seems to be something to do with your toolchain stuff

Re: Configure errors

re, while configure still configures toolchains. > > I’ve also been busy writing the blog about this. It should come out soon > enough. > > Rodrigo > > On 7 Aug 2023, at 10:50, Simon Peyton Jones > wrote: > > Rodrigo > > I'm getting lots of errors from ./config

Configure errors

Rodrigo I'm getting lots of errors from ./configure, see below. Seems to be something to do with your toolchain stuff? I'm lost. Should I worry? If not, could they be made to look less alarming somehow? Simon Entering: checking for C compiler checking for -Qunused-arguments support...

Re: Getting all variables in scope in CoreM

> > My question is then “How can I get all variables in scope in the module > underlying this CoreM computation, to pass in the LintConfig?”. > What do you have in your hand? A [CoreBinding]? If so, just do `bindersOfBinds`. You only need the LocalIds. You don't need (imported) GlobalIds

Re: NamedDefaults and relaxed defaults?

No: I don't know of anyone planning to implement this proposal -- indeed I had forgotten about it -- so it's waiting for someone to take it on. There are some slightly tricky loose ends around defaulting that it'd be good to nail down first: https://gitlab.haskell.org/ghc/ghc/-/issues/20686

Re: Why do the reverse binder swap transformation?

Consider f x = letrec go y = case x of z { (a,b) -> ...(expensive z)... } in ... If we do the reverse binder-swap we get f x = letrec go y = case x of z { (a,b) -> ...(expensive x)... } in ... and now we can float out: f x = let t = expensive x in letrec go y = case x

Re: Exact-print info in the the HsSyn syntax tree

t given the amount of constructors > the types have. In my case, it was very few, because I was able to handle > the vast majority of constructors generically via the Data.Data instance. > > Jakob > > On Thu, Jul 13, 2023 at 1:23 PM Simon Peyton Jones < > simon.peytonjo...@gmail.

Exact-print info in the the HsSyn syntax tree

Dear GHC developers Could you please look at #23447 Where should "tokens" live ? In brief, the question is whether we want to have: data HsExpr p = | HsLet (XLet p) (HsLocalBinds p) (LHsExpr p) or data HsExpr p = | HsLet (XLet

Re: Can't build nofib

.17, > which would leave 9.4 out. > > Rodrigo > > On 12 Jul 2023, at 12:48, Simon Peyton Jones > wrote: > > Thanks. That is very unfortunate: ./configure does not issue any > complaint. > > I upgraded from 9.2 because GHC won't compile with 9.2 any more. But

Re: Can't build nofib

> I’d say as a temporary workaround you can likely run your invocation > additionally with —allow-newer, and hope that doesn’t break. Otherwise you > could downgrade to 9.4 or bump the version manually in the cabal file of > nofib? > > Rodrigo > > On 12 Jul 2023, at 12:38, Simon P

Can't build nofib

Friends With a clean HEAD I can't build nofib. See below. What should I do? Thanks Simon (cd nofib; cabal v2-run -- nofib-run --compiler=`pwd`/../_build/stage1/bin/ghc --output=`date -I`) Resolving dependencies... Error: cabal: Could not resolve dependencies: [__0] trying: nofib-0.1.0.0

Re: Usage of Template Haskell quotes in GHC source tree vs. usage of GHC as a library

Gergo I'm not close enough to this to have a well-formed opinion, but it looks like a good question to me, esp if the new dependence on TH is optional. Would you like to transfer the text into a GHC ticket? Simon On Wed, 12 Jul 2023 at 04:40, Gergő Érdi wrote: > Hi, > > > > A recent commit

Re: I can't build HEAD

2023 at 18:49, Ben Gamari wrote: > Simon Peyton Jones writes: > > > in a clean HEAD build, including "git submodule update", I get this. > > > > Can anyone help? > > > Upgrade your bootstrap compiler to >= 9.4. We have now bumped HEAD's > vers

I can't build HEAD

in a clean HEAD build, including "git submodule update", I get this. Can anyone help? Simon | Run Ar Pack (Stage0 InTreeLibs): _build/stage0/libraries/ghc-heap/build/cmm/cbits/HeapPrim.o (and 15 more) => _build/stage0/libraries/ghc-heap/build/libHSghc-heap-9.9-inplace.a ar: creating

Re: Distinct closure types vs. known infotables for stack frames

ows. One you've had all responses, perhaps document your conclusions in a Note somewhere, and point to it copiously. On Tue, 27 Jun 2023 at 22:53, Alexis King wrote: > On Tue, Jun 27, 2023 at 4:13 AM Simon Peyton Jones < > simon.peytonjo...@gmail.com> wrote: > >> In s

Re: SSH on Gitlab

: > Hi Simon, > > Did this, in fact, work itself out? > > On Thu, 22 Jun 2023 at 18:43, Ben Gamari wrote: > >> Simon Peyton Jones writes: >> >> > Is SSH working on gitlab.haskell.org? I'm getting this >> > >> > simonpj@CDW-8FABODHF0V5:~$ s

Re: Improving Merge Request review processes

https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10709 >> >> and updated the wiki page that simon points out. >> >> Matt >> >> On Fri, Jun 23, 2023 at 11:25 AM Simon Peyton Jones >> wrote: >> > >> > Terrific. >> > >> > W

Re: Distinct closure types vs. known infotables for stack frames

Thanks for a clear writeup, Alexis. My instinct is to do it all with closure types, not pointer comparison. - > > Con: Adding more closure types unnecessarily pollutes code that branches > on closure types, like the garbage collector. > - > > Con: Adding more closure types unnecessarily pollutes

Re: Improving Merge Request review processes

Terrific. We just need to add some guidance for contributors about when and how to use the new tag. Where should that guidance live? We have the Contributing to GHC wiki page . It in turn (not very prominently) points to Contributing a

SSH on Gitlab

Is SSH working on gitlab.haskell.org? I'm getting this simonpj@CDW-8FABODHF0V5:~$ ssh -v g...@gitlab.haskell.org OpenSSH_8.2p1 Ubuntu-4, OpenSSL 1.1.1f 31 Mar 2020 debug1: Reading configuration data /home/simonpj/.ssh/config debug1: Reading configuration data /etc/ssh/ssh_config debug1:

Re: help migrating a tool that uses the ghc api

I'm sorry you've been having such a torrid time, Sam. We (the GHC developers) are acutely aware of the difficulties surrounding the GHC API. It was discussed quite a bit at the Haskell Implementers Meeting at last year's ICFP. The difficulty is that there simply *is *no defined GHC API. GHC

Re: Performance of small allocations via prim ops

> We are emitting a more efficient code when the size of the array is smaller. And the threshold is governed by a compiler flag: It would be good if this was documented. Perhaps in the Haddock for `newByteArray#`? Or where? S On Fri, 7 Apr 2023 at 07:07, Harendra Kumar wrote: > Little bit

CI

All GHC CI pipelines seem stalled, sadly e.g. https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10123/pipelines Can someone unglue it? Thanks! Simon ___ ghc-devs mailing list ghc-devs@haskell.org

Re: Buy-in for technical proposal 47 which affect GHC devs

Thanks Laurent, In fact this fits with our thinking in https://github.com/haskell/core-libraries-committee/issues/105. We'll discuss and Ben/Matthew will get back to you. Simon On Sun, 12 Mar 2023 at 13:39, Laurent P. René de Cotret < laurent.decot...@outlook.com> wrote: > Dear GHC

Re: Help! Can't build HEAD

Ah. rm utils/hpc git submodule update does the job. Who would have guessed that? Maybe this thread will help others. Could hadrian have avoided this, perhaps? Anyway, I'm rolling again, thanks Simon On Wed, 15 Mar 2023 at 12:54, Simon Peyton Jones < simon.peytonjo...@gmail.com>

Re: Help! Can't build HEAD

module update --init`. > > On Wed, 15 Mar 2023 at 13:41, Matthew Pickering < > matthewtpicker...@gmail.com> wrote: > >> You need to run `git submodule update` I think. >> >> On Wed, Mar 15, 2023 at 12:36 PM Simon Peyton Jones >> wrote: >> > >> &g

Re: Help! Can't build HEAD

1, Matthew Pickering wrote: > You need to run `git submodule update` I think. > > On Wed, Mar 15, 2023 at 12:36 PM Simon Peyton Jones > wrote: > > > > Aargh! I can't build HEAD! > > > > I get this: > > ./hadrian/build > > Up to date > > ]0;Starting.

Help! Can't build HEAD

Aargh! I can't build HEAD! I get this: ./hadrian/build Up to date ]0;Starting... ]0;Finished in 0.04s Error, file does not exist and no rule available: utils/hpc/hpc-bin.cabal Build failed. This is after hadrian/build clean ./boot ./configure I'm very stalled. All my trees are borked. Can

Re: Installing GHC on my MacBook Air

Redirecting this query to ghc-devs. Can anyone help William? Thanks! Will GHC run on my new MacBook Air? After installing the compiler, my > laptop said its processor was wrong for the binary distribution I chose. If > there is a dmg file for MacOS 12.5.1, please please link your reply to it. >

Slow downloads

I'm getting very low transfer rates on Git operations. Like 16 kb/s. Things that usually take a second or two are still going 10 minutes later. See below My internet connection appears to be solid at 100Mb/s upload and download. Any ideas? Simon [image: image.png]

Re: Searching tickets

ecent tickets (this one is 2 weeks old) is a huge drawback. Boo. Thanks for responses though Simon On Tue, 24 Jan 2023 at 18:21, Ben Gamari wrote: > Simon Peyton Jones writes: > > > I keep finding that 'search' in Gitlab misses things. > > > > Example > > https:

Searching tickets

I keep finding that 'search' in Gitlab misses things. Example https://gitlab.haskell.org/ghc/ghc/-/issues/22715 mentions "Haskeline" (just look on that page) Yet when I go to https://gitlab.haskell.org/ghc/ghc/-/issues/ and search for "Haskeline", this ticket isn't reported. What am I doing

Re: Implementors for deprecated exports?

Just to say: this is part of an effort (by the Stability Working Group) to help us, as a community, walk the line between stability (which is essential for Haskell to be useful) and dynamism (which is essential for Haskell to be truly alive). It's not an easy line to walk (you can see meeting

Re: Gitlab slow?

It is fast again now... Simon On Mon, 14 Nov 2022 at 16:35, Ben Gamari wrote: > Bryan Richter via ghc-devs writes: > > > I find it very slow, as well. :( > > > > Eventually I want to be able to help out with these problems, but > > right now my priorities are different and I don't have the

Gitlab slow?

Is it just me, or is GitLab taking an unusually long time to serve up pages when looking at GHC tickets? Simon ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Status of Stream Fusion?

Jaro 1. Is the ‘concatMap’ problem really the only problem left on the way to > using stream fusion instead of foldr/build fusion in base? > Can you say precisely what you mean by "using stream fusion instead of foldr/build fusion in base"? For example, do you have a prototype library that

Pushing to nofib

Friends How do I push to the nofib/ repository? I just wanted to add some documentation. I'm on branch 'master' and tried to push. Got this below. What next? Thanks Simon bash$ git push Enumerating objects: 5, done. Counting objects: 100% (5/5), done. Delta compression using up to 24 threads

GItlab search

Friends I'm struggling with GitLab search. eg I was looking for #22200 I wen to https://gitlab.haskell.org/ghc/ghc/-/issues, and put "-DEEBUG" and "slow" in the search box. No #22200. Yet both of those strings appear in the title of the ticket. Looking for DEBUG or *DEBUG also fails. I find

Warnings in RTS

Whenever I compile the RTS I get these warnings. Are they necessary? Simon In file included from rts/Schedule.c:16:0: error: rts/Schedule.c: In function ‘schedule’: rts/Schedule.h:143:1: error: warning: inlining failed in call to ‘appendToRunQueue’: call is unlikely and code size would

Tier 1 architectures

Ben, Matthew, Moritz, and friends Is this wiki page about architectures still accurate? https://gitlab.haskell.org/ghc/ghc/-/wikis/platforms For example, ARM is not Tier 1, or "apple silicon". Yet I know some of our developers have invested lots of effort in other architectures, so maybe those

Re: Alternative to isTypeLevPoly

> > The type argument to LitRubbish should be a fixed RuntimeRep. If it is > not, you can file a bug > Yes! Please file a bug if you find this. On Thu, 15 Sept 2022 at 16:36, Krzysztof Gogolewski < krz.gogolew...@gmail.com> wrote: > The type argument to LitRubbish should be a fixed RuntimeRep.

Haskell program coverage

Matthias, David, David Binder apparently has some PRs for GHC's HPC program coverage stuff that have somehow languished un-merged for some time. David, can you point us to them, so we can look? Matthias wants to

GHC compiler perf CI

Dear devs I used to use the build *x86_64-linux-deb10-int_native-validate* as the place to look for compiler/bytes-allocated changes in perf/compiler. But now it doesn't show those results any more, only runtime/bytes-allocated in perf/should_run. - Should we not run perf/compiler in every

Re: Unix library apparently broken

on C) - How do I identify the 'unix' commit that C needs? It might not be the head of the unix repo. Simon On Tue, 6 Sept 2022 at 19:40, Simon Peyton Jones < simon.peytonjo...@gmail.com> wrote: > Thanks, good to know. Yes, I did git submodule update. I'll look again > to

Re: Unix library apparently broken

try "git submodule update"? > The unix submodule is currently on commit 2a6079a2 > <https://gitlab.haskell.org/ghc/ghc/-/commit/4786acf758ef064d3b79593774d1672e294b0afb> > . > > Hope that helps, > > Sam > > On Tue, 6 Sept 2022 at 17:52, Simon Peyton Jones &l

Unix library apparently broken

My !8750 builds are failing in the Unix library with the "pattern match is redundant" message below. And indeed the pattern match is redundant. Here's the .hs version of the file unpackRLimit :: CRLim -> ResourceLimit unpackRLimit (18446744073709551615) = ResourceLimitInfinity {-# LINE 101

Re: possible regression in GHC 9.2.4: hang in simplifier (?) when building a test executable

Maybe open GHC ticket? How can I repro with a *particular* GHC, for example my build of HEAD? And how can I find the command line that finally hung, so I can try it repeatedly? Simon On Tue, 6 Sept 2022 at 14:02, Doug Burke wrote: > I have a test executable which will build with ghc 9.2.3

Tags

I love emacs' tags-query-replace function, which allows me to do a search-and-replace across an entire repo. But to do that I need a TAGS file that, at least, lists all the Hsakell files in GHC. What is the approved way to construct a TAGS file for a bunch of Haskell modules? Is this documented

Updating haddock

Dear devs I'm working on !8750, which has some knock-on changes that are needed on the Haddock repo. So - in the main repo I have wip/T21623 - in the utils/haddock repo have branch wip/spj-T21623 Periodically I need to rebase on master. Question: what is the Blessed Sequence of

CI failures

Matthew, Ben, Bryan CI is failing in in "lint-ci-config".. See https://gitlab.haskell.org/ghc/ghc/-/merge_requests/8916 or https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7847 What's up? Simon ___ ghc-devs mailing list ghc-devs@haskell.org

Re: Partial type synonyms -- first-class!

Richard writes I think the route you're taking is a reasonable route to your destination, > but I'm not yet convinced it's a destination I want GHC to travel to. > I'm in the same boat -- not yet convinced. To me it seems like quite a bit of implementation complexity to hit a pretty narrow

Re: Advice for implementing GADTs?

et... > Well there is a `Outputable` instance. It uses `=>`. Simon On Mon, 15 Aug 2022 at 20:00, Benjamin Redelings < benjamin.redeli...@gmail.com> wrote: > Thanks a bunch for this! > On 8/4/22 3:45 PM, Simon Peyton Jones wrote: > > QUESTION 1: Are there any obviously

Re: Advice for implementing GADTs?

QUESTION 1: Are there any obviously important resources that I've overlooked? That's a good list. Ningning's thesis https://xnning.github.io/ is also good stuff. QUESTION 2: if my quick scan is correct, none of the papers mention the GHC technique of determining untouchability by assigning

Re: Test suite

hctest-6yc58m02/test spaces/testsuite/tests/printer/T13199.run T13199 [bad stdout] (normal) On Thu, 28 Jul 2022 at 15:23, Zubin Duggal wrote: > There are tests that depend upon haddock in the testsuite, so we need to > build them to run those tests. Like Cheng says, passing `--docs=n

Test suite

Doing *hadrian/build test* takes absolutely ages. It seems that it is building haddock, running haddock, building check_exact, and other things. Eg right now it is doing Run Haddock BuildPackage: libraries/parsec/src/Text/Parsec.hs (and 24 more) =>

Gitlab labels

Whenever I try to add a label to a ticket I get "an error occurred while updating labels". See below. When I repeat the exact same sequence, it works. If I add another label, again the error; repeating again works. This is tiresome and peculiar. Does anyone have any ideas? Simon [image:

Re: Wildcards in type synonyms

n one occurrence of `MySyn` due to the > interference between the wildcard metavars, but if I only have one, then > the program typechecks. So to me this suggests I'm doing things mostly > right, except that the metavar returned by `newMetaTyVarX` is not fit for > my use case. > >

Re: Wildcards in type synonyms

> > It sounds awfully special-case to store these type macros in a new field > of `TcGblEnv` instead of as just another kind of `TyCon`. > But all this is just in your personal fork of GHC, so you can be as special-case as you like. I'd just plough ahead and do the easiest thing. If you make a

Re: Wildcards in type synonyms

e constructs], in the renamer. That doesn't do what you want, but the HsExpansion idea is close S On Mon, 25 Jul 2022 at 10:18, ÉRDI Gergő wrote: > On Fri, 22 Jul 2022, Simon Peyton Jones wrote: > > > So it seems that instead of shoehorning it into the existing type > >

Re: Wildcards in type synonyms

g "normal" type synonyms > are resolved. > > On Fri, Jul 22, 2022 at 4:14 PM Simon Peyton Jones > wrote: > > > > Hi Gergo > > > >> I'd like to implement type synonyms containing wildcards. The idea is > >> that if you have `type MySyn a = M

Re: Wildcards in type synonyms

Hi Gergo I'd like to implement type synonyms containing wildcards. The idea is > that if you have `type MySyn a = MyType a _ Int`, then during > typechecking, every occurrence of `MySyn T` would be expanded into > `MyType T w123 Int`, with a fresh type (meta)variable `w123`. > I imagine you mean

Re: GHC development asks too much of the host system

This is a great thread. I would love it to conclude with some concrete actions, rather than just petering out. I think one underexplored approach to addressing the build-time problem > is to look not at the full-build time but rather look for common tasks > where we could *avoid* doing a full

Re: GHC development asks too much of the host system

That's bad Hecate. We need GHC to be fun to work with, not a pain. Can you be (much) more specific? The more concrete the problem, the more likely we can address it. e.g. What if you don't use HLS? Or maybe Hadrian is building much more than you need? It would be super helpful to have more

Hadrian problem

I'm in a GHC tree, built with Hadrian, I'm getting this red problem. But compilation has got way past compiling base. why is it looking in my .ghc/... directory? It should be looking in my build tree. Simon bash$ ~/code/HEAD-1/_build/ghc-stage1 -c Foo.hs Loaded package environment from

Re: Hadrian

d by Sylvain this will become much easier once Make no longer > exists. > > On 22/07/11 16:25, Simon Peyton Jones wrote: > >> > >> It is advisable to do this after > >> rebasing, especially if the rebase involves changes to the module > >> structure o

Re: Hadrian

make` build system will be removed it should be easy to > make Hadrian (instead of `./configure`) generate and track this file. In > fact I already did this in a MR more than a year ago but it was blocked on > make-removal. > > Sylvain > > > On 11/07/2022 17:09, Simon Peyton Jon

Re: Hadrian

(apols for premature send) I am working on a branch of GHC, actually on !8210. I have rebased on master. Then I say hadrian/build and I get the log below. It falls over saying No generator for _build/stage0/compiler/build/GHC/Unit/Module/Name.hs. Surely that should not happen? I'll try make

Hadrian

I am working on a branch of GHC, actually on !8210. I have rebased on master. Then I say ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Type vs Constraint

Dear GHC devs and Core Libraries folk The tension between Type and Constraint (are they equal or not?) has plaugued GHC for years. This GHC proposal #518 suggests how to fix it. Please do offer your thoughts. Simon

Re: GitLab bullets

Thank you. Looks nice again! S On Fri, 10 Jun 2022 at 16:01, Ben Gamari wrote: > Simon Peyton Jones writes: > > > Ben > > > > GitLab's rendering has become broken. See this ticket > > https://gitlab.haskell.org/ghc/ghc/-/issues/20686 > > > >- lo

GitLab bullets

Ben GitLab's rendering has become broken. See this ticket https://gitlab.haskell.org/ghc/ghc/-/issues/20686 - look under "Common ground...". The bullets all have a newline after them - Ditto the numbered points under "Generalisation" - But some bullets under "Generalisation" are

Type vs Constraint

Dear GHC devs and core libraries committee Can I draw your attention to https://gitlab.haskell.org/ghc/ghc/-/issues/21623 This ticket makes specific proposals for how to move forward on the long-standing, and increasingly painful issue of *whether or not Constraint and Type are equal in GHC's

Re: Extra file in GHC repo

nd try to > checkout a newer commit where the generated version will get > overwritten by the new non-generated version. > > Matt > > On Fri, May 13, 2022 at 11:46 AM Simon Peyton Jones > wrote: > > > > Hi devs > > > > I've started to get this a lot > >

Extra file in GHC repo

Hi devs I've started to get this a lot bash$ git rebase origin/master First, rewinding head to replay your work on top of it... error: The following untracked working tree files would be overwritten by checkout: docs/index.html Please move or remove them before you switch branches. Aborting

Re: Gitlab problem

Thanks. It has mysteriously started working again now... Sorry for the noise. Simon On Tue, 10 May 2022 at 17:01, Matthew Pickering wrote: > Hi Simon, > > I can't reproduce this locally.. still broken for you? > > Matt > > On Tue, May 10, 2022 at 4:32 PM Simon

Gitlab problem

Friends I am abruptly unable to push or pull to the GHC repo. E.g. 'git fetch' just hangs. Yet ssh g...@gitlab.haskell.org seems to succeed with PTY allocation request failed on channel 0 Welcome to GitLab, @simonpj! Connection to gitlab.haskell.org closed. How could I debug this? I'm on WSL.

Re: [External] Re: Specialising NOINLINE functions

-proposals/ghc-proposals/pull/357 > <https://clicktime.symantec.com/3NuNFMzg65dA5k5kXHX5U196xU?u=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F357> > > - Oleg > > On 6.5.2022 12.04, Simon Peyton Jones wrote: > > Dear devs > > > > At the moment the INLI

Re: Specialising NOINLINE functions

10:08, Oleg Grenrus wrote: > There is a (stale) ghc-proposal for that, > https://github.com/ghc-proposals/ghc-proposals/pull/357 > > - Oleg > > On 6.5.2022 12.04, Simon Peyton Jones wrote: > > Dear devs > > > > At the moment the INLINEABLE pragma means "

Specialising NOINLINE functions

Dear devs At the moment the INLINEABLE pragma means "capture my right-hand side, regardless of how big it is, so that it can be type-class-specialised, including in other modules". But it *also *says "feel free to inline me". Some users (eg Gergo) want to say NOINLINE on some functions. But for

Re: Extending call_args when specialising DFuns

Looking at the code in Specialise, there are only two differences in the way that UnspecArg and UnspecType are treated differently: * In specHeader, small differences * In ppr_call_key_ty, when generating the name of the RULE So we could collapse them into SpecArg, and fix the small differences

Re: Markup language/convention for Notes?

I'm open-minded, but I *really* want the text to be readily readable *in the original source file*. So * Back-ticks are much better than `@` signs; the latter are too noisy. * For code, backticks add clutter. Maybe just intentend text can be code? (Unless it's part of a bulleted list.) On

Re: Re: Shadowing in toIface* output

. How do I fill in these missing pieces during reconstruction? > > > > > > > > *From:* ghc-devs *On Behalf Of *Erdi, > Gergo via ghc-devs > *Sent:* Tuesday, April 5, 2022 11:09 AM > *To:* Simon Peyton Jones ; Gergo Érdi < > ge...@erdi.hu> > *

Re: Git problem

Thanks Viktor -- I'll try that Simon On Thu, 7 Apr 2022 at 01:37, Viktor Dukhovni wrote: > On Wed, Apr 06, 2022 at 10:55:09PM +0100, Simon Peyton Jones wrote: > > > I see this > > bash$ git status > > On branch wip/romes/ttg-splices-improvements > > Your branch is

Re: Warning about glomming

It's a warning directed solely at compiler authors (hence -DDEBUG). If a lot of glomming is happening, it might be due to some scoping or dependency analysis bug -- e.g. perhaps OccAnal isn't putting bindings in proper dependency order, or perhaps some plugin is gratuitously scrambling the order

Git problem

Friends I see this bash$ git status On branch wip/romes/ttg-splices-improvements Your branch is up to date with 'origin/wip/romes/ttg-splices-improvements'. Changes not staged for commit: (use "git add ..." to update what will be committed) (use "git restore ..." to discard changes in

Re: Avoiding `OtherCon []` unfoldings, restoring definitions from unfoldings

t uses GHC as a library). So it will require extra effort to > get something you or others can just run, hence my question: is there > anything here that is worth pursuing at all? Or who cares, since I’m not > using unfoldings anymore (I’ve switched over to storing IfaceExprs > directly)

Re: Avoiding `OtherCon []` unfoldings, restoring definitions from unfoldings

doesn't, in > certain cases. > > -Original Message- > From: ghc-devs On Behalf Of Gergo Érdi > Sent: Saturday, April 2, 2022 11:31 AM > To: Simon Peyton Jones > Cc: GHC Devs ; clash-langu...@googlegroups.com > Subject: [External] Re: Avoiding `OtherCon []` unf

Re: Shadowing in toIface* output

So does that mean Tidy produces unique `occNameFS`s, and then `Prep` breaks them? Tidy does not produce unique OccNames. Rather, it avoids *shadowing*, so that if you delete all the uniques and print out the program (which is precisely what happens in an .hi file) you'll still get something

  1   2   3   4   5   6   7   8   9   10   >