TIP #288 Version 1.6: Allow "args" Anywhere in Procedure Formal Arguments

This is not necessarily the current version of this TIP.

Abstract

This TIP proposes to make args have its special meaning as a formal procedure argument anywhere in the argument list.

Rationale

Many commands, specially many of Tcl's built in commands, have their variadic arguments in the beginning of the argument list and their required arguments at the end. An example is [lsearch ?options? list string].

Writing tcl procedures in that style is currently a bit cumbersome since you need to do you own argument counting and assignment to variables from "args".

If "args" had its special meaning at any location in the argument list, it would help with such a task, and it would make things more consistent.

To get simple semantics, optional arguments are not allowed after "args". Optional arguments that precede "args" will be handled as before. This TIP does not, as of now, specify defaulted arguments directly preceding non-defaulte ones. This should be addressed in a separate TIP.

Specification

At most one proc argument may be named "args" and can be anywhere in the argument list. Arguments after "args" may not be optional. Arguments are assigned in the following order:

1. Assign arguments right of "args" from the right.

2. Assign arguments left of "args" from the left. Handling of defaulted parameters preceding "args" remains as it was (but disregarding the non-defaulted ones after "args").

3. Remaining arguments are assigned to "args".

Compatiblity

Currently "args" is allowed anywhere in the argument list, and becomes a normal variable if not last. Most scripts probably don't use this since it would be rather confusing, but it might exist.

All such occurrances would need to be fixed.

Detecting such scripts in an automated way would be simple and fixing them is trivial.

Examples

proc x {a args b} { puts "a=$a, args=$args, b=$b" }

x 1 2 ;# -> a=1, args=, b=2

x 1 2 3 ;# -> a=1, args=2, b=3

x 1 ;# -> error: wrong # args

should be "x a args b"

proc y {a {b x} args c} { ... }

y 1 2 3 ;# a=1 b=2 c=3 args is empty

proc z {a {b x} c args} { ... }

z 1 2 ;# -> error: wrong # args

should be "z a ?b? c args"

To change "z" is not covered by this TIP.

Copyright

This document has been placed in the public domain.

This is not necessarily the current version of this TIP.