<div dir="ltr">I will wait a few more days to see if anyone else expresses an opinion, otherwise I'll do as Simon suggests.<div><br></div><div>Could someone clarify what does #281 have to do with dependent types?  Â The example that was brought up, and I think is pretty reasonable, is `sizeOf` from the `Storbale` class:  I might want to write `sizeOf @Bool`.  Is the plan to require that dependent types are enabled to write stuff like that?</div><div><br></div><div>-Iavor</div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 8, 2021 at 8:35 PM Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;">I have now submitted #378 for a committee decision (though I will forgive Joachim if he missed the notification among the 200 comments on that thread). So perhaps we can tackle all of this together.<div><br></div><div>Richard<br><div><br><blockquote type="cite"><div>On Mar 8, 2021, at 8:54 AM, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>> wrote:</div><br><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><div style="margin:0cm 0cm 0cm 36pt;font-size:11pt;font-family:Calibri,sans-serif">I don't think this proposal is the right place to discuss dependent types, so I propose that we reject the proposal.  To ensure progress, I'll do so within a week, so please discuss before then, if you think otherwise.<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><span><u></u> <u></u></span></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><span>I would suggest that rather than â€œreject” (which sounds like â€œwe don’t want this, don’t resubmit it”), we push it back saying that we agree that it’d be better to settle #378 first.  So we we’ll mark it as â€œneeds revision” not because we have anything specific to suggest, but so that it’s back in the author’s control.  He should feel free to re-submit (perhaps revised in some way, as he sees fit) once #378 is resolved.<u></u><u></u></span></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><span><u></u> <u></u></span></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><span>Simon<u></u><u></u></span></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><span><u></u> <u></u></span></div><div style="border-style:none none none solid;border-left-width:1.5pt;border-left-color:blue;padding:0cm 0cm 0cm 4pt"><div><div style="border-style:solid none none;border-top-width:1pt;border-top-color:rgb(225,225,225);padding:3pt 0cm 0cm"><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><b><span lang="EN-US">From:</span></b><span lang="EN-US"><span> </span>Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com" target="_blank">iavor.diatchki@gmail.com</a>><span> </span><br><b>Sent:</b><span> </span>06 March 2021 16:51<br><b>To:</b><span> </span>Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>><br><b>Cc:</b><span> </span>Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>>; ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br><b>Subject:</b><span> </span>Re: [ghc-steering-committee] Status<u></u><u></u></span></div></div></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">Hello,<u></u><u></u></p><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">This is the author's response to my query:<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></p></div><div><blockquote style="border-style:none none none solid;border-left-width:1pt;border-left-color:rgb(204,204,204);padding:0cm 0cm 0cm 6pt;margin-left:4.8pt;margin-right:0cm"><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">So, the situation seems to be as follows:<u></u><u></u></p><ul type="disc" style="margin-bottom:0cm"><li class="MsoNormal" style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif;color:rgb(36,41,46);box-sizing:border-box"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif">if we want dependent types (as described on that Wiki page), I would like to resubmit<u></u><u></u></span></li></ul><ul type="disc" style="margin-bottom:0cm;margin-top:0cm;box-sizing:border-box"><li class="MsoNormal" style="margin:3pt 0cm 0cm;font-size:11pt;font-family:Calibri,sans-serif;color:rgb(36,41,46);box-sizing:border-box"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif">if we do not want them, I will retract the proposal and close it<u></u><u></u></span></li></ul><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">I need to know the committee’s stance on dependent types to proceed here.<u></u><u></u></div></blockquote><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">I don't think this proposal is the right place to discuss dependent types, so I propose that we reject the proposal.  To ensure progress, I'll do so within a week, so please discuss before then, if you think otherwise.<u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">-Iavor<u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div><div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">On Fri, Mar 5, 2021 at 5:02 PM Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com" style="color:blue;text-decoration:underline" target="_blank">iavor.diatchki@gmail.com</a>> wrote:<u></u><u></u></div></div><blockquote style="border-style:none none none solid;border-left-width:1pt;border-left-color:rgb(204,204,204);padding:0cm 0cm 0cm 6pt;margin-left:4.8pt;margin-right:0cm"><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">OK, I posted a note on the git-hub, asking @int-index what he wants to do.<u></u><u></u></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">In case anyone needs a refresher, this is the discussion we had when I submitted this to the committee back in November:<u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fpipermail%2Fghc-steering-committee%2F2020-November%2F001859.html&data=04%7C01%7Csimonpj%40microsoft.com%7C0b9f9dd78f934d620c5e08d8e0c0012f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637506462581487239%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=2inDHN90f7OQ9XIcd76l50Lwwp6axEUZVdea%2BoRFZzg%3D&reserved=0" style="color:blue;text-decoration:underline" target="_blank">https://mail.haskell.org/pipermail/ghc-steering-committee/2020-November/001859.html</a><u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">another somewhat relevant discussion that followed was this:<u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fpipermail%2Fghc-steering-committee%2F2020-November%2F001865.html&data=04%7C01%7Csimonpj%40microsoft.com%7C0b9f9dd78f934d620c5e08d8e0c0012f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637506462581497234%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=k4jiWTo11nNFH6zHyw7oYMFfyl0kxkQEsXKSueeC2Mk%3D&reserved=0" style="color:blue;text-decoration:underline" target="_blank">https://mail.haskell.org/pipermail/ghc-steering-committee/2020-November/001865.html</a><u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">and here is a link to the proposal and the git-hub discussion:<u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F281&data=04%7C01%7Csimonpj%40microsoft.com%7C0b9f9dd78f934d620c5e08d8e0c0012f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637506462581497234%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=X7tkk61XrEd9utRxcQjA3Eh3Wi3cDXuJdMae%2BBcx3gM%3D&reserved=0" style="color:blue;text-decoration:underline" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/281</a><u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">-Iavor<u></u><u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div><div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">On Fri, Mar 5, 2021 at 3:13 PM Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" style="color:blue;text-decoration:underline" target="_blank">simonpj@microsoft.com</a>> wrote:<u></u><u></u></div></div><blockquote style="border-style:none none none solid;border-left-width:1pt;border-left-color:rgb(204,204,204);padding:0cm 0cm 0cm 6pt;margin-left:4.8pt;margin-right:0cm"><div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">This is about #281 visible dependent quantification.<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Our role is to accept, reject, or push back to the author for revision.  We should do so in a timely way.<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">If I were the shepherd I’d be asking the author â€œDo you want to revise the proposal at all in the light of all the discussion, or do you want the committee to decide yay/nay based on the proposal as it is now?”  <span> </span><u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">He might want to revise/discuss a bit.  But if he says â€œplease decide on it as-is” then I think you should make a recommendation: accept or reject.  (I don’t think the discussion has led to any specific revisions that we want to see.) <span> </span><u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">I sense you would recommend reject.   That’s totally fine. Then the rest of us have to make up our minds.  We might end up with a more nuanced position like â€œwe are not ready to accept this now, so if you want a decision now, it’d be no; but feel free to ask the same question again in six months time”.<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">If you don’t feel able to be the shepherd, that’s fine too: tell Joachim and he’ll finger someone else!<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">But, by hook or by crook, I do think we should do something, not just sit on it.  Tom’s nudge is helpful.<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Simon<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="border-style:none none none solid;border-left-width:1.5pt;border-left-color:blue;padding:0cm 0cm 0cm 4pt"><div><div style="border-style:solid none none;border-top-width:1pt;border-top-color:rgb(225,225,225);padding:3pt 0cm 0cm"><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><b><span lang="EN-US">From:</span></b><span lang="EN-US"><span> </span>Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com" style="color:blue;text-decoration:underline" target="_blank">iavor.diatchki@gmail.com</a>><span> </span><br><b>Sent:</b><span> </span>05 March 2021 19:42<br><b>To:</b><span> </span>Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" style="color:blue;text-decoration:underline" target="_blank">simonpj@microsoft.com</a>><br><b>Cc:</b><span> </span>Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" style="color:blue;text-decoration:underline" target="_blank">mail@joachim-breitner.de</a>>; ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" style="color:blue;text-decoration:underline" target="_blank">ghc-steering-committee@haskell.org</a>><br><b>Subject:</b><span> </span>Re: [ghc-steering-committee] Status</span><u></u><u></u></div></div></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">I am being nudged to do something with this proposal,  but I am not sure what...  Â Is the rest of the committee OK with moving it back "revisions required", and if so what revisions would we like?  <u></u><u></u></p><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">I would be quite happy if someone else wanted to shephard this.  As I mentioned before, I don't have much interest in DH, so I have not followed the really long discussion related to that, and if and how it might relate to #281. <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">My recommendation for the moment would be:<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">  Â * This seems like a useful feature independent of DH, so it would be nice to come up with a concise notation to use the feature on its own, without worrying about DH.<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">Please let me know what you think, as I am not sure what is the committee's stance on the proposal.<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">-Iavor<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div></div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p><div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">On Thu, Feb 18, 2021 at 1:54 PM Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" style="color:blue;text-decoration:underline" target="_blank">simonpj@microsoft.com</a>> wrote:<u></u><u></u></p></div><blockquote style="border-style:none none none solid;border-left-width:1pt;border-left-color:rgb(204,204,204);padding:0cm 0cm 0cm 6pt;margin:5pt 0cm 5pt 4.8pt"><div><div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">There has been a broad further discussion.<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">What we advertise is that, rather that leave a proposal â€œunder committee review”, we will push it back to the author with an invitation to resubmit when the discussion has died down and they feel ready to submit a proposal, revised in the light of the discussion.  That’s different to reject… it means that there is an ongoing debate so it’s not a good time for the committee to make a decision.<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><br>Simon<u></u><u></u></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div style="border-style:none none none solid;border-left-width:1.5pt;border-left-color:blue;padding:0cm 0cm 0cm 4pt"><div><div style="border-style:solid none none;border-top-width:1pt;border-top-color:rgb(225,225,225);padding:3pt 0cm 0cm"><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"><b><span lang="EN-US">From:</span></b><span lang="EN-US"><span> </span>ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" style="color:blue;text-decoration:underline" target="_blank">ghc-steering-committee-bounces@haskell.org</a>><span> </span><b>On Behalf Of<span> </span></b>Iavor Diatchki<br><b>Sent:</b><span> </span>18 February 2021 16:47<br><b>To:</b><span> </span>Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" style="color:blue;text-decoration:underline" target="_blank">mail@joachim-breitner.de</a>><br><b>Cc:</b><span> </span>ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" style="color:blue;text-decoration:underline" target="_blank">ghc-steering-committee@haskell.org</a>><br><b>Subject:</b><span> </span>Re: [ghc-steering-committee] Status</span><u></u><u></u></div></div></div><div style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">On #381 I think the idea of visible quantification makes sense every now and then, but I don't like the concrete details of the proposal: the magic lifting of terms to types seems quite complicated, and using `type` as an explicit herald doesn't look nice.  So I don't think it's the right design, and therefore I suggest we reject the proposal.<u></u><u></u></p><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">I am sure that others would disagree as apparently this is an essential part of dependent Haskell.  Â I have not followed the large discussion that Richard created, as I am not particularly interested in the design being proposed, so perhaps someone else should champion this.<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">Aslo, I am not sure if I am actually on the committee, as I thought my term had expired?  That might be more reason for someone else to pick it up.<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">-Iavor<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p></div></div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif"> <u></u><u></u></p><div><div><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">On Thu, Feb 18, 2021 at 2:32 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" style="color:blue;text-decoration:underline" target="_blank">mail@joachim-breitner.de</a>> wrote:<u></u><u></u></p></div><blockquote style="border-style:none none none solid;border-left-width:1pt;border-left-color:rgb(204,204,204);padding:0cm 0cm 0cm 6pt;margin:5pt 0cm 5pt 4.8pt"><p class="MsoNormal" style="margin:0cm 0cm 6pt;font-size:11pt;font-family:Calibri,sans-serif">Dear Committee,<br><br>another status update, because why not.<br><br>A small reminder: These mails have two sections, one that’s a delta<br>since last status, but below is a summary of all proposals we have to<br>act on. Please at least scroll through that on each status mail to see<br>if you are listed, maybe you forgot something (or I made a mistake).<br><br>So here’s the delta since last month.<br><br> * GHC2021 defined! Yay!<br><br> * Bylaws merged! Yay<br><br> * Simon², Iavor, Richard and me had thus their terms expired.<br><br>  Â The Simons, as key members, wanted to continue and were<br>  Â voted back in.<br><br>  Â The others are now â€œexpiring”, until the next nomination round<br>  Â concludes. Alejandro is going to run that process.<br><br> * we were asked to review these proposals:<br>  Â #390: Fine-grained pragmas, Shepherd: Vitaly<br><br> * we have a recommendation from the shepherd about:<br>  Â #368: Warn on prefix/suffix operators (accept)<br><br> * we have sent the following proposals back to revision<br>  Â - none -<br><br> * we decided about the following proposals<br>  Â #313: Delimited continuation primops (accept)<br>  Â #387: The Char kind (accept)<br>  Â #368: Warn on prefix/suffix operators (accept)<br><br>We currently have to act on the following 5 proposals, down by 2.<br><br>## Waiting for committee decision<br><br>#381: Visible 'forall' in types of terms, Shepherd: Iavor<br>  Â  Â  Recommendation was to reject, but discussion went into the more<span> </span><br>  Â  Â  abstract â€œwhither dependent Haskell”. But what does this mean<br>  Â  Â  for this proposal?<br>  Â  Â  Iavor, can you pick this up again?<br><br>#369: Add sumToTag# primop, Shepherd: Eric<br>  Â  Â  Essentially accepted, waiting for feedback from the author on<br>  Â  Â  final tweaks. Eric, care to nudge the author, or just do it?<br><br>#302: \of, Shepherd: Cale<br>  Â  Â  No new discussion yet. It seems there was some confusion, which<br>  Â  Â  was cleared up by Tom, and Cale said he’ll pick it up now again.<br><br><br>## Waiting for Shepherd action<br><br>#367: Clarify primops using unboxed sums, Shepherd: Simon Marlow<br>  Â  Â  Simon said he’d reject it on the Github PR. Still waiting<br>  Â  Â  for the discussion to start on the mailing list.<br><br>#390: Fine-grained pragmas, Shepherd: Vitaly<br>  Â  Â  Still kinda new, but a recommendation would be good soon.<br><br><br>Cheers,<br>Joachim<br>--<span> </span><br>Joachim Breitner<br> <span> </span><a href="mailto:mail@joachim-breitner.de" style="color:blue;text-decoration:underline" target="_blank">mail@joachim-breitner.de</a><br> <span> </span><a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C0b9f9dd78f934d620c5e08d8e0c0012f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637506462581507230%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=gsdKkpp3AhJz2ins9uuctT%2FGf6rr2bScSHFWyX3jFhM%3D&reserved=0" style="color:blue;text-decoration:underline" target="_blank">http://www.joachim-breitner.de/</a><br><br><br>_______________________________________________<br>ghc-steering-committee mailing list<br><a href="mailto:ghc-steering-committee@haskell.org" style="color:blue;text-decoration:underline" target="_blank">ghc-steering-committee@haskell.org</a><br><a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7C0b9f9dd78f934d620c5e08d8e0c0012f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637506462581517226%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=BY04FgtL9RHpjI6frr%2BOYfxwPkW5yjN2DeRyv2JaKN4%3D&reserved=0" style="color:blue;text-decoration:underline" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><u></u><u></u></p></blockquote></div></div></div></div></blockquote></div></div></div></div></blockquote></div></blockquote></div></div></div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline">_______________________________________________</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline">ghc-steering-committee mailing list</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline"><a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a></span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline"><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a></span></div></blockquote></div><br></div></div></blockquote></div>