diff options
| -rw-r--r-- | ChangeLog | 15 | ||||
| -rw-r--r-- | RELNOTES | 69 | ||||
| -rw-r--r-- | eval.c | 3 | ||||
| -rw-r--r-- | lib.c | 34 | ||||
| -rw-r--r-- | lib.h | 3 | ||||
| -rw-r--r-- | txr.1 | 210 |
6 files changed, 330 insertions, 4 deletions
@@ -1,3 +1,18 @@ +2013-05-14 Kaz Kylheku <kaz@kylheku.com> + + * RELNOTES: Updated in preparation for release. + + * eval.c (eval_init): Expose delete-package, rehome-sym + and packagep. + + * lib.c (make_package, intern): use ~s formatting for package name in + error message. + (packagep, delete_package, rehome_sym): New functions. + + * lib.h (packagep, delete_package, rehome_sym): Declared. + + * txr.1: Documented process functions and packages. + 2013-01-11 Kaz Kylheku <kaz@kylheku.com> * eval.c (eval_init): New instrinsic function iffi registered. @@ -1,3 +1,72 @@ + TXR 66 + 2013-05-xx + + + Features + + - Documentation completely filled in. + + - Added specfile for RPM builds. + + - @(repeat) introduced as shorthand for @(collect :vars nil). + + - New open-command and open-process functions. The open-pipe + function becomes deprecated. + + - New multi-sort function for sorting two or more lists + at the same time as if they were columns of a table. + + - assq and aconsq functions are renamed to assql and + aconsql becuse they use eql equality, not eq. + + - New prop function for property list lookup. + + - New stat function for information about files. + + - New functions in hashing library: + - Copying hashes: make-similar-hash, copy-hash + - Set operations: hash-uni, hash-diff, hash-isec. + + - Gapingly missing hexadecimal integer constants have been + implemented. + + - New bit operation functions that work with TXR's arbitrary precision + integers: loand, logior, loxor, lognot, logtest, ash. + + - Test form in for loop can be omitted. + + - New package-related functions. + + Bugs + + - Fixed broken (+ <fixnum> <char>) case in addition. + This fixes the range and range* functions too. + + - Fixed nonworking building in a separate directory. + + - Fixed broken eval function. + + - Bugfix in form expander's handling of regular expression + syntax, causing the (set ...) notation for character + sets being mistaken for the (set ...) assignment operator. + + - Bugfix in format: apply field formatting to argument + not only if a nonzero with has been specified, but also + if a precision has been specified. + + - Bugfix in format: ~s on a floating point number now + always shows .0 except when a precision is given, + and it is zero. + + - Fixed broken @(last) clause processing of @(collect), + int he case when the last material matches at the end of a stream. + + - Fixed certain function applications not being able to + call functions that have optional arguments with + fewer than + + + TXR 65 2012-04-20 @@ -2342,10 +2342,13 @@ void eval_init(void) reg_fun(intern(lit("gensym"), user_package), func_n0v(gensymv)); reg_fun(intern(lit("make-package"), user_package), func_n1(make_package)); reg_fun(intern(lit("find-package"), user_package), func_n1(find_package)); + reg_fun(intern(lit("delete-package"), user_package), func_n1(delete_package)); reg_fun(intern(lit("intern"), user_package), func_n2o(intern, 1)); + reg_fun(intern(lit("rehome-sym"), user_package), func_n2o(rehome_sym, 1)); reg_fun(intern(lit("symbolp"), user_package), func_n1(symbolp)); reg_fun(intern(lit("symbol-name"), user_package), func_n1(symbol_name)); reg_fun(intern(lit("symbol-package"), user_package), func_n1(symbol_package)); + reg_fun(intern(lit("packagep"), user_package), func_n1(packagep)); reg_fun(intern(lit("keywordp"), user_package), func_n1(keywordp)); reg_fun(intern(lit("mkstring"), user_package), func_n2(mkstring)); @@ -2360,7 +2360,7 @@ val gensymv(val args) val make_package(val name) { if (find_package(name)) { - uw_throwf(error_s, lit("make_package: ~a exists already"), name, nao); + uw_throwf(error_s, lit("make_package: ~s exists already"), name, nao); } else { val obj = make_obj(); obj->pk.type = PKG; @@ -2372,11 +2372,29 @@ val make_package(val name) } } +val packagep(val obj) +{ + return type(obj) == PKG ? t : nil; +} + val find_package(val name) { return cdr(assoc(name, packages)); } +val delete_package(val package) +{ + if (stringp(package)) { + package = find_package(package); + if (!package) + uw_throwf(error_s, lit("delete-package: no such package: ~s"), package, nao); + } + + type_check (package, PKG); + packages = alist_nremove(packages, package->pk.name); + return nil; +} + val intern(val str, val package) { val new_p; @@ -2387,7 +2405,7 @@ val intern(val str, val package) } else if (stringp(package)) { package = find_package(str); if (!package) - uw_throwf(error_s, lit("make_package: ~a exists already"), str, nao); + uw_throwf(error_s, lit("intern: symbol ~s exists already"), str, nao); } type_check (package, PKG); @@ -2403,10 +2421,20 @@ val intern(val str, val package) } } -static val rehome_sym(val sym, val package) +val rehome_sym(val sym, val package) { if (!sym) return nil; + + if (nullp(package)) { + package = user_package; + } else if (stringp(package)) { + val p = find_package(package); + if (!p) + uw_throwf(error_s, lit("rehome-sym: no such package: ~s"), package, nao); + package = p; + } + type_check (package, PKG); type_check (sym, SYM); @@ -536,8 +536,11 @@ val make_sym(val name); val gensym(val prefix); val gensymv(val args); val make_package(val name); +val packagep(val obj); val find_package(val name); +val delete_package(val package); val intern(val str, val package); +val rehome_sym(val sym, val package); val symbolp(val sym); val symbol_name(val sym); val symbol_package(val sym); @@ -9149,7 +9149,7 @@ Syntax: Description: These functions each compute an integer hash value from the internal -representation of <object>, which satisifes the following properties. +representation of <object>, which satisfies the following properties. If two objects A and B are the same under the eql function, then (hash-eql A) and (hash-eql B) produce the same integer hash value. Similarly, if two objects A and B are the same under the equal function, then (hash-equal @@ -9913,26 +9913,234 @@ are invoked on it. .SS Functions open-command, open-process +.TP +Syntax: + + (open-command <system-command> <mode-string>) + (open-process <command> <mode-string> <argument-strings>) + +.TP +Description: + +These functions spawn external programs which execute concurrently +with the TXR program. Both functions return a unidirectional stream for +communicating with these programs: either an output stream, or an input +stream, depending on the contents of <mode-string>. + +The open-command function accepts, via the <system-command> string parameter, a +system command, which is in a system-dependent syntax. On a POSIX system, this +would be in the POSIX Shell Command Language. + +The open-process function specifies a program to invoke via the <command> +argument. This is subject the the operating system's search strategy. +On POSIX systems, if it is an absolute or relative path, it is treated as +such, but if it is a simple base name, then it is subject to searching +via the components of the PATH environment variable. + +The <mode-string> argument is compatible with the convention used by the POSIX +popen function. + +The <argument-strings> argument is a list of strings which specifies additional +optional arguments to be passed passed to the program. The <command> argument +becomes the first argument, and <argument-strings> become the second and +subsequent arguments. + +If a coprocess is open for writing (<mode-string> is specified as "w"), then +writing on the returned stream feeds input to that program's standard input +file descriptor. Indicating the end of input is performed by closing the +stream. + +If a coprocess is open for reading (<mode-string> is specified as "r"), then +the program's output can be gathered by reading from the returned stream. +When the program finishes output, it will close the stream, which can be +detected as normal end of data. + +If a coprocess terminates abnormally or unsuccessfully, an exception is raised. + .SH SYMBOLS AND PACKAGES +A package is an object which serves as a container of symbols. + +A symbol which exists inside a package is said to be interned in that package. +A symbol can be interned in at most one package at a time. + +string, but not necessarily unique. A symbol name is unique within a package, +however: two symbols cannot be in the same package if they have the same name. +Moreover, a symbol cannot exist in more than one package at at time, although +it can be relocated from one package to antoher. Symbols can exist which are +not in packages: these are called uninterned symbols. + +Packages are held in a global list which can be used to search for a package by +name. The find-package function performs this lookup. A package may be +deleted from the list with the delete-package function, but it continues +to exist until the program loses the last reference to that package. + .SS Variables *user-package*, *keyword-package*, *system-package* +These variables hold predefined packages. The *user-package* is the one +in which symbols are read when a TXR program is being scanned. +The *keyword-package* holds keyword symbols, which are printed with +a leading colon. The *system-package* is for internal symbols, helping +the implementation avoid name clashes with user code in some situations. + .SS Function make-sym +.TP +Syntax: + + (make-sym <name>) + +Description: + +The make-sym function creates and returns a new symbol object. The argument +<name>, which must be a string, specifies the name of the symbol. The symbol +does not belong to any package (it is said to be "uninterned"). + +Note: an uninterned symbol can be interned into a package with the rehome-sym +function. Also see the intern function. + .SS Function make-package +.TP +Syntax: + + (make-package <name>) + +.TP +Description: + +The make-package function creates and returns a package named <name>, where +<name> is a string. It is an error if a package by that name exists already. + +.SS Function packagep + +.TP +Syntax: + + (packagep <obj>) + +.TP +Description: + +The packagep function returns t if <obj> is a package, otherwise it returns +nil. + .SS Function find-package +.TP +Syntax: + + (find-package <name>) + +.TP +Description: + +The argument <name> should be a string. If a package called <name> exists, +then it is returned. Otherwise nil is returned. + .SS Function intern +.TP +Sytax: + + (intern <name> [<package>]) + +.TP +Description: + +The argument <name> should be a symbol. The optional argument <package> +should be a package. If <package> is not supplied, then the value +taken is that of *user-package*. + +The intern function searches <package> for a symbol called <name>. +If that symbol is found, it is returned. If that symbol is not found, +then a new symbol called <name> is created and inserted into <package>, +and that symbol is returned. In this case, the package becomes the +symbol's home package. + +.SS Function rehome-sym + +.TP +Syntax: + + (rehome-sym <symbol> [<package>]) + +.TP +Description: + +The arguments <symbol> and <package> must be a symbol and package object, +respectively. If <package> is not given, then it defaults to the value of +*user-package*. + +The rehome-sym function moves <symbol> into <package>. If <symbol> +is already in a package, it is first removed from that package. +If a symbol of the same name exists in <package> that symbol is first removed +from <package>. + .SS Function symbolp +.TP +Syntax: + + (symbolp <obj>) + +.TP +Description: + +The symbolp function returns t if <obj> is a symbol, otherwise it returns +nil. + .SS Function symbol-name +.TP +Syntax: + + (symbol-name <symbol>) + +.TP +Description: + +The symbol-name function returns the name of <symbol>. + .SS Function symbol-package +.TP +Syntax: + + (symbol-package <symbol>) + +.TP +Description: + +The symbol-package function returns the home package of <symbol>. + +.SS Function packagep + +.TP +Syntax: + + (packagep <obj>) + +.TP +Description: + +The packagep function returns t if <obj> is a package, otherwise it returns +nil. + .SS Function keywordp +.TP +Syntax: + + (keywordp <obj>) + +.TP +Description: + +The keywordp function returns t if <obj> is a keyword symbol, otherwise it +returns nil. + + .SH PSEUDO-RANDOM NUMBERS .SS Variable *random-state* |