opEquals/opCmp returning other types

[David Nadlinger]

On Thursday, 22 March 2012 at 10:06:46 UTC, Don Clugston wrote:
> Indeed, it may be possible to use a new-style delegate literal 
> instead of a string, for defining your DSL.
> My point was that we don't need to be able to return arbitrary 
> types from operators. Instead, we might need some syntax sugar 
> or library support for getting syntax trees from expressions.

And how exactly do you plan to implement _library_ support for 
that in the case of expressions containing comparison or equality 
operators?

David