unintern

ToC

Allegro CL

ANSI Common Lisp

11 Packages

11.2 Dictionary of Packages

11.2.15 unintern

Function

Syntax:

unintern symbol &optional package

generalized-boolean

Arguments and Values:

symbol - a symbol.

package - a package designator. The default is the current package.

generalized-boolean - a generalized boolean.

Description:

unintern removes symbol from package. If symbol is present in package, it is removed from package and also from package's shadowing symbols list if it is present there. If package is the home package for symbol, symbol is made to have no home package. Symbol may continue to be accessible in package by inheritance.

Use of unintern can result in a symbol that has no recorded home package, but that in fact is accessible in some package. Common Lisp does not check for this pathological case, and such symbols are always printed preceded by #:.

unintern returns true if it removes symbol, and nil otherwise.

Examples:

 (in-package "COMMON-LISP-USER")  #<PACKAGE "COMMON-LISP-USER">
 (setq temps-unpack (intern "UNPACK" (make-package 'temp)))   TEMP::UNPACK 
 (unintern temps-unpack 'temp)   T
 (find-symbol "UNPACK" 'temp)   NIL, NIL 
 temps-unpack  #:UNPACK

Side Effects:

unintern changes the state of the package system in such a way that the consistency rules do not hold across the change.

Affected By:

Current state of the package system.

Exceptional Situations:

Giving a shadowing symbol to unintern can uncover a name conflict that had previously been resolved by the shadowing. If package A uses packages B and C, A contains a shadowing symbol x, and B and C each contain external symbols named x, then removing the shadowing symbol x from A will reveal a name conflict between b:x and c:x if those two symbols are distinct. In this case unintern will signal an error.

See Also:

Section 11.1 Package Concepts

Allegro CL Implementation Details:

None.