Well, the printed index is useful but leads to some confusion because it 
doesn't behave as a real index. It would be much better to have a real 
index. I believe there will be real indexes to increase speed, but Julia 
developers don't want to depend on them. Is that a correct assessment right 
now? It has been a while since those discussions took place.

Maybe another alternative would be to have the printed index as default and 
let the user remove them without requiring a key.

Reply via email to