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)


Reply via email to