TIP 276: Specify and Unify Variable Linking Commands

Login
Bounty program for improvements to Tcl and certain Tcl packages.
Tcl 2017 Conference, Houston/TX, US, Oct 16-20
Send your abstracts to tclconference@googlegroups.com
by Aug 21.
Author:         Miguel Sofer <msofer@users.sourceforge.net>
State:          Draft
Type:           Project
Vote:           Pending
Created:        01-Oct-2006
Post-History:   
Keywords:       Tcl,global,variable,upvar,namespace upvar
Tcl-Version:    8.7

Abstract

The purpose of this TIP is to simplify and clarify the semantics of the commands in Tcl that couple variables in different scopes together.

Rationale

This TIP proposes to specify and document the behaviour of the different variable linking commands in Tcl: global, variable, upvar and namespace upvar.

In particular, as many of these commands were initially designed to be mainly useful from within procedure bodies, the documentation does not specify their behaviour with respect to qualified variable names.

This TIP proposes to specify and document this behaviour, insuring that it is essentially the same in all these commands.

Current Situation

There have been a few bug reports concerning the behaviour of variable linking commands with respect to qualified variable names: 604226, 1274916, 1274918. Some are real bugs, some are just surprising but correct behaviour, some are surprising unspecified behaviour.

Within proc bodies all of these commands create local variables that are linked to original variables elsewhere (the following assumes that local is a non-qualified name):

One undocumented issue is what should happen when local is a qualified name.

Another issue is the behaviour of these commands when invoked outside of procedure bodies:

Proposal

This TIP proposes to unify the criteria, making all of these commands essentially implementable in Tcl from the most general, upvar. The behaviour should not depend on the commands being invoked within or outside of a procedure body.

In all of the following, it is an error for local to be a qualified variable name.

In all cases, attempting to link a variable to itself will be a no-op.

Compatibility

This TIP may cause breakage in some scripts relying on undocumented behaviour.

The specification changes for global and variable outside of proc bodies is almost certainly implementing what the programmer meant them to do, hence likely to fix more bugs than it causes.

Reference Implementation and Documentation

Forthcoming at SF.

Copyright

This document has been placed in the public domain.

History