<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Hi all,
<div class=""><br class="">
</div>
<div class="">Sorry for the delay - I’ve been moving house over the last fortnight, so I’ve been falling behind on my duties!</div>
<div class="">If I take silence to mean “no objections”, it sounds as though everyone with an opinion is in favour of this one; Joachim, are we OK to accept?</div>
<div class=""><br class="">
</div>
<div class="">Thanks,</div>
<div class="">Tom<br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 28 Apr 2021, at 19:12, Richard Eisenberg <<a href="mailto:rae@richarde.dev" class="">rae@richarde.dev</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
I don't personally understand the details behind the motivation, but I trust the people who have supported and will throw my lot in with them.
<div class=""><br class="">
</div>
<div class="">+1 from me.<br class="">
<div class=""><br class="">
<blockquote type="cite" class="">
<div class="">On Apr 28, 2021, at 11:08 AM, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" class="">arnaud.spiwack@tweag.io</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div dir="ltr" class="">
<div class="">It occurs to me that this OPAQUE keyword may be useful for vanilla GHC as well. GHC could provide trivial implementation of some primitive functions that it defines (such as the recently discussed `withDict` function) and use the OPAQUE keyword
to make sure that it can always substitute this function by its low-level implementation possibly even at the STG level if the primitive doesn't admit a Core implementation.</div>
<div class=""><br class="">
</div>
<div class="">I don't really have a strong opinion either way, but it sounds reasonable.<br class="">
</div>
</div>
<br class="">
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Tue, Apr 27, 2021 at 11:22 AM Tom Harding <<a href="mailto:tomjharding@live.co.uk" class="">tomjharding@live.co.uk</a>> wrote:<br class="">
</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;" class="">Hi all,
<div class=""><br class="">
</div>
<div class="">I’ve read the proposal: the change is well-motivated, and seems to solve a problem that doesn’t have another pre-existing ergonomic or reliable solution.</div>
<div class="">Given this, I recommend that we accept. Alejandro and Simon have already given their support; does anyone else have any strong opinions either way?</div>
<div class=""><br class="">
</div>
<div class="">Thanks,</div>
<div class="">Tom<br class="">
<div class=""><br class="">
<blockquote type="cite" class="">
<div class="">On 21 Apr 2021, at 20:54, Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank" class="">trupill@gmail.com</a>> wrote:</div>
<br class="">
<div class="">
<div class="">
<div dir="" class="">
<div dir="ltr" class="">That seems reasonable and with a direct application, so I’m in favor of acceptance.</div>
<div dir="ltr" class=""><br class="">
</div>
<div dir="ltr" class="">Alejandro<br class="">
<br class="">
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On 21 Apr 2021 at 11:07:14, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a>> wrote:<br class="">
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div class="">
<div class="">Tom, I'm in support of this. It's simple, useful, driven by a real application need, and easy to implement. (There a small patch that does it already.)<br class="">
<br class="">
Simon<br class="">
<br class="">
| -----Original Message-----<br class="">
| From: ghc-steering-committee <ghc-steering-committee-<br class="">
| <a href="mailto:bounces@haskell.org" target="_blank" class="">bounces@haskell.org</a>> On Behalf Of Joachim Breitner<br class="">
| Sent: 21 April 2021 07:40<br class="">
| To: ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a>><br class="">
| Subject: [ghc-steering-committee] Please review #415: OPAQUE pragma,<br class="">
| Shepherd: Tom<br class="">
| <br class="">
| Dear Committe,<br class="">
| <br class="">
| OPAQUE pragma<br class="">
| has been proposed by Christiaan Baaij<br class="">
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith" target="_blank" class="">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith</a><br class="">
| <a href="http://ub.com/" target="_blank" class="">ub.com</a>%2Fghc-proposals%2Fghc-<br class="">
| proposals%2Fpull%2F415&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com/" target="_blank" class="">40microsoft.com</a>%7C06<br class="">
| 54777eb2f74eeff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%<br class="">
| 7C0%7C637545841499459221%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiL<br class="">
| CJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=wm44ph5<br class="">
| Int4gqu6JKkedaAKqE0DJOcqjqK3%2BT%2BHEXcA%3D&reserved=0<br class="">
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith" target="_blank" class="">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith</a><br class="">
| <a href="http://ub.com/" target="_blank" class="">ub.com</a>%2Fchristiaanb%2Fghc-<br class="">
| proposals%2Fblob%2Fmaster%2Fproposals%2F0000-opaque-<br class="">
| pragma.md&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com/" target="_blank" class="">40microsoft.com</a>%7C0654777eb2f74ee<br class="">
| ff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6375458<br class="">
| 41499459221%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz<br class="">
| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=MD9R%2FGRTR8j8blj%2F<br class="">
| o2cCc6JFpbgPiGakqGkZoSoQkeg%3D&reserved=0<br class="">
| <br class="">
| <br class="">
| I'll propose Tom as the shepherd.<br class="">
| <br class="">
| Please guide us to a conclusion as outlined in<br class="">
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith" target="_blank" class="">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith</a><br class="">
| <a href="http://ub.com/" target="_blank" class="">ub.com</a>%2Fghc-proposals%2Fghc-proposals%23committee-<br class="">
| process&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com/" target="_blank" class="">40microsoft.com</a>%7C0654777eb2f74eeff<br class="">
| 5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637545841<br class="">
| 499459221%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIi<br class="">
| LCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=VEiKysJyP4hRJ3J%2FIAQ0<br class="">
| k2t9qm7qhreZF%2FMfA31Ct1k%3D&reserved=0<br class="">
| <br class="">
| Thanks,<br class="">
| Joachim<br class="">
| --<br class="">
| --<br class="">
| Joachim Breitner<br class="">
| <a href="mailto:mail@joachim-breitner.de" target="_blank" class="">mail@joachim-breitner.de</a><br class="">
| <br class="">
| <a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j" target="_blank" class="">https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j</a><br class="">
| oachim-<br class="">
| <a href="http://breitner.de/" target="_blank" class="">breitner.de</a>%2F&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com/" target="_blank" class="">40microsoft.com</a>%7C0654777eb2<br class="">
| f74eeff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63<br class="">
| 7545841499469214%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV<br class="">
| 2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=zURoYM0rQvnF%2F<br class="">
| j0EngntoTDt2cG7aSPEResXA4i6m%2FE%3D&reserved=0<br class="">
| <br class="">
| <br class="">
| _______________________________________________<br class="">
| ghc-steering-committee mailing list<br class="">
| <a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail" target="_blank" class="">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail</a><br class="">
| .<a href="http://haskell.org/" target="_blank" class="">haskell.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-<br class="">
| committee&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com/" target="_blank" class="">40microsoft.com</a>%7C0654777eb2f74ee<br class="">
| ff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6375458<br class="">
| 41499469214%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz<br class="">
| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TEQsWPaCoHIvcGy%2FH1<br class="">
| te1tmgRGe%2BHeYwhU1FcoZ4TVM%3D&reserved=0<br class="">
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</div>
</blockquote>
</div>
<br class="">
</div>
</div>
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</blockquote>
</div>
_______________________________________________<br class="">
ghc-steering-committee mailing list<br class="">
<a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a><br class="">
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" class="">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br class="">
</div>
</blockquote>
</div>
<br class="">
</div>
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</body>
</html>