On 23-02 21:19, Juha Heinanen wrote:
Jan Janak writes:
OK, so if the script writer writes something
like:
switch((a)from.uri.user) {
case "abc": ...
case 100: ...
case "foo" ..
}
i my opinion it is unnecessary to allow such a mix of case label types.
reporting an error is an appropriate thing to do.
Yeah, I admit that I might have been wrong, reporting an error seems
appropriate. Andrei's last reply on this thread convinced me.
Jan.