[ghc-steering-committee] Please review #415: OPAQUE pragma, Shepherd: Tom

[Spiwack, Arnaud]

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.

I don't really have a strong opinion either way, but it sounds reasonable.

On Tue, Apr 27, 2021 at 11:22 AM Tom Harding <tomjharding at live.co.uk> wrote:

> Hi all,
>
> 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.
> Given this, I recommend that we accept. Alejandro and Simon have already
> given their support; does anyone else have any strong opinions either way?
>
> Thanks,
> Tom
>
> On 21 Apr 2021, at 20:54, Alejandro Serrano Mena <trupill at gmail.com>
> wrote:
>
> That seems reasonable and with a direct application, so I’m in favor of
> acceptance.
>
> Alejandro
>
> On 21 Apr 2021 at 11:07:14, Simon Peyton Jones via ghc-steering-committee <
> ghc-steering-committee at haskell.org> wrote:
>
>> 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.)
>>
>> Simon
>>
>> |  -----Original Message-----
>> |  From: ghc-steering-committee <ghc-steering-committee-
>> |  bounces at haskell.org> On Behalf Of Joachim Breitner
>> |  Sent: 21 April 2021 07:40
>> |  To: ghc-steering-committee <ghc-steering-committee at haskell.org>
>> |  Subject: [ghc-steering-committee] Please review #415: OPAQUE pragma,
>> |  Shepherd: Tom
>> |
>> |  Dear Committe,
>> |
>> |  OPAQUE pragma
>> |  has been proposed by Christiaan Baaij
>> |  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
>> |  ub.com%2Fghc-proposals%2Fghc-
>> |  proposals%2Fpull%2F415&data=04%7C01%7Csimonpj%40microsoft.com%7C06
>> |  54777eb2f74eeff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%
>> |  7C0%7C637545841499459221%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiL
>> |  CJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=wm44ph5
>> |  Int4gqu6JKkedaAKqE0DJOcqjqK3%2BT%2BHEXcA%3D&reserved=0
>> |  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
>> |  ub.com%2Fchristiaanb%2Fghc-
>> |  proposals%2Fblob%2Fmaster%2Fproposals%2F0000-opaque-
>> |  pragma.md&data=04%7C01%7Csimonpj%40microsoft.com%7C0654777eb2f74ee
>> |  ff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6375458
>> |  41499459221%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz
>> |  IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=MD9R%2FGRTR8j8blj%2F
>> |  o2cCc6JFpbgPiGakqGkZoSoQkeg%3D&reserved=0
>> |
>> |
>> |  I'll propose Tom as the shepherd.
>> |
>> |  Please guide us to a conclusion as outlined in
>> |  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
>> |  ub.com%2Fghc-proposals%2Fghc-proposals%23committee-
>> |  process&data=04%7C01%7Csimonpj%40microsoft.com%7C0654777eb2f74eeff
>> |  5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637545841
>> |  499459221%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIi
>> |  LCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=VEiKysJyP4hRJ3J%2FIAQ0
>> |  k2t9qm7qhreZF%2FMfA31Ct1k%3D&reserved=0
>> |
>> |  Thanks,
>> |  Joachim
>> |  --
>> |  --
>> |  Joachim Breitner
>> |    mail at joachim-breitner.de
>> |
>> |  https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j
>> |  oachim-
>> |  breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C0654777eb2
>> |  f74eeff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63
>> |  7545841499469214%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV
>> |  2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=zURoYM0rQvnF%2F
>> |  j0EngntoTDt2cG7aSPEResXA4i6m%2FE%3D&reserved=0
>> |
>> |
>> |  _______________________________________________
>> |  ghc-steering-committee mailing list
>> |  ghc-steering-committee at haskell.org
>> |  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%7C0654777eb2f74ee
>> |  ff5df08d904906a19%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6375458
>> |  41499469214%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz
>> |  IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TEQsWPaCoHIvcGy%2FH1
>> |  te1tmgRGe%2BHeYwhU1FcoZ4TVM%3D&reserved=0
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210428/a41766c6/attachment.html>