- ghc-devs - Haskell.org

ZuriHac 2019 - GHC Track
by Andreas Herrmann 13 Jun '19

13 Jun '19

Dear GHC devs, This year's ZuriHac 2019 [1] will again feature a dedicated GHC track to foster contributions to GHC and teach newcomers how to participate in GHC's development. It was a great success last year, and we hope it will be a great success this year as well. For that we need your help: We would like to invite you to organize a session in the GHC track. This could be in form of a presentation, a workshop, or a hack session with topics centered around GHC. For some inspiration, these are the subjects from last year's track: - Continuous Integration / DevOps, by Manual Chakravarty - PrimOps / PrimTypes, by Michal Terepeta - Performance Regression Tests, by Niklas Hambüchen - Newcomers Tutorial, by Andreas Herrmann Other possible subjects could be around: - Improving documentation - Extending GHC's test-suite - General GHC development workflows - The inner workings of some aspect of GHC Aside from preparing a session, we are also looking for volunteers to be around as GHC mentors during hack sessions to help out newcomers. Please let us know if you'd be interested in leading a session, or being a mentor, or helping out with this track in any other way. You can contact either Niklas or myself, on this list or by private message. Best, Niklas and Andreas ZuriHac 2019 GHC track coordinators [1]: https://zfoh.ch/zurihac2019/

13 14

Request for Nominations to the GHC Steering Committee
by Joachim Breitner 12 Jun '19

12 Jun '19

Dear Haskell community, the GHC Steering committee is seeking nominations for two or three new member. The committee scrutinizes, nitpicks, improves, weights and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. We are looking for a member who has the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. The GHC developers themselves are already well represented already. We seek Haskell _users_ more than GHC hackers. There is no shortage of people who are eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to learn, (particularly) through its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore explicitly invite “conservative” members of the community to join the committee. To make a nomination, please send an email to me (as the committee secretary) at mail(a)joachim-breitner.de until June 23th. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. We explicitly encourage self-nominations. You can nominate others, but please obtain their explicit consent to do so. (We don’t want to choose someone who turns out to be unable to serve.) On behalf of the committee, Joachim Breitner -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Typed hole improvements
by David Feuer 07 Jun '19

07 Jun '19

I've been playing around with 8.6.3, and I've really been appreciating the improvements in typed hole messages. Both the information about constraints and the suggestions for filling the holes have proven valuable in heavily typish programming. Thanks! One thing that's still not where I'd like it to be is the equality constraint display. I recognize this is a Hard Problem. But digging through something like x ~ C y z x ~ C y1 z2 D p b ~ q z y1 to get b ~ y gets tiresome. Is there room for improvement here? If not, are there any programs around using the GHC API to offer an interactive system for such calculations? It'd be quite helpful when seeing such constraints to be able to express special interest in a particular type variable, for example.

2 1

reviewing on GitLab
by Richard Eisenberg 07 Jun '19

07 Jun '19

Hi all, I've just reviewed !364, and it was a painful experience. Perhaps documenting why will help spur more UI innovations. - My review was in response to several of the author's in-line comments, which themselves were in response to previous in-line comments. This has to be a common scenario. - The *only* place I could get a simple listing of all the new comments was in my notification email. Neither the Discussion tab nor the Changes tab on GitLab allow me to collect recent comments, as they new comments are placed directly below the old comments, each of which started at different points in time. - The Discussions tab has all the comments somewhere. But for each comment, I had to search (with Ctrl+F) on the page to find the corresponding comment trail, so I could get context. The order on the Discussions tab was unrelated to the order in my email. - Actually, not all comments were on the Discussions page, because the commit author had *resolved* a discussion. In this case, though, I still wanted to comment. So I had to search (with Ctrl+F) for "resolved" so I could find the comment trail and unresolve it. - The Changes page has much more code context than the Discussions page. So I had that open, too, so I could scroll through the code. Not all the comments appeared on the Changes page, because the most interesting, most important files are always hidden by default. Even after expanding the relevant files, the comment trails did not always appear. Perhaps 30 seconds wasn't enough waiting. - All this means that this was my workflow: 1. Scroll through my notification email to see the author's next comment. 2. Ctrl+F with the text of that comment to find it on the Discussion tab. (Ctrl+F for "resolved" if the first search fails.) 3. If necessary, then use the line numbers and source file names from the Discussions tab to find the the relevant code in the Changes tab... which were often offset by a few lines, as things churn. I needed three windows open to complete a fairly simple review! I believe this is easy to fix: make the Discussions tab *chronological*. And have a link from the comment on the Discussions page to the Changes page that warps you to just the right spot in the code, with the full commentary context. (Right now, the link from the Discussions page just brings you to the file in the Changes page, not the line.) I know this isn't the first time we've suggested this or complained, but I'm not aware of progress (or even "it's on our queue") from GitLab. Has that happened? Is there a way to prioritize this? This review process is really a drag! Many thanks, Richard

