On 8/8/06, Yuval Kogman <[EMAIL PROTECTED]> wrote:
It's much more relevant for:fun( $x.foo :: Bar ); in order to annotate the return type for a call's context even if the 'fun' function's signature accepts Any.
Touche, this is independent of type inference. I'm not up-to-date on coersion; last I checked it was hand-wavily defined. If its present definition is not already contradicting this, shouldn't it impose context to its left side? The situation where you want the function to ignore context and coerce the result looks esoteric on the surface, so making "as" impose context seems like a good move. The esoteric behavior can be regained in an esoteric way: fun(($x.foo as Any) as Bar) Luke
