Hello, i am interested in writing an automatic binding generator for idris2. Such a tool would need to declare c type signatures, which it can get from c2ffi , however it would also need to generate c code for wrapper code, as idris2 ffi only supports a subset of c calling conventions and types.
My question is whether this tool could be extended to not only produce json from c code, but the opposite, produce c code from json, to make it easier to generate c code from other languages
Hello, i am interested in writing an automatic binding generator for idris2. Such a tool would need to declare c type signatures, which it can get from c2ffi , however it would also need to generate c code for wrapper code, as idris2 ffi only supports a subset of c calling conventions and types.
My question is whether this tool could be extended to not only produce json from c code, but the opposite, produce c code from json, to make it easier to generate c code from other languages