GHC CI

Dear GHC devs Is something stuck in CI? https://gitlab.haskell.org/ghc/ghc/-/merge_requests/13553 has been stalled for 9 hrs. I have not seen that before. Thanks Simon ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/ma

Can't build GHC any more

Friends On all my builds, using ./boot; ./configure; ./hadrian/build I am getting the crash below. What should I do? My boot compiler is ghc-9.6. I can't build GHC at all right now, so this is somewhat urgent. Thank you! Simon ]0;Running for 5m11s [11771/39023], predicted 49s (86%)(/h

Re: Zero Multiplicities for Linear Haskell

Joseph Great! At the moment we have one undisputed King of Linear Haskell, and that is Arnaud Spiwak (cc'd). He's the person to talk to. Everyone: it would great to broaden the base. Relying only on Arnaud puts him under pressure; it'd be great to have more champions for Linear Haskell and its

Re: Cabal and GHC: the big picture

hat info). > > > Difference between unit-id and ABI hash? > > As far as I remember, unit-id tries to approximate ABI hash. In fact, > there was a request to have GHC output something like ABI-hash given the > set of flags. Currently Cabal has an ad-hoc implementation to filter out >

Cabal and GHC: the big picture

Friends You may remember a recent thread on ghc-devs about GHC and Cabal . In it I say how I feel I lack the "big picture" of how GHC and Cabal interact, and that my mental model is probably faulty. Tom Ellis took pity on me, and

CI stuck?

Dear GHC devs Is GHC's CI stuck in some way? My !12928 has been scheduled by Marge over 10 times now, and each time the commit has failed. Ten seems... a lot. Thanks Simon ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bi

Re: Cabal woe

Oleg (a cabal hero, btw, thank you Oleg) writes `cabal-install` (and `stack` FWIW) don't want you to have any (implicit) state. That's not great for "real world projects". But you necessarily have global state anyway! When I say `ghc -c Foo.hs` I get a particular Prelude, which in turn depends

Re: Cabal woe

nds. I packaged things in a repo for you. >> >> https://github.com/mpickering/t25064 >> >> ``` >> cabal build -w ghc-9.6.2 (fails) >> cabal build -w /path/to/devel/compiler (fails with error message) >> ``` >> >> Matt >> >&

Cabal woe

Friends I'm trying to repro #25064 with my development build of GHC. The test case depends on packages `primitive` and `hashtables`. So I try this (see below). Alas, apparently after the `cabal install`, it can't find Prelude. What should I do? I tried removing the "environments" file, whatev

Re: Deriving mechanisms in GHC

> I am also curious if there is a recommended way to check the GHC API changes across different versions. The difficulty is that we don't *have* a published, well designed GHC API for clients to use, and for GHC devs to strive to maintain stable. You aren't the only one to find this problem see t

CountDeps

Does anyone know what the CountDeps test does? I'm getting the failure below in my branch. Should I just accept it? I think it's because GHC.Core.FamInstEnv now depends on GHC.Builtin.Types.Literals, a very reasonable dependency Thanks Simon +++ "/builds/ghc/ghc/tmp/ghctest-su6yq239/test space

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-warn

Re: Annotating instances

s or 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

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

To modify nofib, 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écat

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 ‘GHC.Type

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 co

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

Haskell library, ghc itself will >> > be compiled 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 >> >

Re: Reinstallable - base

ifferent version of base. This is rather 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 > > <htt

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 `bas

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

t; That’s 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

Re: Configure errors

nfigure, 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 fro

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... Ent

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 Simo

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 Simon

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 o

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

uld be a lot 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.pey

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 p

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

ase < 4.17. > 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 202

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 (user

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 98

Re: I can't build HEAD

On Sun, 9 Jul 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 H

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 _build/stage

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

i knows. 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: > >

Re: SSH on Gitlab

wrote: > 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-8FABOD

Re: Improving Merge Request review processes

t;> I have modified the MR template - >> 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: >> > >

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 c

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 pa

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: /etc/ssh

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 def

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 of

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 http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-

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 developers

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.co

Re: Help! Can't build HEAD

:~/code/HEAD-15$ Simon On Wed, 15 Mar 2023 at 12:46, Sam Derbyshire wrote: > Perhaps even `git submodule 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. >>

Re: Help! Can't build HEAD

ar 2023 at 12:41, 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 &g

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

't find it. Not working well for recent 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 thin

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 wron

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 note

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 ban

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 demo

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 t

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 gro

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 e

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 exte

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 b

Re: Unix library apparently broken

ve rebased my patch 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 upda

Re: Unix library apparently broken

rhaps 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 Jon

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 "lib

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 (an

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 Commands

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 http://

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 use-c

Re: Advice for implementing GADTs?

se to for \supset... > 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 ther

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 "level

Re: Test suite

0 fragile tests Unexpected failures: /tmp/ghctest-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 r

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) => _build/doc/html/libraries/parsec-3.1.15.0/parse

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: imag

Re: Wildcards in type synonyms

27;t possibly > work as soon as I have more than 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 `ne

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 pr

Re: Wildcards in type synonyms

nstructs], 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

existing "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 `t

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 bui

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 info

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 /home/

Re: Hadrian

also noted 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 > >> s

Re: Hadrian

bug? > > Hopefully when `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

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 > > > >

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 OK

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 ty

Re: Extra file in GHC repo

and 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 lo

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 fatal

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 S

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

als/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

  1   2   3   4   5   6   7   8   9   10   >