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 http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs