On May 28, 2008, at 19:48:16, Peter Hosey wrote: > Shouldn't this have resulted in a type-mismatch error? Warning, I meant. Shouldn't this have resulted in a type-mismatch warning?