Andrea Fontana:

why not a.length == 0 ?

a.length == 0 is OK of course, it's the same thing as writing a.empty.

Bye,
bearophile

Reply via email to