PR# 19568 Better search facility for class operators (ALIAS)

I have just spent a considerable time tracking down information on the tilde operator for STRINGs. 
(https://groups.google.com/d/msg/eiffel-users/_1iBRpOEXko/XB60usgIDwAJ)

My wish would be that EiffelStudio has a way of presenting class operators to the developer and also selecting them in the source code for looking them up like named features (click-and-drop).

My choice would be the code completion facility, displaying an ALIAS operator next to the base feature information.

Possibly have a separate pane to toggle for operators (or more general any ALIAS ?) in the list of like the Templates / Features / Symbols in the code completion functionality.

Note: a documentation request on operators has been submitted separately to the editors of Eiffel-dot-org.

______________________
R.

Following the replies on the Google mailing list I was wondering about this:

The tilde operator may conceptually be allocated to ANY but there is no code that explains it as  the_better_is_equal alias "~"

Thinking of it, the equal operator "=" is neither. But within computer languages the equal sign seems to be self evident, while its sibling the tilde is a newcomer.

In ANY is_equal is defines as an external "built_in". 


Please consider:

Make a formal definition of the implementation in Eiffel syntax for equal operators "=" and "~"  in class ANY. It seems obvious that they will also have a body of external "built_in".

I understand that the class code for ANY will be considered frozen until a future major release happens. But it would be nice to at least see some comment lines that would show up in a text search for this pair of equal operators. 

_______________
R.