Hi Eli,
Our main issue is that we cannot use anything that involves file-truename when we are handling server diagnostic events due to the method being too slow. We avoid calling file-truename successfully - it just took us a lot of iterations to end up with what we currently have.
> compare file names case-insensitively
Hm, we use it for hashtable keys, so I guess we can create ht with a custom hash/equal functions and avoid downcasing upfront. I will check if this works because it will certainly yield better code.
Thanks,
Ivan