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 <ben@well-typed.com>:
Sylvain Henry <hsyl20@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