3 5

Strange behavior of "-with-rtsopts=-T
by Vlatko Basic 07 Jun '19

07 Jun '19

Hello ghc-devs, I wrote about this issue to haskell-cafe, but received no reply as of today, so I'm hoping I could get some answer(s) here. I wrote a small Servant server that communicates with the same other server(s). When compiled without "-with-rtsopts=-T", I see in 'gnome-system-monitor' that memory used by each server constantly growing. I was investigating the issue, and found that it is (probably) not in my code, but in one http call (Servant client call to the same server). When I compile it with "-with-rtsopts=-T", the memory is constant and steady. Tested on Arch Linux with Stack LTS 13.14. If any one wants to test this, here are the steps: (server is standalone and does not require any external services (like DB, Redis, etc) and uses just a few MBs of RAM.) $ hg clone https://bitbucket.org/vlatkoB/poomas && cd poomas && stack build ## open your system monitor ## open two terminals in 'poomas' dir and in one run $ srvb.sh 5 ## and in the other # $ srvb.sh 6 ## (5 and 6 represent port number added to 3000, i.e. 3005 and 3006) ## Notice that memory is steady, around 6 MB on my machine. ## In 'server/package.yaml' comment out the line 139 (#-with-rtsopts=-T) $ stack build --force-dirty ## start those two servers again and see memory usage growing. Can anyone shed some light what could be happening here? Best regards, vlatko

2 2

Zurihac 2019 - Heap Profiling Projects
by Matthew Pickering 06 Jun '19

06 Jun '19

Hi all, I plan to do some work on the heap profiler during Zurihac this year. I've written down quite a long list of possible projects if anyone else wants to work on this with me. They are split into two categories. 1. Improving my replacement for hp2ps/hp2pretty which parses and renders eventlogs into an interactive HTML page. 2. General improvements to the heap profiler. https://gitlab.haskell.org/ghc/ghc/wikis/Zurihac-2019-Profiler-Ideas Feel free to add your own suggestions, as long as they are backed up by a ticket. Cheers, Matt

1 0

should TcCanonical.rewriteEvidence preserve ctev_nosh?
by Nicolas Frisby 05 Jun '19

05 Jun '19

A bit of context and then my question. https://gitlab.haskell.org/ghc/ghc/blob/master/compiler/typecheck/TcCanonic… declares `rewriteEvidence` with the comment that "rewriteEvidence old_ev new_pred co ... Returns a new_ev : new_pred, with same wanted/given/derived flag as old_ev". However, the `CtWanted` case just immediately calls `newWanted`, which ignores the incoming `ctev_nosh` flag and always uses `WDeriv`. ``` rewriteEvidence ev@(CtWanted { ctev_dest = dest , ctev_loc = loc }) new_pred co = do { mb_new_ev <- newWanted loc new_pred ``` (This is true in 8.6.5 and also right now at 6febc444c0abea6c033174aa0e813c950b9b2877.) Thus I'm seeing a [W] is become a [WD], which seems to contradict the comment's "same flag" claim. MY QUESTION ======> Is this "WD unsplitting" the intended behavior? See canonicalization tc-trace below. If it is intended, I'll probably write a follow-up question asking for more advice. The constraint solver is looping unproductively because my plugin keeps discarding the (re-)emitted [D] shadow as a tautology, then the [W] "unsplits" during canonicalization (even though my plugin didn't touch the [W]), this re-emits the same [D] (via a fundep), and so on. My continual disclaimer recently is that I'm seeing this behavior with my in-development plugin activated, so it's entirely I'm pushing GHC into unfamiliar waters or even just plain violating some invariants without realizing it. But this trace looks rather isolated from plugins. Thanks! -Nick Here's a -ddump-tc-trace of a canonicalization that goes from [W] to [WD] happen (with GHC 8.6.5): runStage canonicalization { workitem = [W] $dMonadFree_a35V {0}:: MonadFree ((fs_a2UF[sk:1] :- Const e_a2UE[sk:1]) :+ Const e_a2UE[sk:1]) (Free fs_a2UF[sk:1]) (CDictCan) flatten_args { (fs_a2UF[sk:1] :- Const e_a2UE[sk:1]) :+ Const e_a2UE[sk:1] Free fs_a2UF[sk:1] matchFamTcM Matching: (fs_a2UF[sk:1] :- Const e_a2UE[sk:1]) :+ Const e_a2UE[sk:1] Match failed matchFamTcM Matching: fs_a2UF[sk:1] :- Const e_a2UE[sk:1] Match failed Unfilled tyvar fs_a2UF[sk:1] Unfilled tyvar e_a2UE[sk:1] flatten/flat-cache hit :- [* -> *, fs_a2UF[sk:1], Const e_a2UE[sk:1]] s_a35Z[fmv:1] Unfilled tyvar s_a35Z[fmv:1] Unfilled tyvar e_a2UE[sk:1] matchFamTcM Matching: s_a35Z[fmv:1] :+ Const e_a2UE[sk:1] Match failed New coercion hole: co_a365 Emitting new coercion hole {co_a365} :: (s_a35Z[fmv:1] :+ Const e_a2UE[sk:1]) GHC.Prim.~# s_a364[fmv:1] extendFlatCache :+ [* -> *, s_a35Z[fmv:1], Const e_a2UE[sk:1]] [WD] s_a364[fmv:1] flatten/flat-cache miss :+ [* -> *, s_a35Z[fmv:1], Const e_a2UE[sk:1]] s_a364[fmv:1] [WD] hole{co_a365} {0}:: (s_a35Z[fmv:1] :+ Const e_a2UE[sk:1]) GHC.Prim.~# s_a364[fmv:1] Unfilled tyvar fs_a2UF[sk:1] flatten } s_a364[fmv:1] Free fs_a2UF[sk:1] Emitting new wanted $dMonadFree_a366 :: MonadFree s_a364[fmv:1] (Free fs_a2UF[sk:1]) arising from a use of ‘wrap’ at tests/ill-typed/T7.hs:77:14-17 addTcEvBind a2V1 [W] $dMonadFree_a35V = $dMonadFree_a366 `cast` ((MonadFree (Sym {co_a365} ; ((:+) <* -> *>_N (Sym {co_a360}) <Const e_a2UE[sk:1]>_N)_N) <Free fs_a2UF[sk:1]>_N)_R :: MonadFree s_a364[fmv:1] (Free fs_a2UF[sk:1]) ~R# MonadFree ((fs_a2UF[sk:1] :- Const e_a2UE[sk:1]) :+ Const e_a2UE[sk:1]) (Free fs_a2UF[sk:1])) canClass [W] $dMonadFree_a35V {0}:: MonadFree ((fs_a2UF[sk:1] :- Const e_a2UE[sk:1]) :+ Const e_a2UE[sk:1]) (Free fs_a2UF[sk:1]) MonadFree s_a364[fmv:1] (Free fs_a2UF[sk:1]) ContinueWith [WD] $dMonadFree_a366 {0}:: MonadFree s_a364[fmv:1] (Free fs_a2UF[sk:1]) end stage canonicalization } and later try_fundeps [WD] $dMonadFree_a36h {0}:: MonadFree s_a36f[fmv:1] (Free fs_a2UF[sk:1]) (CDictCan) emitFunDepDeriveds 1 0 [fs_a2UF[sk:1] ~ s_a36f[fmv:1]] False Emitting new derived equality [D] _ {0}:: fs_a2UF[sk:1] GHC.Prim.~# s_a36f[fmv:1] and then my plugin discards that [D] as a tautological, and then the [W] gets unsplit and the [D] comes back around etc

2 3

Wiki markup
by Simon Peyton Jones 04 Jun '19

04 Jun '19

This is a GitLab wiki markup question. Suppose I want to have a bulleted list, in which a single item has some text, then some laid-out code, then more text. I want the second blob of text to be indented as part of the bullet. Absent the laid-out code, indenting the second para 2 spaces seems to do it: * first bit of text Second bit of text But if there is code in the middle, like this * first bit of text ``` code ``` Second bit of text the second bit of text is not indented. Does anyone know how to achieve the indentation? Simon

3 3

Re: Container type classes
by Andreas Klebinger 04 Jun '19

04 Jun '19

ghc-devs-request(a)haskell.org schrieb: > Hello, > > I think refactoring to use consistent naming is a good idea, but I am > not sure about the class idea. > > To see if it is viable, we should list the types in question and the > operations we'd like to overload. > > I find that with containers there tend to be two cases: either the > operations are similar but not exactly the same and you have to do > type hackery to make things fit, or you realize that you can just use > the same type in multiple places. > > Iavor The function prototype are already part of the merge request. See here: https://gitlab.haskell.org/ghc/ghc/blob/a0781d746c223636a90a0837fe678aab5b7… As for the data structures in question these are: * EnumSet * Data.IntSet * Data.Set * UniqSet * UniqDSet * Data.IntMap * Data.Map * LabelMap * UniqFM * UniqDFM * UniqMap * Maybe the TrieMap Variants Maybe I missed some but these are all I can think of currently. But they are already plenty. Imo using type classes IS a kind of type hackery required "to make things fit".

4 3

RE: Pushing to gitlab.haskell.org
by Simon Peyton Jones 03 Jun '19

03 Jun '19

