• bearophile <bearophileHUGS lycos.com> Jun 11 2011

bearophile <bearophileHUGS lycos.com> writes:

Kagamin:

 Won't this pollute everything with  trasparent annotations, because code
usually doesn't depend on pointer value so it would want to work on transparent
pointers.


Probably some compromise is better, that allows you to drop this annotation in
most situations where it's not necessary... I am not sure I am intelligent and
expert enough to design this yet. I am learning, but it's not easy stuff. A
brainstorm-style design may be needed :-)

Bye,
bearophile