[nicl] RFR: Undefined struct and void*

[Maurizio Cimadamore]

On 24/05/18 13:12, Maurizio Cimadamore wrote:
> In terms of the new implementation in the foreign branch - these 
> pointers do not have any LayoutType associated with them - so they're 
> much more similar to void* than the C syntax would suggest. I agree 
> that many C API do use this style in what Sundar calls poor-man OO 
> style (:-)), and that having a 'real' interfaace name improves 
> readability somewhat - but I also think that _not_ using real 
> interface names seems a more honest approach which more accurately 
> reflects what's under the hood. 
To summarize - I view an undefined struct in an header as a fancy way of 
doing a typedef over a void*. For typedefs, we currently generate 
annotations, so I think we should be consistent here?

Maurizio