Great. Is there a clearly-articulated design on a wiki page? Simon
| -----Original Message----- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of | Sylvain Henry | Sent: 11 March 2016 20:59 | To: Ben Gamari <b...@well-typed.com> | Cc: ghc-devs@haskell.org | Subject: Re: Fwd: Reducing boilerplate | | Hi Ben, | | Thanks for your answer. No problem, I can wait. | | With this proposal, we would have a really nice story about doing FFI | with GHC. I've been playing with DataKinds and other type-related | extensions for a few days (thanks to everyone involved in implementing | them!) and this extension would remove the last glitch: | https://github.com/hsyl20/ViperVM/blob/master/WritingBindings.md | Btw, the Vector part is inspired from what you did here: | https://github.com/expipiplus1/vulkan/pull/1 (thanks!) | | Cheers, | Sylvain | | | 2016-03-11 16:51 GMT+01:00 Ben Gamari <b...@well-typed.com>: | > Sylvain Henry <hsy...@gmail.com> writes: | > | >> Hi devs, | >> | >> I would like to add the support for the following automatic | >> instance-deriving extension: | >> | > Hi Sylvain, | > | > I suspect the person most qualified to answer these questions will be | > Simon who is currently in the middle of paper-writing season. | > Consequently, it may be a while until he is able to answer. That | being | > said, I'm quite happy to hear that someone is thinking about these | > proposals. | > | > Cheers, | > | > - Ben | > | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.ha | skell.org%2fcgi-bin%2fmailman%2flistinfo%2fghc- | devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c8bc41138302f4cc4 | 696e08d349efffd6%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=hSoMQAHQ8 | E5aWPa%2fK8FXsKcKoUUn7Xv6%2ftpaEX0%2b01M%3d _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs