support for named trigger arguments

[avieth]

This can be useful when, for instance, you want to give a header file to a developer who doesn't care that you generated your C from copilot.

[avieth]

Copilot-Language/copilot-core#18

[fdedden]

Thanks for your suggestion. Although Copilot is mainly designed to hook into already defined C functions, being able to specify names for these arguments will never hurt, and make the written code more self-explanatory.

Traceability (that is being able to trace parts of the output C to the original Haskell definition) is very much related to this issue, and something we want to improve in the future. Giving names to arguments (or preferably streams in general) would definitely aid in this.

I will discuss your idea with the other maintainers in our next meeting.

[fdedden]

During our most recent meeting, we discussed the idea of having named arguments and your approach. We like the idea of being able to give names to arguments, but we really prefer this to be a thing for streams, and not just trigger arguments. We decided that we want to look for a solution binds names to streams.

I will close this pull request for now, and move the (possible) discussion to a new issue which will refer to this pull request.