Walter Bright wrote: > Currently, the type is determined by the type of the first element and > the rest are implicitly cast to it. > > I propose changing it to being the type produced by applying the ?: > logic repeatedly to all the elements. second and third arguments are converted to a common type. Go for it.