| You probably need to use the "git@" remote. | | git@gitlab.haskell.org:ghc/ghc.git | | git remote set-url origin git@gitlab.haskell.org:ghc/ghc.git Correct! I don't know how this worked before. (Maybe it never did; this is a relatively new machine.) Maybe we should change the guidance on https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources to give the git url? Or does that /require/ ssh and hence exclude some folk? Simon | -----Original Message----- | From: Matthew Pickering <matthewtpickering(a)gmail.com> | Sent: 03 June 2019 15:08 | To: Simon Peyton Jones <simonpj(a)microsoft.com> | Subject: Re: Pushing to gitlab.haskell.org | | You probably need to use the "git@" remote. | | git@gitlab.haskell.org:ghc/ghc.git | | git remote set-url origin git@gitlab.haskell.org:ghc/ghc.git | | | On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs <ghc- | devs(a)haskell.org> wrote: | > | > Devs | > | > Suddenly I can’t push to (a non-master branch on) gitlab.haskell.org. | > | > In .git/config I have | > | > [remote "origin"] | > | > url = | > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl | > ab.haskell.org%2Fghc%2Fghc&data=02%7C01%7Csimonpj%40microsoft.com% | > 7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47% | > 7C1%7C0%7C636951676910548930&sdata=cTjUrROo3Dje%2FlbiFdtUPadlFUPsN | > 2OWUgLIOYv%2BL8o%3D&reserved=0 | > | > fetch = +refs/heads/*:refs/remotes/origin/* | > | > [branch "master"] | > | > remote = origin | > | > merge = refs/heads/master | > | > An attempt to push leads to a request for a username. If I enter one, a | request for a password. | > | > simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735 | > | > Username for | 'https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab. | haskell.org&data=02%7C01%7Csimonpj%40microsoft.com%7C186b15a68a134060a | 1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6369516769105 | 48930&sdata=O%2F%2B7WovumSLxe8%2FXrh1NpowWs%2FYVqhdEsDCsM5diz%2Bk%3D&a | mp;reserved=0': C-c C-c | > | > I thought I had SSH keys uploaded. But in fact I found that my | id_rsa.pub was a bit different to the one in gitlab. Not sure _how_ that | happened, or why it hasn’t bitten before. | > | > So I uploaded a new id_rsa.pub key. | > | > Same behaviour. | > | > So I tried ssh -v gitlab.haskell.org, and got the output below. It | seems to skip id_dsa, but doesn’t even try id_rsa. | > | > Can anyone help? This is tiresome. | > | > Thanks | > | > Simon | > | > | > | > simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org | > | > OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n 7 Dec 2017 | > | > debug1: Reading configuration data /home/simonpj/.ssh/config | > | > debug1: Reading configuration data /etc/ssh/ssh_config | > | > debug1: /etc/ssh/ssh_config line 19: Applying options for * | > | > debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port 22. | > | > debug1: Connection established. | > | > debug1: identity file /home/simonpj/.ssh/id_rsa type 0 | > | > debug1: key_load_public: No such file or directory | > | > debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1 | > | > debug1: identity file /home/simonpj/.ssh/id_dsa type 1 | > | > debug1: key_load_public: No such file or directory | > | > debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1 | > | > debug1: key_load_public: No such file or directory | > | > debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1 | > | > debug1: key_load_public: No such file or directory | > | > debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1 | > | > debug1: key_load_public: No such file or directory | > | > debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1 | > | > debug1: key_load_public: No such file or directory | > | > debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1 | > | > debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4 | > | > debug1: Remote protocol version 2.0, remote software version | > OpenSSH_7.9 | > | > debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x04000000 | > | > debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj' | > | > debug1: SSH2_MSG_KEXINIT sent | > | > debug1: SSH2_MSG_KEXINIT received | > | > debug1: kex: algorithm: curve25519-sha256(a)libssh.org | > | > debug1: kex: host key algorithm: ssh-ed25519 | > | > debug1: kex: server->client cipher: chacha20-poly1305(a)openssh.com MAC: | > <implicit> compression: none | > | > debug1: kex: client->server cipher: chacha20-poly1305(a)openssh.com MAC: | > <implicit> compression: none | > | > debug1: expecting SSH2_MSG_KEX_ECDH_REPLY | > | > debug1: Server host key: ssh-ed25519 | > SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI | > | > debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host | key. | > | > debug1: Found key in /home/simonpj/.ssh/known_hosts:7 | > | > debug1: rekey after 134217728 blocks | > | > debug1: SSH2_MSG_NEWKEYS sent | > | > debug1: expecting SSH2_MSG_NEWKEYS | > | > debug1: SSH2_MSG_NEWKEYS received | > | > debug1: rekey after 134217728 blocks | > | > debug1: Skipping ssh-dss key /home/simonpj/.ssh/id_dsa - not in | > PubkeyAcceptedKeyTypes | > | > debug1: SSH2_MSG_EXT_INFO received | > | > debug1: kex_input_ext_info: | > server-sig-algs=<ssh-ed25519,ssh-rsa,rsa-sha2-256,rsa-sha2-512,ssh-dss | > ,ecdsa-sha2-nistp256,ecdsa-sha2-nistp384,ecdsa-sha2-nistp521> | > | > debug1: SSH2_MSG_SERVICE_ACCEPT received | > | > debug1: Authentications that can continue: | > publickey,password,keyboard-interactive | > | > debug1: Next authentication method: publickey | > | > debug1: Offering public key: RSA | > SHA256:H1l824hIxHozwRuEqdaYJjW10mRRlQVUhxREvuseqtU | > /home/simonpj/.ssh/id_rsa | > | > debug1: Authentications that can continue: | > publickey,password,keyboard-interactive | > | > debug1: Trying private key: /home/simonpj/.ssh/id_ecdsa | > | > debug1: Trying private key: /home/simonpj/.ssh/id_ed25519 | > | > debug1: Next authentication method: keyboard-interactive | > | > Password: C-c C-c | > | > | > | > simonpj@MSRC-3645512:~/code/HEAD$ | > | > | > | > _______________________________________________ | > ghc-devs mailing list | > ghc-devs(a)haskell.org | > https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail. | > haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&data=02%7C01 | > %7Csimonpj%40microsoft.com%7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988 | > bf86f141af91ab2d7cd011db47%7C1%7C0%7C636951676910548930&sdata=d3AF | > 6HM%2B48XW8mZJ42m%2FSngTPiVEERDM24th%2BZMY%2BPA%3D&reserved=0

2 1