OK, divide conquer. We seem to be spasming about this and trying to
talk about N things at once, so here's an issue summary. We're talking
about at least two separate cases, (1) inferring type where none has
been specified, and (2) coercing a typed value into another type.
Let's take these
Friday 14 March 2003 20:06, Michael Lazzaro wrote:
3) If an untyped var is used for a typed parameter, a simple
dataflow analysis is used to determine whether the compiler can
guarantee that, at that point, an untyped var will _always_
contain values of a known, specific type. If so, the type
Michael Lazzaro wrote:
3) If an untyped var is used for a typed parameter, a simple dataflow
analysis is used to determine whether the compiler can guarantee that,
at that point, an untyped var will _always_ contain values of a known,
specific type. If so, the type is inferred (silently or
