Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Improve opaque pointers. #66
This PR makes opaque types unique, and fixes several problems revealed by this.
This technique is very common. See https://en.wikipedia.org/wiki/Opaque_pointer for details.
For users, this change is beneficial in the following situation:
It is because any pointer type (i.e.,