Common Lisp package code and symbol conversions Ron Fischer [This document is for developers only. It is not intended to be part of any external software release.] The package code can behave mighty strangely if not operated "just so." Please read this document carefully. Loading The package code is now loaded in the full.sysout. It lives in {Eris}Library> on CMLSYMBOL.DCOM CMLPACKAGE.DCOM Initializing Packages, as you might expect, must be bootstrapped carefully. At its simplest, initialization is accomplished by calling just one function: (package-init t) simple startup (package-init &optional (convert? nil)) [Function] Clear, make structures of, initialize & convert symbols (if convert? is t) to, and enable use of the symbol package system. On a DandeTiger this takes about 25 minutes. The bootstrap actually takes place in three steps. The first one creates all the package structure needed. The second passes over all the atoms in the sysout to "tag" them with packages. The third enables the package world. step 1: make system packages (package-make) [Function] Create, but do not fill with symbols, the base packages that need to exist. Also enables the package qualifier characters in the readtables and saves the old definitions of \READ.SYMBOL and \MKATOM. step 2: convert existing symbols (package-hierarchy-init &optional (convert? nil)) [Function] Fill all the initial system packages with their proper symbols, moving litatoms into appropriate places and such. If convert? is non-nil then symbols whose pnames have fake package qualifiers, like cl:length, will be converted IN PLACE to remove the qualifier. If conversion takes place you cannot fully disable the package system. step 3: enable package system, remove old hacks The third part of the bootstrap enables the use of packages by the reader, printer and friends. This involves redefining \MKATOM and \READ.SYMBOL. Also, if *package* is set to nil things will not go well. Please use package-enable and package-disable to start and stop, as these fellows know what they're doing. These faithful functions are availible on a menu by calling package-menu. (package-enable &optional (package *interlisp-package*)) [Function] Turn on the package system, making package the current one and redefining \READ.SYMBOL and \MKATOM appropriatly. (package-disable) [Function] Turn off the package system and restore the old definitions of \READ.SYMBOL and \MKATOM. After disabling, symbols interned under the package system will not be eq to symbols of the same name reread. (package-menu) [Function] Make a menu that allows turning the package system on or off without using the reader. (package-hacks-disable) [Function] Eliminates package simulation hacks when loading over an old sysout. These hacks cannot be re-enabled. (pkgconvert-enable) [Function] Enables a change in the behavior of the function \\READ.SYMBOL (using the function check-symbol-namestring), which converts symbols being read based on their "looking like" a pacakge prefixed symbol name. "Looking like" is defined by a table in the global litatom-package-conversion-table. litatom-package-conversion-table [Variable] a global variable containing a list of clauses used by the functions package-hierarchy-init and check-symbol-namestring to determine if a symbol "looks like" is trying to be package qualified. The list contains clauses with the following structure: (prefix-string list-of-exception-strings package-name-string where) prefix-string - string containing the prefix of symbols which this clause converts, eg "CL:" list-of-exception-strings - list of strings naming symbols which this clause should leave alone, eg ("CL:FLG") package-name-string - string containing the name of the package that symbols converted by this clause should wind up in, eg "LISP" where - either :INTERNAL or :EXTERNAL, indicates whether symbols converted by this clause should be external or internal in their package. The initial value of this variable is: ( ("CL:" ("CL:FLG" "CL:MAKE-SYMBOL" "CL:COPY-SYMBOL" "CL:INTERN" "CL:MAKE-KEYWORD" "CL:GENTEMP" "CL:KEYWORDP") "LISP" :external) (":" nil "KEYWORD" :external) ) Notes & cautions The read functions may return strings if you use package qualifier syntax and *package* does not contain a package. This is part of debugging code that Bill put into them. Beware especially of making *package* NIL without calling package-disable. The list of conversion clauses is searched linearly, hence longer prefixes should come before shorter ones with the same chars in them, ie put a clause for "CL::" before one for "CL:". Missing features Cannot be placed early into loadup due to dependancies on CL files. Apropos (and other Interlisp litatom functions) are not redefined to operate with packages. Performance There have been some small improvements since these timings were taken. FILEDATES : (("21-Jul-86 14:12:17" . {ERIS}CML>LAB>CMLPACKAGES.;129)) Testing symbol / litatom creation. Old array package. There are 6 random symbols made (new ones). intern is a factor of 16 slower, conses heavily, makes 3 strings for each call. 85#(TIMEALL (TIME.MKATOM)) Elapsed Time = .336 seconds SWAP time = .32 seconds CPU Time = .016 seconds PAGEFAULTS = 8 LISTP 9 86#(TIMEALL (TIME.INTERN)) Elapsed Time = .449 seconds SWAP time = .188 seconds CPU Time = .261 seconds PAGEFAULTS = 5 LISTP STRINGP 423 18 Breakdown spy graph follows: ÓÛÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿýÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàßïÿþÞƒïÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÜÅvvÎï~ìïÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÛm¶ÖïoÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÜm¬>Úï~í¯ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÛmÝþÜï~íÏÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàØ¥Þ6Þïíïÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿÿÿ÷ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÀ`À`Àÿÿÿÿÿÿð?ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÀÿÿÿÿÿÿð?ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÀ`00`À~ zLü°?œá":>“É3ð ÆD—!àÀb CR$°1R’¢ pÔ‰-K!)JÔ¡`Àb ˆCÐ$°1R’¢ ðô /CJô¡`Àä ˆsÖ'¿ÿÿÿò\â•é¼ó /3ÿÿÿÿ hÊô¡àÀd BÒ$°2ô§È °°‰+ (_´¡`Àh ˆBÒ$°42”H 0´‰+K@ )"Q´¡`Àÿÿÿÿÿÿÿÿà0h<zN$°42”H:>“É3@æ"Q—=àÀÿÿÿÿÿÿÿÿàÀ`00`À``00`À`ÿÿÿÿÿÿð?ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÀ`ÿÿÿÿÿÿð?ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÀ```À`€`À``À``ÀcNpŒxÈ`0ÿÿÿÿÿÿÿüÿÿÿÿÿÿÀ`À”€©HŽå(`ÀÿÿÿÿÿÿÿüÿÿÿÿÿÿÀ`À€©Hå(c`À`À!©KÌUy(l~#2‘#ìÀŒ™þ:LÀ`À@ùH%e(àb£¹JÒ·@Ý$IRÀ`À„H$e(lÿ€b#ùJò¿@þ IÐÀ`Àóp$xÏcä^Jò«Ïÿÿÿü€®NÖÀ`À`Àd‰YJ·ë€JÒÀ`Çÿÿÿÿÿÿÿ`0h‰J´c Œ¤IÒÀ`Çÿÿÿÿÿÿÿ#`h 3À”cì ŒXI:NÀ`Æ#``À`ÆC`€`À`ÆC``ÿÿÿÿÿÿÿüÿÿÿÿÿÿÀ`Æƒ`ÿÿÿÿÿÿÿüÿÿÿÿÿÿÀ`Æƒ`DDDD`Æ`DDDD`ÆÿÿÿÿÿÿÿÿàÀ`Æÿÿÿÿÿÿÿÿà0=`ÆB¡´`ÆB¡ô`Æ„9P`Æ!P`ÆH¡`ÆH½`Æ `Æ `Æ@DDDD`Æ@DDDD`Æ€`Æ€ÿÿÿü`ÆÿÿÿüDDDD@`Æ@`ÆÿÿÿÿÿþÿÿÿÿÿÿÿÿÿÿüÀ'=ìÀ8Æ`Æÿÿÿÿÿþÿÿÿÿÿÿÿÿÿÿü@T¡@‚¥)`Æ@T¡@B¥@`Æ<€W9Ïÿÿÿô€B¹m@`ÆÌ€ý!€'é)`Æ Œ¡$e)`Æ Œ½dæ@`Æp@`Æ €`Æ@ÿÿÿü`Æ@ÿÿÿüDDDD@`Æ€``Æ€€`ÆcÉqžfÆ>gÙÀ2\g˜`Æ”)JP–)0‘% JR”$L0`Æ J–+p% BR„%\ÀÿÿÿÿÿÿÀDDDDD@`Æ&€Éqœ—ÿÿÿþM|%Ï2\g$ïÿÿÿÿÿÿÀ`Æ3€)HP–)P%@ R%\ÀÀ`ÆÃ”)JP–)Ð‘% JR”$L8À@`ÆcÆqžfÆža 1œg˜À@`Æ0F€À`ÆÀ&pÀ`ÆÀ@`Æ 0€À@`ÆF0—ýÉ!À` ŒïúRÀÀ@œc`ÆÉHÑ!-NR¥BZÀ% AR”`ÆKXñ!/WpB¡B^ÀD !R…€`þMhñ9Ï;ÀÌ„™Âr^ÀH@!\¶€`ÆIH±!KW@=ÅBVÿÿÿÿ ô”`ÆIH±!+@eBVÀ! 2”`Ææ0‘=) ÌYâA’À|À 2s`Æ À@`ÆÿÿÿÿÿþÿÿÿÿÿÿÿÿÿÿüÀ`ÆÿÿÿÿÿþÿÿÿÿÿÿÿÿÿÿüÀ`ÆÀ@`ÆÀ@`ÆÀ`ÆÀ`ÆÀ@`ÆÀ@`ÆÿÿÿÿÿÿÀ`Æ€ÿÿÿÿÿÿÀ`Æ€`Æ@`Æ@`Æ `Æ ÿÿÿÿÿøDD`ÆÿÿÿÿÿøDD`Æ`Æ`Æ`ÆžI y˜<`Æ U BX `ÆœÕ B8`Æ‚Õ q˜`Æ ªªªª€ªªªªªªª¨‚¿ @_ÿÿÿá`Æ€UUUUUUUUUUUT,’£ BX$`Æ€ ªªªª€ªªªªªªª¨MÌ#æy˜˜`Æ@UUUUUUUUUUUTŒ`Æ@ € (`Æ @`Æ ÿÿÿÿÿÿÿÿÿø € (`Æÿÿÿÿÿÿÿÿÿø@`Æ € ( ÿÿÿÿÿøDD`Æ@@ÿÿÿÿÿø`Æ € (€ ªªªªª `Æ@UUUUUP`Æ € ( ªªªªª `Æ@UUUUUP`Æ € ( `Æ@ P`Æƒ € (@ `Æƒ@€P`ÆC € ( `ÆC@P`Æ# € ( `Æ#@P`Æ € (0 `ÇÿÿÿÿÿÿÿcçK€dcÆ@fžF`?ÉI„ÿ”@P`Çÿÿÿÿÿÿÿ”j@”w)@˜ ©PÚ€ª )jJ$(€ `Àz@„)B¸¨PýJ€ )z $P`À#Âz^b«ÉAßÿÿÿë.œªÿÿÿþ²à Éz '* `ÀZ@+)B¸ù_ IZ$P`À”Z@‘#)@˜ )PŠ€¢ )ZQ$(€ `ÀcK€a#Æx&^B` &I‘'”`P`À € ( `À@P`À € ( `À@P`À € ( `À@ÀP`À € ( `À@P`À € ( `À@P`À € ( `À@P`À € (À `À@ P`À € ( `À@P`Àÿÿÿÿÿÿÿÿÿø € ( `Àÿÿÿÿÿÿÿÿÿø@P`À € (ŠóqŒ `À@EJRP`À ªªªª€ªªªªªªª¨*…J `ÀUUUUUUUUUUUT'…rÚP`À ªªªª€ªªªªªªª¨ $€OÒR `ÀUUUUUUUUUUUTD€HÊRP`À C(ÉÌ `À P`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À `ÀP`À ªªªªª `ÀUUUUUP`À ªªªªª `ÀUUUUUP`À`À`ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿàÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿà.ø.HH((TERMINAL TIMESROMAN TIMESROMAN TIMESROMAN GACHA 0in@ Ž'<aãÈ!1vÐ0z &‰8J?J%Xi1 — ú JK i f'A2 N s œD\HPµ"""44"""3`BMOBJ.GETFN3I‚0zº