Re: Do shorthands break basic tooling (tags, grep, etc)? (was Re: Shorthands have landed on master)

[Gregory Heytings]

> The system is behaving as designed.

And the question is: was it properly designed?

> That's what makes Shorthands a namespacing system (contrary to what some 
> mistaken minds are keen on insiting): [A] there is more than one way to 
> refer to the same thing _depending_ on context and [B] the _same name_ 
> may refer to different tihngs, depending on context.

Interesting.  A few days ago you still believed that name spaces are [A], 
and one of the "mistaken minds" told you that they are not [A], but [B]. 
Now you believe that they are both [A] and [B].  Perhaps in a week you'll 
realize that they are [B], not [A].