On 8/17/15 2:47 PM, Dmitry Olshansky wrote:

Actually one can combine the two:
- use integer type tag for everything built-in
- use pointer tag for what is not

But a pointer tag can do everything that an integer tag does. -- Andrei

Reply via email to