Endilll wrote:

> e.g. Python int maps to both c_int and c_uint

Good example, thank you. So the crux of the issue is that we need to 
reconstruct one kind of function prototype from another. On the one hand, type 
annotations are consumed (mostly) statically, while ctypes prototype is 
consumed dynamically, so it makes sense to write in the source what is consumed 
statically. But ctypes prototypes has more information, which we can't recover 
from type annotations.

Sadness

https://github.com/llvm/llvm-project/pull/142120
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to