<div dir="ltr">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.<div><br></div><div>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.</div><div><br></div><div>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.</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 Thu, Feb 18, 2021 at 2:32 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</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">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 <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>
-- <br>
Joachim Breitner<br>
<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
<a href="http://www.joachim-breitner.de/" rel="noreferrer" 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" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>