path: root/ChangeLog

2013-05-16  Kaz Kylheku  <kaz@kylheku.com>

	Version 66

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2013-05-15  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New intrinsics, time-string-local and
	time-string-utc.

	* lib.c (string_time): New static function.
	(time_string_local, time_string_utc): New functions.

	* lib.h (time_string_local, time_string_utc): Declared.

	* txr.1: Documented.

	* RELNOTES: Updated.

2013-05-15  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (match_fun): Support debug stop on the function
	prior to the call. The first data line number is 1, not zero,
	if there is data.

	* txr.1: Added usage example for match-fun.

2013-05-14  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented time and url encoding/decoding functions.

2013-05-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): State argument in random-fixnum should be
	optional.

	* txr.1: Documented random functions as well as range and range*

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.
	
	* lib.c (iff): Reversed argument names corrected. No functional
	change.
	(iffi): New function.

	* lib.h (iffi): Declared.

	* txr.1: Documented iffi.

2013-01-10  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (help): Help text updated.
	(debug): Fix conflicting command assignment.
	Show form is now 'o'.

2012-10-31  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (int_str): Fix gaping bug introduced by previous commit,
	which could have been caught by running the regression test suite.
	The revised function was returning small integers as bignums.

2012-10-30  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (string_lt): Bugfix: wcscmp returns some value less than zero,
	not specifically -1.

2012-10-30  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/config-types: Include the header as "config.h"
	rather than "../config.h" because the dependency generation script
	checks for this as a special case and treats it relative to the
	build directory.

	* dep.mk: Regenerated.

2012-10-01  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (bignum_from_long): New function.

	* arith.h (bignum_from_long): Declared.

	* lib.c (int_str): Streamlined. Only use mp_read_radix in the case when
	wcstol fails, because now we have bignum_from_long to handle all values
	of long. Ensure that the bignum is normalized, in case it falls in the
	fixnum range (does not happen on our usual platforms). 

2012-09-25  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c: Allow the test form of a for loop to be omitted,
	defaulting to a true test, allowing an infinite loop to
	be expressed as (for () () () ...).

	* txr.1: Documented.

2012-09-24  Kaz Kylheku  <kaz@kylheku.com>

	* RELNOTES: Correct incorrect 2011 years on all 2012 dates. 
	How did that happen?

2012-09-24  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (apply): Fix in error message: hard coded "apply" instead
	of using ctx_form.

2012-09-24  Kaz Kylheku  <kaz@kylheku.com>

	Bugfix: internal funcall functions not handling functions
	with optional arguments.

	* lib.c (generic_funcall): New static function, based on apply
	from eval.c.
	(funcall, funcall1, funcall2, funcall3, funcall4): If the function
	being called has optional arguments, then go through generic_funcall.

2012-09-24  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (logand): Fix incorrect return value.

2012-09-18  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (logtest): New function.

	* eval.c (eval_init): Registered logtest.
	Registered s-ifmt, s-iflnk, s-ifreg, s-ifblk, s-ifdir,
	s-ifchr, s-ififo, s-isuid, s-isgid, s-isvtx, s-irwxu,
	s-irusr, s-iwusr, s-ixusr, s-irwxg, s-irgrp, s-iwgrp,
	s-ixgrp, s-irwxo, s-iroth, s-iwoth, s-ixoth variables.

	* lib.h (logtest): Declared.

	* stream.c (s_ifmt, s_ifsock, s_iflnk, s_ifreg, s_ifblk,
	s_ifdir, s_ifchr, s_ififo, s_isuid, s_isgid, s_isvtx, s_irwxu, s_irusr,
	s_iwusr, s_ixusr, s_irwxg, s_irgrp, s_iwgrp, s_ixgrp, s_irwxo, s_iroth,
	s_iwoth, s_ixoth): New global variables.

	* stream.h (s_ifmt, s_ifsock, s_iflnk, s_ifreg, s_ifblk,
	s_ifdir, s_ifchr, s_ififo, s_isuid, s_isgid, s_isvtx, s_irwxu, s_irusr,
	s_iwusr, s_ixusr, s_irwxg, s_irgrp, s_iwgrp, s_ixgrp, s_irwxo, s_iroth,
	s_iwoth, s_ixoth): Declared.

	* txr.1: Documented logtest and s-* variables for stat,
	as well as open-file and open-directory.

2012-09-17  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): Slight change in ~s directive. For a floating
	point integer, .0 is now always shown if the precision is not given,
	or if it is given and nonzero.  Previous behavior of ~s was add .0 only
	when a precision is not specified. The new behavior is more
	sensible and consistent with documentation.

	* txr.1: Typo fixed in related documentation.

2012-09-17  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (comp_trunc, logcomp): logcomp renamed to lognot,
	consistent with Common Lisp.

	* eval.c (eval_init): logcomp to lognot.

	* lib.h (logcomp): Declaration updated.

2012-09-17  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (highest_significant_bit): New static function.
	(comp_clamp): Bugfix: avoid shifting left into sign bit. Function
	renamed to comp_trunc.
	(logtrunc, ash): New functions.

	* eval.c (eval_init): Registered logtrunc and ash intrinsics.

	* lib.h (logtrunc, ash): Declared.

	* mpi-patches/add-bitops (s_highest_bit_mp): Forward declaration for
	added.
	(mp_clamp_comp): Bugfix in handling remainder bits. Function
	renamed to mp_trunc_comp.
	(mp_trunc, mp_shift): New functions.

2012-09-17  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (highest_significant_bit): New static function.
	(comp_clamp): Bugfix: avoid shifting left into sign bit.
	(logclamp, ash): New functions.

	* eval.c (eval_init): Registered logclamp and ash intrinsics.

	* lib.h (logclamp, ash): Declared.

	* mpi-patches/add-bitops (s_highest_bit_mp): Forward declaration for
	added.
	(mp_comp_clamp): Bugfix in handling remainder bits.
	(mp_clamp, mp_shift): New functions.

2012-09-16  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/add-bitops:  Bugfixes: mp_2comp is extended to properly
	allow arbitrarily wide complements (which causes the code to access
	beyond the a argument's digits array). A similar fix is applied in
	the new mp_clamp_comp function.  Incorrect initializations of mp_int
	fixed in all the logic functions: mp_init was used instead of
	mp_init_size.

2012-09-16  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (logand, logior, logxor): Bugfix: result needs to be
	normalized, otherwise we end up with fixnum-range bignums.
	(comp_clamp): New function.
	(logcomp): Changed to two argument form. If second argument
	is present (not nil) then call comp_clamp.

	* eval.c (eval_init): Change registration of logcomp to allow
	optional argument.

	* lib.h (logcomp): Declaration updated.

	* mpi-patches/add-bitops:  New mp_clamp_comp function implemented.

2012-09-16  Kaz Kylheku  <kaz@kylheku.com>

	Adding complementing function.

	* arith.c (logcomp): New function.

	* eval.c (eval_init): logcomp registered as intrinsic.

	* lib.h (logcomp) declared.

	* mpi-patches/add-bitops: Fixed bugs in mp_xor. Implemented mp_comp.

2012-09-16  Kaz Kylheku  <kaz@kylheku.com>

	Starting work on adding bit operations. The semantics is that
	negative integers behave as an "infinite bit two's complement".

	* arith.c (logand, logor, logxor): New functions.

	* eval.c (eval_init): New intrinsic functions logand, logior, logxor.

	* lib.h (logand, logor, logxor): Declared.

	* mpi-patches/series: New patch, add-bitops.

	* mpi-patches/add-bitops: New file.

2012-09-16  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): Fix bug in ~x format directive for printing
	integers in hex. When we use the printf's %x conversion specifiers for
	fixnums, we get incorrect results when the values are negative, because
	the argument is actually treated as an unsigned integer. 
	The end result is that (format t "~x" -1) produces FFFFFFFF
	rather than -1. Also, merged together mindless code duplication.

2012-09-16  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l: Implemented hexadecimal integer constants.
	These will be very useful since bit operations are about
	to be implemented.

	* txr.1: Documented.

2012-09-12  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New intrinsics: make-similar-hash, copy-hash,
	hash-uni, hash-diff, hash-isec.

	* hash.c (make_similar_hash, copy_hash, hash_uni, hash_diff,
	hash_isec): New functions.

	* hash.h (make_similar_hash, copy_hash, hash_uni, hash_diff,
	hash_isec): Declared.

	* txr.1: Updated.

	* txr.vim: Highlighting for these new functions.

2012-09-11  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Added test for <sys/stat.h>

	* eval.c: New intrinsic functions "stat" and "prop".

	* stream.c: Include <sys/stat.h> if we have it.
	(w_stat, statf): New functions.
	(val dev_k, ino_k, mode_k, nlink_k, uid_k,
	val gid_k, rdev_k, size_k, blksize_k, blocks_k;
	val atime_k, mtime_k, ctime_k): New sybol variables.
	(stream_init): Intern new keywords symbols.

	* stream.h (statf): Declared.

	* txr.1: prop documented. Stub for stat created.

2012-09-11  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): new instrinsic function /= registered.

	* lib.c (numneqv): New function.

	* lib.h (numneqv): Declared.

	* txr.1: New function documented.

2012-09-10  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_collect): Bug in processing of @(last) directive.
	When a match for the @(last) material occured at the end of data,
	c->data was being mistakenly set to nil rather than t before breaking
	out of the loop, wreaking havoc. This is not a regression; this
	was there since the inception of @(last) between versions 38 and 39.

2012-09-06  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented string library.

2012-09-02  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Follow function renames.

	* hash.c (make_hash): Likewise.

	* lib.c (assq): Renamed to assql for consistency.
	(aconsq_new): Renamed to aconsql_new.
	(aconsq_new_l): Renamed to aconsql_new_l.
	(alist_remove_test): Use equal rather than eq. Association lists
	use equal equality by default.
	(alist_nremove): Use memqual rather than memq.
	(alist_nremove1): Use equal rather than eq.
	(merge): Bugfix: unnecessary consing caused by using append
	instead of nconc on list pieces that are already destructively
	chopped up. This has implications for the efficiency of sort
	over lists!
	(multi_sort_less): Implement key functions.
	(multi_sort): Interface change: arguments rearranged, and new
	argument to specify key functions.

	* lib.h (assoc, assq, assql, aconsq_new, aconsq_new_l): Declarations
	renamed.
	(multi_sort): Declaration updated.

	* txr.1: Documented alist library, list sorting and completed
	documenting lazy library.

	* txr.vim: multi-sort highlighted.

2012-09-01  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Lots of new documentation. Major rearrangement of document,
	with new headings.

2012-09-01  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (symbol_function): Bugfix: return the function rather than
	the whole binding.

2012-09-01  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Minor corrections, and documented most stream functions,
	except directory-related ones.

2012-09-01  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented print, pprint, tostring and tostringp.

2012-08-31  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): Bugfix: under the ~a and ~s directives,
	apply field formatting to the object not only if a nonzero width has
	been specified, but also if precision has been specified.

	* txr.1: documented stream global variables and format.

2012-08-31  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (expand): Bugfix: failure to handle regular
	expression syntax, resulting in (set ...) syntax being regarded as
	assignment (due to another recent change).

2012-08-30  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented chain, andf, orf and iff.

2012-08-30  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_intrinsic): Bugfix: take the expanded form instead
	of throwing it away.
	(expand): Recurse into expand_place for (set ...) forms.

	* txr.1: Documented eval.

2012-08-30  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented all functions related to hashing.

2012-08-29  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (multi_sort_less): Fixing semantics of return value. Individual
	sorted lists are returned, rather than a list of zipped tuples.

2012-08-29  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (multi_sort_less): Change the semantics so that when the
	list of the functions is empty, the left item is considered less
	than the right, thereby preserving the order.

2012-08-29  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (mapcarv): Changed to external linkage.

	* eval.h (mapcarv): Declaration added.
	(eval_init): New intrinsic multi-sort registered.

	* lib.c (multi_sort_less): New static function.
	(multi_sort): New function.

	* lib.h (multi_sort): Declared.

	* txr.1: stub section added.

2012-05-18  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Registered open-command and open-process
	intrinsics. open-pipe is now deprecated but stays for backward
	compatibility as a synonym for open-command.

	* stream.c (open_pipe): Renamed to open_command.
	(open_pipevp): Renamed to open_process.

	* stream.h (open_pipe, open_pipevp): Declarations updated.

	* txr.1: Documentation headings updated.

2012-05-18  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (open_pipev): Bugfix: program name is included
	as first element of argv.

2012-05-18  Kaz Kylheku  <kaz@kylheku.com>

	Implement open_pipev in terms of popen for Windows which
	does not have for or exec.  We could use CreateProcess and CreatePipe,
	et cetera, but it won't buy us anything because the whole point
	of this function is to improve the argument passing, and CreateProcess
	takes a single command line string, not too different from popen.

	* stream.c (pipev_close, make_pipev_stream): Surrounded with
	HAVE_FORK_STUFF ifdef.
	(pipe_close): Choice of close strategy conditional on HAVE_FORK_STUFF.
	(open_pipev): Conditionally defined in two ways now.
	(win_escape_arg, win_make_cmdline): New static functions.

2012-05-18  Kaz Kylheku  <kaz@kylheku.com>

	* configure: New test added for fork, pipe, exec and waitpid.
	Produces HAVE_FORK_STUFF in config.h.

2012-05-18  Kaz Kylheku  <kaz@kylheku.com>

	* utf8.c (w_fopen, w_popen): Removing unnecessary casts of
	return values of ut8_dup_to.

	* match.c (complex_open): Likewise.

	* stream.c (w_opendir): Likewise.

2012-05-18  Kaz Kylheku  <kaz@kylheku.com>

	Implementing new pipe function to get around the limitation
	that popen accepts a complete command. We need something which
	accepts a program name, and a list of arguments, so that
	we don't have to assemble together a correctly quoted string.
	popen needs an alternative interface resembling execvp.

	* eval.c (eval_init): New intrinsic registered, open-pipe-args.

	* stream.c (struct stdio_handle): New member, pid.
	(stdio_stream_print): Print the pid, if it is nonzero.
	(pipevp_close): New close function.
	(pipe_close): If h->pid is nonzero, it's a new-style pipe, which
	must be closed with pipev_close.
	(make_stdio_stream, make_pipe_stream): Initialize new stdio_handle
	member to zero.
	(make_pipevp_stream): New static function.
	(open_pipevp): New function.

	* stream.h (open_pipevp): Declared.

	* txr.1: open-pipe-args added to stub section heading.

2012-05-17  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_collect): Implemented semantics for repeat symbol.
	(dir_tables_init): Register dispatch for repeat to v_collect
	function.

	* parser.y (collect_repeat): New nonterminal symbol.
	(clause): Removed repeat_clause error case because that now clashes
	with the syntax in collect_clause.
	(collect_clause): Repeat syntax implemented, with help of
	collect_repeat.
	(out_clause): Error case for collect_clause removed due to
	syntactic clash.

	* txr.1: Added mention of @(collect :vars nil) and documented
	@(repeat) as the shorthand.

2012-05-17  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Do not capture the stderr of GNU Make in the
	configure step; send it to /dev/null.

	* txr.spec: Adding specfile for building RPMs.

2012-04-24  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (range_v_func, range_v_star_func): Restore the order of
	arguments to plus, so that the from object is on the left. This
	change was introduced in a commit on 2012-02-14, causing
	character ranges to break due to bug that addition did not
	commute for char + fixnum. Although the previous commit fixed
	the regression, it's still good to have the object on the
	left in case there are some future data types in case there
	is ever some form of addition which does not commute.

2012-04-24  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus): Fixed broken (+ fixnum char) case.

2012-04-20  Kaz Kylheku  <kaz@kylheku.com>

	Fixes for configuring and building in a separate directory.

	* configure: MPI is now extracted and patched in the build directory,
	not in the source directory.

	* Makefile (CFLAGS): Refer to mpi headers relative to current
	directory, not $(top_srcdir).
	(repatch): Run MPI repatching steps in correct directory.
	(clean): Remove extracted MPI from build directory.

2012-04-20  Kaz Kylheku  <kaz@kylheku.com>

	Version 65

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-04-20  Kaz Kylheku  <kaz@kylheku.com>

	* regex.c (regex_space_chars): Variable removed.
	(char_set_addr_str): New function.
	(char_set_compile): Use char_set_addr_str to
	add spaces to set.
	(init_special_char_sets): Use char_set_addr_str to
	add spaces to set. Bugfix: word_cs, cword_cs wrongly initialized.
	(regex_init): Removed reference to regex_space_chars.

2012-04-20  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (regtoken): New nonterminal symbol.
	(regterm): REGTOKEN production factored out to regtoken.
	(regclass): Reverted prior commmit's changes.
	(regclassterm): Reverted prior commit, removing REGTOKEN
	production for character classes, and introduced a regtoken
	production. So now the keyword symbols are part of the
	character class abstract syntax.
	(regtoken): New production rule.

	* regex.c (regex_space_chars): Converted to internal linkage.
	(char_set_compile): Handle token keywords in character class
	abstract syntax.

	* regex.h (regex_space_chars): External declaration removed.

2012-04-19  Kaz Kylheku  <kaz@kylheku.com>

	First cut at implementing \s, \d, \w, \S, \D and \W regex tokens.

	* lib.c (init): Call regex_init.

	* parser.l: return new REGTOKEN kind.

	* parser.y (REGTOKEN): New token type.
	(REGTERM): Translate REGTERM to keyword.
	(regclass): Restructured to handle inherited nodes as lists.
	(regclassterm): Produce $$ as list. Add handling for REGTOKEN
	occurring inside character class by expanding it. This might not
	be the best approach.
	(yybadtoken): Handle REGTOKEN in switch.

	* regex.c (struct any_char_set, struct small_char_set,
	struct displaced_char_set, struct large_char_set,
	struct xlarge_char_set): New bitfield member, stat.
	(char_set_create): New parameter for indicating static char set.
	(char_set_destroy): Do not free a static char set.
	(char_set_compile): Pass zero to new parameter of char_set_create.
	(spaces): New static array.
	(space_cs, digit_cs, word_cs, cspace_cs, cdigit_cs, cword_cs): New
	static pointers to char_set_t.
	(init_special_char_sets, nfa_compile_given_set): New static function.
	(nfa_compile_regex, dv_compile_regex): Handle new character set token
	keywords.
	(space_k, digit_k, word_char_k, cspace_k, cdigit_k, cword_char_k,
	regex_space_chars): New variables.
	(regex_init): New function.

	* regex.h (space_k, digit_k, word_char_k, cspace_k, cdigit_k,
	cword_char_k, regex_space_chars, regex_init): Declared.

	* txr.1: Documented.

2012-04-15  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New intrinsic functions remq*, remql*,
	remqual*, remove-if*, keep-if*.

	* lib.c (rem_lazy_func, rem_lazy_rec): New static functions.
	(remq_lazy, remql_lazy, remqual_lazy, remove_if_lazy,
	keep_if_lazy): New functions.

	* lib.h (remq_lazy, remql_lazy, remqual_lazy, remove_if_lazy,
	keep_if_lazy): Declared.

	* txr.1: New functions documented.

2012-04-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): find-if intrinsic registered.

	* lib.c (find): First and second arguments reversed.
	The item should be first.
	(find_if): New function.

	* lib.h (find): Declaration updated.
	(find_if): Declaration added.

	* txr.1: Stub section.

2012-04-14  Kaz Kylheku  <kaz@kylheku.com>

	* HACKING: Added notes on generational garbage collection.

2012-04-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New functions remove-if and keep-if.

	* lib.c (remove_if, keep_if): New functions.

	* lib.h (remove_if, keep_if): Declared.

	* txr.1: Documented.

2012-04-13  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Restructuring configure script to be able to detect
	nonexistent options. Variable default values are established first,
	which simplifies the syntax. The scanning loop detects attempts
	to create configuration variables that do not exist.
	The var_given convention is folded into the parsing. (If var
	exists, and var_given exists, and the user specifies var,
	then var_given is set to y to indicate that the value came
	from the user.)

2012-04-13  Kaz Kylheku  <kaz@kylheku.com>

	Bugfix: multiple uses of @(next :args) seeing junk "args" string
	in argument list.  Fix is not to rely on the hack of using the  first
	element of the list of files to hold the name of the current file.

	* match.c (match_files_ctx): New member, curfile.
	(mf_all): Initialize curfile.
	(mf_args): Set curfile to "args".
	(mf_file_data): Initialize curfile.
	(v_skip, v_fuzz, v_gather, v_collect): Use c->curfile rater than
	first(c->files) in debug calls.
	(freeform_prepare, match_files): Pass c->curfile to ml_all constructor
	of match_line_ctx rather than rather than first(c->files).

2012-04-12  Kaz Kylheku  <kaz@kylheku.com>

	Improve the regex Lisp syntax by allowing strings to specify
	character compounds. I.e. the syntax "foo" is equivalent to the
	cumbersome canonical form (compound #\f #\o #\o).

	* regex.c (nfa_compile_regex, dv_compile_regex): Use chrp function
	instead of typeof. Handle stringp case by forming a compound out of the
	characters and recursing. Check for some bad objects in the regex
	that would never come out of our regex parser but could occur
	in a "hand crafted" syntax tree.

2012-04-11  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Fix misleading comment example.

2012-04-10  Kaz Kylheku  <kaz@kylheku.com>

	Adding patch to MPI to disable its Makefile so people don't try
	to work around TXR build problems by running make inside
	the MPI directory, which is wrong.

	Also fixing an incorrect use of ctype.h functions in
	MPI and one case of a superfluous warning.

	* mpi-patches/series: new patches added.

	* mpi-patches/disable-make: New file.

	* mpi-patches/fix-ctype-warnings: New file.

2012-04-10  Kaz Kylheku  <kaz@kylheku.com>

	More NetBSD porting.

	* Makefile (EXTRA_FLAGS): Handy new variable for additional
	ad-hoc CFLAGS. Needed by a new test in configure.

	* configure: Check for annoying warnings about char being used
	as an array subscript when calling the macros from <ctype.h>.
	If this occurs, suppress it by #undef-ing the macros.
	(lang_flags): Switching fromm _XOPEN_SOURCE to _XOPEN_SOURCE=2
	because this is needed on NetBSD to obtain declarations of
	popen and pclose.

	* stream.c (pipe_close): If we don't have the WIFCONTINUED macro,
	then define it to expand to zero. It's absent on NetBSD and they
	already seem to have a hack for this because there is a warning about
	the function not being defined, but then the program links anyway.
	Let's do it properly and not rely on their hack.

2012-04-10  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (INT_PTR_MAX_MP): New static variable.
	(in_int_ptr_range): New function.
	(arith_init): Initialize INT_PTR_MAX_MP.

	* arith.h (in_int_ptr_range): Declared.

	* lib.c (c_num): Allow bignums to be converted to a cnum, if
	they are in range, rather than allowing only fixnums.

	* rand.c (make_random_state): Now that we have such a function,
	initialize random seed using time value from time_sec_usec rather than
	from time and clock.  clock is bad for random seeding because it
	measures virtual time since the start of the process.

2012-04-10  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Switch from _POSIX_C_SOURCE=2 to _XOPEN_SOURCE.
	We will be relying on the gettimeofday function which only came
	into POSIX in 2001, but was in Unix long before then.

	* HACKING: Replace notes about -D_POSIX_C_SOURCE which are not true
	any more.

2012-04-10  Kaz Kylheku  <kaz@kylheku.com>

	* Makefile (conftest.ccver): New phony target.

	* configure: The test for non-working 128 bit integers in the gcc
	used by NetBSD 5.1 is not good enough to catch the bug.
	Adding a test which will assume that gcc 4.3.x and lesser
	does not have working 128 bit types.

2012-04-10  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Expose regex-compile and regexp as intrinsics.

	* lib.c (obj_init): Change spelling of nongreedy operator and put
	it into the user package so that it is available for use with
	regex-compile.

	* regex.c (match_regex, search_regex): Bugfix: optional start
	position argument argument not defaulting to zero.

	* txr.1: Documented regex-compile and regexp.

	* txr.vim: Highlighting regex-compile and regexp.

2012-04-09  Kaz Kylheku  <kaz@kylheku.com>

	Port to NetBSD (5.1).

	* arith.c (bignum_dbl_ipt): Added missing #if HAVE_DOUBLE_INTPTR_T
	around function

	* configure: NetBSD's shell is too pathetic to expand "$@" properly
	when there are no positional arguments, so I applied the ${@+"$@"}
	trick.
	(make): New variable. GNU make might be known only as gmake,
	so we now detect the command for our own use within the configure
	script and also for giving the user advice on what command to use for
	building. Put in a fix so that the attempt to run $make --version
	does not bail the script under "set -e" if that command terminates
	unsuccessfully.
	The check for clashing names has been moved earlier, so that
	the renaming #define's appear early in config.h (so config.h itself
	can rely on the renames). The identifier longlong_t has been added
	to the potential clash list.  NetBSD exposes this identifier in spite
	of -D_POSIX_SOURCE=2, and it clashes with our longlong_t.
	The tests for integers wider than long long has been modified
	to actually compile a multiplication of two long-long-s into 
	the wider precision. On the NetBSD system, with gcc 4.1.3, I found
	that the __int128 type is there, but doesn't actually work;
	compilation of arith.c bails with an internal compiler error.
	We now get this internal error at configure time and avoid using
	the type.

2012-04-09  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/add-mp-hash (mp_hash): Fix incorrect
	code on platforms where mp_digit is smaller than long.
	This was left shifting a mp_digit by MP_DIGIT_BIT.
	It was found by compiling on NetBSD with a gcc 4.1.3
	which has a broken__int128_t, forcing us to use 32 bit
	mp_digit with a 64 bit mp_word.

2012-04-08  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (bignum): Previously static function now exposed as external.

	* arith.h (bignum): Declared.

	* configure: Added check for tm_gmtoff and tm_tmzone fields
	being present in struct tm.

	* eval.c (eval_init): New intrinsic functions: time, time-usec.

	* lib.c (num): If the cnum is outside of the fixnum range, then
	construct a bignum.
	(time_sec, time_sec_usec): New functions.

	* lib.h (mut): Slight change to macro to eliminate compiler warning.
	(time_sec, time_sec_usec): Declared.

	* txr.1: Stub section for time and time-usec.

	* txr.vim: Highlighting for time and time-usec.

2012-04-08  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Fixed accidental breakage.

2012-04-07  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c: Revert earlier change: config.h must be included before the
	<windows.h> section because that header is conditionally included
	based on one of the config constants.

2012-04-07  Kaz Kylheku  <kaz@kylheku.com>

	Fixes to get configure ccname=g++ working on OSX Lion.

	* Makefile (conftest.syms): Use -n flag in nm so that the output
	is not alphabetically sorted, but numerically. We need this
	to get the symbols ordered by increasing offset.

	* configure (read_syms): New function. Factors out logic used
	in two places for reading the output of nm. On OSX Lion, it looks
	like we do not get symbol sizes but offsets only, when compiling
	with g++. The symbols are in an S section.  When compiling with
	gcc, we get a common C section with symbol sizes.
	So the hack is to use the deltas between offsets to get the sizes.
	The objects had to be re-ordered in decreasing rank so alignment
	doesn't create padding that will get counted as the size.
	Interleaved dummy objects of type char should also work.

2012-04-07  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Print done and terminate line after checking for
	clashing symbols.

2012-04-07  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Added new check for some clashing external names,
	which we can redefine out of the way in config.h.

	* lib.c: config.h was being included before <windows.h>.

2012-04-07  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented int-flo, flo-int, search-regex,
	match-regex and regsub.

2012-04-07  Kaz Kylheku  <kaz@kylheku.com>

	Rounding out hash table functionality with lazy lists that
	can walk table content in different ways.

	* eval.c (op_dohash): Follow interface change of hash_next.
	(eval_init): hash-keys, hash-values, hash-pairs and hash-alist
	intrinsics introduced.

	* filter.c (trie_compress): Follow interface change of hash_next.

	* hash.c (hash_next): Silly interface which takes a pointer to
	the iterator has changed to just take the iterator. The function
	unambiguously returns nil when the iteration ends, so there
	is no need to set the iterator variable to nil.
	(maphash): Follows interface change of hash_next.
	(hash_keys_lazy, hash_values_lazy, hash_pairs_lazy, hash_alist_lazy):
	New static functions.
	(hash_keys, hash_values, hash_pairs, hash_alist): New functions.

	* hash.h (hash_next): Declaration updated.
	(hash_keys, hash_values, hash_pairs, hash_alist): Declared.

	* lib.c (make_half_lazy_cons): New way of constructing lazy cons,
	with the car field specified.  It simplifies situations when the
	previous cons computes the car of the next one. Why hadn't I thought of
	this before?

	* lib.h (make_half_lazy_cons): Declared.

	* txr.1: Doc stubs for new hash functions.

	* txr.vim: Highlighting for new hash functions.

2012-04-05  Kaz Kylheku  <kaz@kylheku.com>

	Version 64

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-04-05  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: @[...] syntax not marked as "contained" because it
	can freely occur, and is useful in @(output).

2012-04-05  Kaz Kylheku  <kaz@kylheku.com>

	* gc.c (FRESHQ_SIZE): Preprocessor symbol renamed to FRESHOBJ_VEC_SIZE.
	(freshobj, make_obj): Object and function definitions follow rename.

2012-04-05  Kaz Kylheku  <kaz@kylheku.com>

	* gc.c (mark_obj, sweep_one, gc_is_reachable): Check for gen > 0 rather
	than gen == 0. This allows gen == -1 objects to be considered the
	same as gen == 0, and traversed.
	(gc_set, gc_mutated): When a gen 0 object is added to the checkobj
	array, set its generation to -1.  This prevents duplicates in
	the checkobj array. Also, it fixes a bug: an vector marked as
	mutated was not being traversed due to being in generation 1.

2012-04-05  Kaz Kylheku  <kaz@kylheku.com>

	Code cleanup and tweaking.

	* gc.c (BACKPTR_VEC_SIZE): Preprocessor symbol renamed to
	CHECKOBJ_VEC_SIZE.
	(FULL_GC_INTERVAL): Increased to 40 since the modified
	algorithm now leaves less work for the full gc to do.
	(backptr, backptr_idx): Static variables renamed to
	checkobj and checkobj_idx.
	(mark): Follows rename of backptr and backptr_idx.
	(gc): Commented out handy printf added.
	(gc_set): Use in_malloc_range check to avoid adding to
	the check array pointers which are being stored in non-heap locations,
	since non-heap locations are already GC roots.
	(gc_mutated): Follows variable renaming.
	(gc_push): Just do the push using gc_set.

	* lib.c (malloc_low_bound, malloc_high_bound): New variables.
	(chk_malloc, chk_calloc, chk_realloc): Updated malloc_low_bound
	and malloc_high_bound.
	(in_malloc_range): New function.

	* lib.h (in_malloc_range): Declared.

2012-04-05  Kaz Kylheku  <kaz@kylheku.com>

	The mut macro should only be used for vectors or vector-like objects
	which hold direct references to other objects and must be used
	each time a mutation takes place.

	* eval.c (op_dohash): invocations of mut macro removed. 
	Comment rewritten.

	* lib.c (sort_list): Use set macro for mutating assignment.
	Do not invoke mut on sorted list; it won't work anyway, because
	it doesn't mean what the code wants it to mean: that the list will be
	fully traversed during gc marking.

2012-04-05  Kaz Kylheku  <kaz@kylheku.com>

	Bunch of fixes.

	* gc.c (gc_mutated): Return the value.

	* gc.h (gc_mutated): Declaration updated.

	* hash.c (remhash): Fix unsafe assignment to use set macro.

	* lib.c (sort): Fix wrong use of mut macro on the list
	before it is sorted rather than after.

	* lib.h (mut): Trivial version of macro updated to return argument.

	* unwind.c (uw_init): The toplevel environment's match_context
	should be gc_protected. Though this is probably not used,
	which is why it has not been a problem.

2012-04-04  Kaz Kylheku  <kaz@kylheku.com>

	* hash.c (hash_grow, gethash_l, gethash, gethash_f): Replace
	useless use of *vecref_l() with vecref().

2012-04-04  Kaz Kylheku  <kaz@kylheku.com>

	* configure (gen_gc): Default to off.
	Help section added for gen_gc variable.

	* gc.c (gc): Some missing CONFIG_GEN_GC added.

2012-04-04  Kaz Kylheku  <kaz@kylheku.com>

	Code cleanup.

	* gc.c (backptr_oflow): Static variable removed.
	(freshq_head, freshq_tail, partial_gc_count): Static variables removed.
	(freshq): Array renamed to freshobj.
	(full): Variable renamed to full_gc.
	(freshobj_idx): New varaible.

	(make_obj): Add newly born objects to freshobj array rather than
	freshq. If freshobj array is full on entry to this function,
	trigger gc to empty it. make_obj no longer updates the free_tail;
	the gc routine takes care of restoring this invariant.
	(mark_obj): Follows rename of full_gc. Some code was not wrapped
	in #if CONFIG_GEN_GC.
	(mark, sweep_one): Follow rename of full_gc.
	(sweep): On entry, restore free_tail invariant in the empty
	free_list case. Code which processes freshq from tail to head
	replaced by simple array walk of freshobj. Code wrapped properly
	in #if CONFIG_GEN_GC.
	(gc): Logic for triggering full gc simplified.
	Check added for situations when a partial gc is called when
	the free list empties, and it doesn't liberate enough memory.
	This prevents the situation of partial gc being called over and over
	again by make_obj, squeezing less and less memory each time until
	finally it returns 0 objects, and more() is called.
	(gc_is_reachable): Follows rename of full_gc, and #if CONFIG_GEN_GC
	added.
	(gc_set, gc_mutated): Simplified. Check if the backptr array
	is full and trigger gc if so to flush it, then just add to the array.

2012-04-03  Kaz Kylheku  <kaz@kylheku.com>

	Performance tweaking and fixes.

	* gc.c (BACKPTR_VEC_SIZE): Increase greatly, so that we don't
	trigger gc due to overflow of the backptr array. This is not likely
	to yield a lot of free objects except in a full GC.
	(FULL_GC_INTERVAL): From 10 to 20.
	(gc): Take a not of whether or not gc was entered with free_list
	being exhausted or not. Call more() only if the free_list was
	empty, and a full sweep was done.
	Reset partial_gc_count only when a full gc is triggered.

2012-04-03  Kaz Kylheku  <kaz@kylheku.com>

	Fix failing test case tests/006/freeform-1.txr.

	* lib.c (lazy_str_force, lazy_str_force_upto): Use set macro
	when assigning lim. This won't cause a problem unless lim is
	in the bignum range, however.
	(acons_new, aconsq_new): When overwriting the cdr value of
	the existing entry, use set. This is the smoking gun;
	these functions are used for manipulating bindings.
	(sort): After sorting a list, we must mark it as having
	been mutated. If a list contains only mature conses or only
	fresh conses, there is no problem. But if it contains a mixture,
	then sorting could reverse their relationship, causing mature
	conses to backpoint to the fresh ones.
	(obj_init): Use set when installing the t symbol into the user package.

2012-04-03  Kaz Kylheku  <kaz@kylheku.com>

	Generational GC showing signs of working. One test case in
	test suite fails.

	* gc.c (FRESHQ_SIZE): New preprocessor symbol.
	(backptr_oflow, freshq, freshq_head, freshq_tail): New static
	variables.
	(make_obj): Place newly allocated generation 0 object into
	freshq. If freshq becomes full, transfer oldest item into
	generation 1.
	(mark_obj): If doing only a partial gc, then do not mark
	objects which are not generation 0.
	(mark_mem_region): Valgrind support: cannot mark t.type field undefined
	because it is a bitfield. Just mark the first SIZEOF_PTR bytes
	of the object defined.
	(mark): Under partial gc, mark the table of back pointers.
	(sweep_one): New static function from the prior guts of sweep.
	Reachable objects now get promoted to generation 1.
	(sweep): Under partial gc, sweep just the freshq which identifies
	the generation 0 objects, rather than the entire linked list of all the
	heaps.
	(gc): Trigger full gc also if the backptr list has overflowed
	due to gc having been disabled.
	Under generational gc, reset the static variables afterward:
	clear the list of backpointers, and the freshq.
	(gc_is_reachable): Under partial gc, report any mature object
	as reachable.
	(gc_set, gc_mutated): Handle backptr array overflow situation
	when gc is disabled.
	(gc_push): Bugfix: it is the newly pushed cons cell that has to be
	marked as a root, not the value being pushed.

	* hash.c (sethash): Use set macro for storing value.

	* lib.h (set, mut, mpush): Fix wrong-way #if test for these macros.
	The trivial versions were being defined uner CONFIG_GEN_GC and vice
	versa!

2012-04-03  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_modplace): push replaced with mpush (mutating push).

	* gc.c (gc_push): New function.

	* gc.h (gc_push): Declared.

	* hash.c (pushhash): Use mpush.

	* lib.c (push): Reverted to unsafe operation. TODO comment replaced
	with warning.
	(lazy_flatten_scan): push occurence commented as safe.
	(lazy_stream_func): Unsafe push replaced with mpush.

	* lib.h (mpush): New macro.

2012-04-02  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Support a gen-gc configuration variable which
	causes CONFIG_GEN_GC to be defined as 1 in config.h.

	* eval.c (op_defvar, dwim_loc, op_modplace, transform_op): Handle
	mutating assignments via set macro.
	(op_dohash): Inform gc about mutated variables. TODO here.

	* filter.c (trie_add, trie_compress): Handle mutating assignments
	via set macro.

	* gc.c (BACKPTR_VEC_SIZE, FULL_GC_INTERVAL): New preprocessor symbols.
	(backptr, backptr_idx, partial_gc_count, full): New static variables.
	(make_obj): Initialize generation to zero.
	(gc): Added logic for deciding between full and partial gc.
	(gc_set, gc_mutated): New functions.

	* gc.h (gc_set, gc_mutated): Declared.

	* hash.c (hash_mark): Changed useless use of vecref_l to vecref.
	(gethash_f): Use set when assigning through *found since it
	is a possible mutation.

	* lib.c (car_l, cdr_l, vecref_l): Got rid of loc macro uses. Using the
	value properly is going to be the caller's responsibility.
	(push): push may be a mutation, so use set.
	(intern): Uset set to mutate a hash entry.
	(acons_new_l, aconsq_new_l): Use set when replacing *list.

	* lib.h (PTR_BIT): New preprocessor symbol.
	(obj_common): New macro for defining common object fields.
	type_t is split into two bitfields, half a pointer wide,
	allowing for generation to be represented.
	(struct any, struct cons, struct string, struct sym, struct package,
	struct func, struct vec, struct lazy_cons, struct cobj, struct env, 
	struct bignum, struct flonum): Use obj_common macro to defined
	common fields.
	(loc): Macro removed.
	(set, mut): Macros conditionally defined for real functionality.
	(list_collect, list_collect_nconc, list_collect_append): Replace
	mutating operations with set.

	* match.c (dest_set, v_cat, v_output, v_filter): Replace
	mutating operations with set.

	* stream.c (string_in_get_line, string_in_get_char,
	strlist_out_put_string, strlist_out_put_char): Replace mutating
	operations with set.

	* unwind.c (uw_register_subtype): Replace mutating operation with set.

2012-04-02  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (vec_set_length): Use set instead of assignment.
	(vecref_l): Use loc to lift address of cell.
	(replace_vec): Use macro mut to indicate the object is being
	mutated.

	* lib.h (mut): New macro.

2012-04-01  Kaz Kylheku  <kaz@kylheku.com>

	Start of ground-work for ephemeral GC. We must add some abstraction
	to places where we potentially assign a reference to a younger object
	inside a field located in an older object (chronological
	backreference) and also where we take the address of an object
	field, making it possible that the user of the address will do so.

	This patch does not take care of vectors.

	No, this is not an April Fool's joke.

	* eval.c (env_fbind, env_vbind, env_replace_vbind, lookup_var,
	lookup_sym_lisp1): Use set macro instead of assignment.

	* hash.c (hash_grow, set_hash_userdata, hash_next): 
	Use set macro instead of assignment.

	* lib.c (rplaca, rplacd, string_extend, length_str, replace_str,
	rehome_sym, lazy_stream_func, lazy_str, lazy_str_force, 
	lazy_str_force_upto, obj_init): Use set macro instead of assignment.

	(car_l, cdr_l): Use loc instead of address-of operator.

	* lib.h (set, loc): New macros.

2012-03-31  Kaz Kylheku  <kaz@kylheku.com>

	* hash.c (last_equal_key, last_equal_hash): New static variables.
	(equal_hash): Caching optimization implemented.
	(eql_hash): Optimization extended to those objects that have
	equal semantics.
	(hash_process_weak): Clear the cached hash during gc.

2012-03-31  Kaz Kylheku  <kaz@kylheku.com>

	If one of the blocks which are subordinate to a @(trailer)
	happen to request a successful termination by invoking @(accept)
	the position must not advance into the trailer material.

	* match.c (v_trailer): Added an unwind protect which
	detects that an accept is taking place and adjusts the return value to
	restrict the input position at the point given to trailer.
	(accept_fail): Use uw_block_return_proto instead of uw_block_return
	and pass the symbol as the protocol identifier.

	* unwind.c (uw_current_exit_point): New function.
	(uw_block_return): Function renamed to uw_block_return_proto;
	takes new parameter which is stored in the block structure.

	* unwind.h (struct uw_block): New member, protocol.
	(uw_block_return): Becomes an inline wrapper for uw_block_return_proto.
	(uw_block_return_proto, uw_current_exit_point): Declared.

	* txr.1: Interaction between @(trailer) and @(accept) documented.

2012-03-30  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (h_var): Disallow the variable named by the symbol t
	by throwing an exception. Allow nil, but wherever nil occurs,
	do not produce a binding.

	* txr.1: State the restrictions against using t in the section
	on Variables and also describe the nil ignore feature.

2012-03-30  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Correction: backtracking does NOT take place into a block
	which completed.

2012-03-30  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documenting the debugger with an example session.

2012-03-30  Kaz Kylheku  <kaz@kylheku.com>

	Version 63

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-03-30  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (num_str): Much more accurate test for deciding whether
	to treat the number as floating or integer. We can't just look
	for the presence of E, e or . because these coudl be part of
	trailing junk for instance "123XYZE." should convert
	to the integer 123, where "XYZE." is trailing junk.

	* txr.1: Documented int-str, flo-str and num-str.

2012-03-29  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (numeq): Fix misplaced parenthesis.

2012-03-29  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (min2, max2): Semantics tweak. If the numbers are equal,
	favor the left one.

	* txr.1: Documented min and max.

2012-03-29  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (numeq): New function.
	(exptmod): Bugfix: was no normalizing the bignum, ouch.
	Also was reporting "non-integral operands" for other
	errors.

	* eval.c (eval_init): Registered = intrinsic function.

	* lib.c (numeqv): New function.

	* lib.h (numeq, numeqv): Declared.

	* txr.1: Documented expt, sqrt, isqrt, exptmod, fixnump, bignump,
	integerp, floatp, numberp, zerop, evenp, oddp, >, <, >=, <= and =.

	* txr.vim: Highlight =

2012-03-29  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (gcd): Allow zeros. Don't issue "non-integral"
	exception if MPI fails.
	(floorf, ceili): Map integer argument to itself.
	(tang, asine, acosi): New functions.

	* eval.c (eval_init): New intrinsics: tan, asin, acos.

	* lib.h (tang, asine, acosi): Declared.

	* txr.1: Documented gcd, abs, floor, ceil, sin, cos, tan
	asin, acos, atan, log, and exp.

	* txr.vim: Highlighting for tang, asine, acosi.

2012-03-29  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (dmod): New static function.
	(mod): Use dmod instead of fmod directly, to calculate
	the correct semantics for combinations of
	negative operands in the floating point domain also.

	* txr.1: Documented /, trunc and mod.

2012-03-29  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented +, - and *.

2012-03-29  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: num-str added to doc stub.

	* txr.vim: num-str added.

2012-03-28  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (obj_print, obj_pprint): Do not use the #<lazy-string ..>
	notation for lazy strings that have been forced.

2012-03-27  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): Compensate for differences in printf
	implementations with regard to printing floating point exponents.
	by deleting any plus sign and leading zeros after the 'e'.

	* tests/009/json.expected: Regenerated.

2012-03-26  Kaz Kylheku  <kaz@kylheku.com>

	Filtering on lists and nested lists is hereby made to work.
	For instance given @(bind a ("a" "b" "c")) it is now possible
	to do @(filter :upcase a) whereby a promptly takes on the value
	("A" "B" "C").

	* filter.c (string_filter): Function renamed to string_tree_filter.
	(compound_filter): Follows rename.
	(filter_string): Function renamed to filter string tree.
	Can filter tree of strings, or possibly other objects,
	if the filter function allows.
	(filter_equal): No special case test for objects that are strings.
	Just put them through the filter.

	* filter.h (filter_string): Declaration updated.

	* match.c (format_field, subst_vars, v_filter): Follow rename.

2012-03-26  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_output): Bugfix: we should flush the stream
	after each @(output) block. Otherwise if output blocks
	that go to standard output are interleaved with output blocks
	which pipe to some command which then goes to standard out,
	the output won't be in the proper order.

2012-03-26  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New intrinsic num-str registered.

	* filter.c (tonumber_k, tointeger_k, tofloat_k, hextoint_k):
	New keyword variables.
	(filter_init): New variables initialized; new filters registered.

	* filter.h (tonumber_k, tointeger_k, tofloat_k, hextoint_k):
	Declared.

	* lib.c (num_str): New function.

	* lib.h (num_str): Declared.

	* txr.1: New filters documented.

2012-03-26  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (to_float): Fix unterminated argument list in throwf.

	* lib.c (funcall): Likewise.

2012-03-24  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (rebind_s): New symbol variable.

	* lib.h (rebind_s): Declared.

	* match.c (v_rebind): New static function.
	(dir_tables_init): Registered rebind_s to v_rebind,
	and also to hv_trampoline in the horizontal directive table.

	* txr.1: Documented it.

2012-03-24  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35989

	* match.c (syms_init): text_s must be in the system
	package because it's not a user-visible operator.

2012-03-24  Kaz Kylheku  <kaz@kylheku.com>

	Performance improvement in the GC: keep at least one heap's worth
	of free space, so programs close to exhausting a heap do not
	waste cycles frequently calling the collector.

	* gc.c (more): Do not assert that free_list is null; this will
	not be the case any more.
	(make_obj): Comment added regarding why we the free_tail variable
	is fixed up.
	(sweep): Now returns a count of the objects that are free.
	(gc): If sweep reports that less than 75% of the objects are free
	then let us add another heap.

2012-03-24  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Register match-str and match-str-tree
	intrinsics.

	* lib.c (match_str, match_str_tree): Default position to zero.

	* txr.1: Doc stubs created.

	* txr.vim: Highlighting for match-str and match-str-tree.

2012-03-24  Kaz Kylheku  <kaz@kylheku.com>

	Bugfix: code like @(skip)@{var /partial/} where
	the regular expression does not match all the way to
	the end of the line was getting by the check for
	a complete match.

	* match.c (do_match_line): Loses the second parameter
	named completely. The check whether the line was matched
	completely is done higher up, in match_line_completely.
	This is needed because do_match_line has some early
	successful return cases which bypass the check.
	(match_line): Remove second paramter in call to do_match_line.
	(match_line_completely): Do the check here that the line
	was matched completely. Nothing can get by this.
	(v_freeform): Do notpass second nil argument to do_match_line.

2012-03-24  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (search_str): If start_num is nil, default it to zero.
	This is needed for this to work right as an optional argument.

2012-03-23  Kaz Kylheku  <kaz@kylheku.com>

	Version 62

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

2012-03-23  Kaz Kylheku  <kaz@kylheku.com>

	* RELNOTES: Updated.

	* txr.1: Describe floating-point constants.

2012-03-23  Kaz Kylheku  <kaz@kylheku.com>

	* Makefile (TXR_ARGS): Pass new file to tests/009/json.txr test.

	* tests/009/json.expected: Updated.

	* tests/009/json.txr: Updated source. Translates to a more native
	representation with vectors and hash tables. Numbers go to
	floating point instead of remaining as strings.

	* tests/009/pass1.json: New file: a test case from json.org.

2012-03-22  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (expo): New function.

	* eval.c (eval_init): expo registered as intrinsic exp.

	* lib.h (expo): Declared.

	* txr.1: Added to stub heading.

	* txr.vim: Highlighting for exp.

2012-03-22  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (transform_op): use integerp instead of numberp.
	Not all numbers are integers now, and that situation
	requires an integer.

2012-03-22  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l: Bugfix: was not allowing e-notation floats
	with no decimal point like 1E1.

	* stream.c: (vformat): Keep track of whether or not precision was
	given in precision_p local variable.
	When printing #<bad-float> pass a precision of 0
	to vformat_str, not precision, since precision does not apply.
	In ~f and ~e, if the precision was not given, default
	it to 3.
	Restructured float printing in ~a and ~s. It now just uses sprintf's %g
	with a precision. If user does not specify precision, it defaults
	to DBL_DIG to print the number with reasonable accuracy.
	A .0 is added if it sprintf produces an integer, and the conversion
	is ~s rather than ~a.

2012-03-22  Kaz Kylheku  <kaz@kylheku.com>

	Fix sqrt confusion. There must be a separate isqrt
	for the integer square root.

	* arith.c (sqroot_fixnum): Renamed back to isqrt_fixnum.
	(sqroot): Rewritten to handle only floating-point square root.
	(isqrt): New function, based on previous sqroot,
	handles only integers.

	* eval.c (eval_init): New intrinsic, isqrt.

	* lib.h (isqrt): New declaration.

	* txr.1: Doc stubs.

	* txr.vim: Highlighting for isqrt.

2012-03-22  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (floorf, ceili, sine, cosi, atang, loga): New functions.

	* eval.c (eval_init): New intrinsic functions registered:
	floor, ceil, sin, cons, atan, log.

	* lib.h (floorf, ceili, sine, cosi, atang, loga): Declared.

	* txr.1: Doc stub section for new functions.

	* txr.vim: Highighting added.

2012-03-22  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (int_flo): If sprintf produces something
	that doesn't begin with a digit, it's most likely NaN or Inf.
	We can turn that into an exception.

	* stream.c (vformat): If sprintf produces a non-number,
	turn it into the printed representation #<bad-float>.

2012-03-22  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (to_float): New static function.
	(divi): Uses to_float.
	(zerop, gt, lt, ge, le, expt): Floating support.
	(isqrt_fixnum): Static function renamed to sqroot_fixnum.
	(isqrt): Renamed to sqroot. Floating support.
	(evenp, oddp, exptmod, gcd): Work with integers, not floats.

	* eval.c (eval_init): intrinsic registration of sqrt follows rename of
	isqrt to sqroot.

	* lib.h (isqrt): Declaration replaced.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (divi): New function.

	* eval.c (eval_init): divi registered as / intrinsic.

	* lib.h (divi): Declared.

	* txr.1: divi added to stub heading.

	* txr.vim: / operator highlighted.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (mod): Floating support.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (trunc): Floating support.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus, minus, mul): Removing unnecessary type checks,
	which are already implied by the switch case.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Doc stubs for new functions floatp, integerp,
	float-str, int-flo and flo-int.

	* txr.vim: Highlighting for new functions.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* Makefile: link in -lm, which is needed now on some systems.

	* arith.c (plus, minus): Eliminated some unnecessary (double) casts.
	(abso, mul): Floating support.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (neg): Floating-point support.

	* parser.l: FLO and FLODOT cases had to be reordered because
	the lex trailing context counts as part of the match length,
	causing 3.0 to be matched as three characters with 0 as
	the trailing context. The cases are split up to eliminate
	a flex warning.

	* stream.c (vformat): Support bignum in floating point
	conversion. Bugfixes: floating point conversion was
	accessing obj->fl.n instead of using n.
	Changed some if/else ladders to switches.

2012-03-21  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus): Minor code simplification.
	(minus): Floating point support.

	* mpi-patches/mpi-to-double (mp_to_double): Re-apply lost
	bugfix: index incremented instead of decremented.
	Didn't refresh patch last time, then did a make distclean.

2012-03-20  Kaz Kylheku  <kaz@kylheku.com>

	Regression fix: 1..3 scans incorrectly into 1. .3 tokens.

	* parser.l (SGN, EXP, DIG): New regex definitions.
	(FLO): Do not recognize numbers of the form 123.
	Decimal point must be followed either by exponent, or digits
	(which may then be followed by an exponent).
	(FLODOT): New token type, recognizes 123.
	(grammar): Recognize FLODOT as a floating point number,
	only if it not trailed by another dot, and
	recognize FLO unconditionally.

2012-03-20  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus): Completed implementation of bignum-float
	and float-bignum cases.

2012-03-20  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): Use larger num_buf buffer so we don't
	overrun. IEEE double floats can go to e+-308.

2012-03-20  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (flo_int): New function.

	* eval.c (eval_init): flo-int registered as intrinsic.

	* lib.h (flo_int): Declared.

	* mpi-patches/series: Added mpi-to-double to patch stack.
	(mp_to_double): New MPI function.

	* mpi-patches/mpi-to-double: New file.

2012-03-20  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus): Optimization: use num_fast when
	result is in the fixnum range.
	Implemented FLNUM cases, except for adding a FLNUM
	to BGNUM.
	(minus, mul): Use num_fast when the cnum value is in the fixnum range.
	(int_flo): New function.

	* eval.c (eval_init): Register int-flo intrinsic.

	* lib.c (c_flo): New function.

	* lib.h (TYPE_SHIFT, TYPE_PAIR): New macros, carried over
	from the lazy strings branch.
	(c_flo, int_flo): Declared.

2012-03-20  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l (FLO): Adjusted syntax of floating point numbers
	to allow leading or trailing decimal.

2012-03-19  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): num_buf increased to 256 because we
	are now printing floating point numbers into it, letting
	the C library handle precision which can generate many digits.
	We cap the precision at at 128. New format specifiers ~e
	and ~f implemented, which loosely correspond to those of printf.
	The ~s and ~a directives handle floats similarly to ~g in
	printf, except that they ensure that a decimal point is printed
	for the non-exponential notation.

2012-03-19  Kaz Kylheku  <kaz@kylheku.com>

	* configure (uintptr): New variable. Indicates whether unsigned
	version of intptr_t is available and should be generated in config.h
	as uintptr_t.

	* eval.c (eval_init): New intrinsic functions floatp,
	integerp, flo-str.

	* gc.c (finalize): Handle FLNUM case. Rearranged
	cases so that all trivially returning cases are
	together.
	(mark): Handle FLNUM case.

	* hash.c (hash_double): New function.
	(equal_hash): Handle FLNUM via hash_double.
	(eql_hash): Likewise.

	* lib.c: <math.h> is included.
	(float_s): New symbol variable.
	(code2type, equal): Handle FLNUM case in switch.
	(integerp): New function; does the same thing
	as integerp before.
	(numberp): Returns t for floats.
	(flo, floatp, flo_str): New functions.
	(obj_init): Initialize new float_s variable.
	(obj_print, obj_pprint): Handle FLNUM case in switch.
	Printing does not work yet; needs work in stream.c.

	* lib.h (enum type): New enumeration FLNUM.
	(struct flonum): New struct type.
	(union obj): New member, fl.
	(float_s, flo, floatp, integerp, flo_str): Declared.

	* parser.l (FLO): New token pattern definition.
	Scans to a NUMBER token.
	Corrected uses of yylval.num to yylval.val.

	* parser.y (%union): Removed num member from yystype.

2012-03-20  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (debug): Breakpointing now takes into account 
	the module file name, not only the line number. Breakpoints work on
	source locations rather than line numbers.  Boy, this was easy. 
	Keep the breakpoint list free of duplicates. Issue a message
	if a nonexistent breakpoint is asked to be deleted.

2012-03-18  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): url_decode has two parameters now,
	so we make the second one optional.

	* filter.c (topercent_k, frompercent_k): New keyword
	variables.
	(url_encode, url_decode): Take a second parameter, space_plus.
	This determines whether or not to apply the rule that
	a space encodes as a + character.
	(filter_init): Initialize new keyword variables, and register :topercent
	and :frompercent filters.  Fix the previous registrations of :tourl and
	:fromurl using currying.

	* filter.h (urlencode, urldecode): Declarations updated.
	(topercent_k, frompercent_k): Declared.

	* txr.1: Documented.

2012-03-17  Kaz Kylheku  <kaz@kylheku.com>

	Changing type function to not blow up on nil, which makes a lot of code
	simpler. A pseudo type code is introduced called NIL with value 0.

	* lib.h (enum type): New enumeration value, NIL.
	(type): Function accepts object nil and maps it to code NIL.

	* eval.c (dwim_loc, op_dwim): test for nil obj and goto hack is gone,
	just handle NIL in the switch.

	* gc.c (make_obj, mark): Handle new NIL type code in switch.

	* hash.c (equal_hash): Handle NIL in the switch instead of nil test.

	* lib.c (code2type): Map new NIL type code to null.
	(typeof, typecheck): Code simplified.
	(class_check, car): Move nil test into switch.
	(eql, equal, consp, bignump, stringp, lazy_stringp,
	symbolp, functionp, vectorp, cobjp): Simplified.
	(length, sub, ref, refset, replace, obj_print, obj_pprint): Handle NIL
	in switch instead of nil test.  goto hack removed from refset.

	* match.c (do_match_line, do_output_line): switch condition simplified.

	* regex.c (regexp): Simplified.
	(regex_nfa): Assert condition simplified.

2012-03-17  Kaz Kylheku  <kaz@kylheku.com>

	* filter.c (digit_value): static function moved.
	(html_hex_continue): Use digit_value instead of hex digits string
	literal.

2012-03-16  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (do_chain): More useful behavior. The first
	function, if any, is treated as variadic. Subsequent
	functions are monadic.
	(chain, chainv): Turn do_chain into variadic.

2012-03-16  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New intrinsic functions
	chain, andf, orf, iff.

	* lib.c (chainv): New function.
	(do_and, do_or): Generalized to handle functions of
	any arguments via apply.
	(andf, orf): Turn do_and and do_or into variadic function instead of a
	monadic function.
	(do_iff): New static function.
	(andv, orv, iff): New functions.

	* lib.h (chainv, andv, orv, iff): New functions declared.

	* txr.1: Doc stubs created.

	* txr.vim: Updated.

2012-03-16  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (quicksort): Bugfix: incorrect loop from 0 rather than from
	leading to unbounded recursion.

2012-03-15  Kaz Kylheku  <kaz@kylheku.com>

	Version 61

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* eval.c (op_modplace): Fix warning about uninitialized variable.
	No bug.

	* filter.c: gcc compilation regresion: missing <stdio.h> breaks inclusion
	of "stream.h" header. Strangely, didn't show up when configured for
	compiling with g++ on Ubuntu.

	* match.c (match_filter): Fixed ununsed variable warning.

	* txr.vim: Bunch of missing keywords added.

	* dep.mk: Regenerated.

2012-03-15  Kaz Kylheku  <kaz@kylheku.com>

	* tests/010/block.expected: New file.

	* tests/010/block.txr: New file.

	* tests/010/reghash.expected: New file.

	* tests/010/reghash.txr: New file.

2012-03-14  Kaz Kylheku  <kaz@kylheku.com>

	* RELNOTES: Updated for upcoming 61.

2012-03-14  kaz kylheku  <kaz@kylheku.com>

	* txr.1: Documented hash and vector quasiliterals.

2012-03-14  Kaz Kylheku  <kaz@kylheku.com>

	Support quasiquoting over vectors also, and a bugfix for hash
	quasiquoting.  We cannot use the same symbol for the
	literal form from the parser, and for the expanded form,
	because this creates a confusion when there are multiple
	nestings of quasiquote expansion.

	* eval.c (vector_lit_s, vector_list_s, hash_lit_s): New symbol
	variables.
	(hash_construct_s): Relocated here from hash.c.
	(expand_qquote): Part of bugfix: look for hash_lit_s
	instead of has_construct_s. Translate to a hash_construct_s
	form which is no longer recognizes as a hash literal.
	Implementing recognition of a quasiquote vector literal,
	handled similarly.
	(eval_init): Initialize vector_lit_s, vector_list_s,
	hash_list_s and hash_lit_s.
	Use vector_list_s when registering vector_list function.

	* eval.h (vector_lit_s, vector_list_s, hash_lit_s,
	hash_constuct_s): Declared.

	* hash.c (hash_construct_s): Variable removed
	and relocated into eval.c.
	(hash_init): Initialization of hash_construct_s removed.

	* hash.h (hash_construct_s): Declaration removed.

	* parser.y: (vector): Action updated to generate
	a (vec-lit ...) form if the object contains unquotes,
	otherwise generate a vector object.
	(hash): Generate hash-lit form, not a
	hash-construct form.

2012-03-14  Kaz Kylheku  <kaz@kylheku.com>

	Allow quasi-quoting over hash table literals,
	to express dynamic hash table construction

	* eval.c (expand_qquote): Recognize hash-construct
	forms: expand the hash arguments and pairs separately,
	then rewrite to a new hash-construct form.
	(eval-init): hash-construct intrinsic function added.

	* hash.c (hash_construct_s): New symbol variable.
	(hash_construct): New function.
	(hash_init): Initialize hash_construct_s.

	* hash.h (hash_construct_s, hash_construct): Declared.

	* parser.y (hash): Rule rewritten to emit either a literal
	hash table object, or a hash-construct form, based on
	whether quasiquote unquotes occur within the syntax.
	(hash_from_notation): Function removed.

2012-03-13  Kaz Kylheku  <kaz@kylheku.com>

	Change: @(block) requires @(end) from now on.
	Blocks no longer extend to the end of the surrounding
	scope.

	* match.c (v_block): Rewrite for new syntax.

	* parser.l (BLOCK): New token type handled.

	* parser.y (BLOCK): New token.
	(block_clause): New nonterminal grammar symbol.
	(clause): Collateral fix: replaced a bunch of
	list(X, nao) forms with cons(X, nil).
	Introduced block_clause as a constituent of clause.

	* txr.1: Revamped documentation of block, and
	wrote about using blocks for reducing nested
	skips and reducing backtracking in general.

2012-03-13  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l (ID_END): Bugfix: ID_END was defined incorrectly
	for the current way in which an identifier token is recognized.
	As a result @(collect-ing) was being interpreted as @(collect -ing).
	It should be the complement of NSCHR.

2012-03-13  Kaz Kylheku  <kaz@kylheku.com>

	* regex.c (regsub): the replacement argument
	can now be a function of one argument which maps
	the original piece of text matched by the regex
	to a replacement text.

2012-03-13  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (stdio_put_string, stdio_put_char, stdio_put_byte): Do not
	consider data sent to std_error to be output for the purposes of
	the output_produced flag. Otherwise the program behavior changes
	in -v mode; it will not print bindings.

2012-03-13  Kaz Kylheku  <kaz@kylheku.com>

	Implementing URL filtering.

	* eval.c (eval_init): New intrinsic functions: url-encode, url-decode.

	* filter.c (tourl_k, fromurl_k): New keyword variables.
	(is_url_reserved, digit_value): New static functions.
	(url_encode, url_decode): New functions.
	(filter_init): Intialize new keyword variables and register
	new :tourl and :fromurl filters.

	* filter.h (tourl_k, fromurl_k, url_encode, url_decode): Declared.

	* txr.1: Updated.

	* txr.vim: Likewise.

2012-03-13  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (string_out_byte_flush): Bugfix. Do not loop inside this
	function. This must not flush out more than one character out of this
	small buffer, except when we are flushing out the last data.
	The correct operation is predicated on the assumption that 
	a complete character can be pulled out. That's why we move the
	buffer to the front after consuming it, and do not automatically
	flush until there are four bytes.
	(string_out_put_string): We loop the call to string_out_byte_flush
	here because when a request comes in to write a Unicode character,
	we flush all the bytes, even if the tail of those bytes forms
	an incomplete sequence that turns into U+DCxx codes.
	(get_string_from_stream): Use the same loop termination test
	as in string_out_put_string, for consistency. In that function
	it is needed to prevent infinite looping in the case when
	the string_out_put_string is being called from string_out_byte_flush
	and is thus re-entering it.

	* tests/010/strstream.expected: New file.

	* tests/010/strstream.txr: New file.

2012-03-12  Kaz Kylheku  <kaz@kylheku.com>

	Implementing put_byte for string output stream.
	This does the Right Thing with a mixture of bytes and characters.
	Incomplete byte sequences.

	* stream.c (struct strm_ops): Changing byte argument of put_byte
	to int, since the put_byte API function can just pass down that
	value after validating it.
	(stdio_handle): Use available typedef.
	(stdio_put_byte): Follow interface change in strm_ops.
	Do not validate the range of a byte; the put_byte higher
	level function does that now.
	(struct string_output): New members: ud, byte_buf, head, tail.
	(string_out_byte_callback, string_out_byte_flush): New static
	functions.
	(string_out_put_string): Flush any UTF-8 bytes in the byte buffer
	before putting the string.
	(string_out_put_byte): New static function, implementation for
	put_byte on string output streams.
	(string_out_ops): string_out_put_byte wired in.
	(make_string_output_stream): Initialize new members of
	of struct string_output.
	(get_string_from_stream): Flush any UTF-8 bytes in the byte buffer
	before retrieving the string.
	(put_byte): Validate that the byte is in range. Pass byte
	as C int down to the put_byte virtual.

2012-03-12  Kaz Kylheku  <kaz@kylheku.com>

	Plugging memory leak.

	* stream.c (byte_in_stream_destroy): New function.
	(byte_in_ops): Use new function instead of noop stub.

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Update. Adding remq, remql, remqual, regsub, *stddebug*

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35718. Workaround good enough to get some code working.

	* eval.c (cons_find): New function.
	(expand_op): Use cons_find rather than tree_find to look for
	rest_gensym.

	* regex.c (regsub): Rearranged arguments so that the string
	is last. This is better for partial evaluaton via the op
	operator.

	* regex.h (regsub): Updated declaration.

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New intrinsic function, regsub.

	* regex.c (regsub): New function.

	* regex.h (regsub): Declared.

	* txr.1: Doc stub added.

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (split_str): Separator can be a regex now.

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	Version 60

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

	* txr.vim: Handle : symbol properly.

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus): Showstopper bug: plus(bignum, fixnum)
	broken for fixnum <= 0. Bad pointer passed to MPI.

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/add-mp-hash (mp_hash): Fixed use of uninitialized
	variable on platforms where the MP digit is smaller than a long integer.
	(Not anything TXR is known to run on). Changed algorithm to take the
	first and last digit and add them together, rather than just taking the
	last digit. The last digit will be zeros for numbers that contain 2 as a
	factor with a large enough multiplicity.

	* mpi-patches/add-mpi-toradix-with-case: Refreshed.

	* mpi-patches/bit-search-optimizations: Likewise.

	* mpi-patches/faster-square-root: Likewise.

	* mpi-patches/fix-bad-shifts: Likewise.

	* mpi-patches/fix-mult-bug: Likewise.

2012-03-04  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_defun): Bugfix: documentation says that defun supports
	the same parameter list as lambda, and that is the intent. But
	this was broken, since op_defun was expecting the parameter list
	to be a proper list containing only bindable symbols, ruling out
	the use of the consing dot for rest parameter as well as the colon
	keyword symbol for optional parmeters.

2012-03-03  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Expose remq, remql and remqual.

	* txr.1: Documented.

2012-03-03  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (sub_str): Removed second check for lazy string that
	can't ever come out true.

	* match.c (search_form, h_var, h_coll, h_parallel, h_fun): Handle
	position t emanating from match_line, indicating match to end of line.
	(h_skip): When skipping to the end of line (empty spec), just
	return t as the position rather than the end of the line. This avoids
	calculating the length of the line, which forces a lazy string.
	(do_match_line): Near the beginning of the loop, if the position is t,
	then substitute the length of the line.
	(freeform_prepare): Return the freeform line limit value.
	(v_freeform): Check for t coming out of match line and do the
	conversion back to the trailing list in that case, but only if
	the freeform was limited by number of lines.

2012-03-01  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (search_form): search_form works with relative positions now,
	but match_line returns absolute, and so needs to be offset by -c->base.
	(h_trailer, h_fun): Bugfix: return the absolute position, rather than
	relative c->pos. The return value of these functions becomes the return
	value of do_match_line, so the semantics has to agree.

2012-03-01  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (sem_error, file_err): Bugfix: pull text formatted source
	location using source_loc_str rather than raw object using source_loc.

2012-03-01  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_load): Fixed broken functionality. Failing to evaluate
	directives following the load and consume input properly.
	Check for errors during the parse and throw an exception.

2012-03-01  Kaz Kylheku  <kaz@kylheku.com>

	Fixing two instances of unintentional O(n*n) behavior and poor memory use
	that occur in horizontal matching of basic text patterns.

	* lib.c (match_str, match_str_tree): New functions.

	* lib.h (match_str, match_str_tree): Declared.

	* match.c (do_match_line): Use match_str_tree and match_str when matching
	strings and string lists, respectively, rather than stupidly calling
	search functions and then asserting that the match was found at the
	starting position.

2012-02-28  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (do_match_line): Function takes new argument, "completely".
	The check for completely matching a line is now done within
	do_match_line.
	(match_line): Pass nil to do_match_line, specifying that a prefix
	match is okay.
	(match_line_completely): New interface to do_match_line, which
	requests a match to the end of the line.
	(v_freeform): Pass nil to do_match_line: freeform needs 
	incomplete match semantics.
	(match_files): Use match_line_completely instead of match_line.
	By doing it this way, we do not need to compute the length of
	the original line and compare it to the absolute position.
	This saves time and memory since computing the length of a lazy
	string forces it.

2012-02-28  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (consume_prefix): This memory optimization should only
	be done for lazy strings, otherwise it just causes unnecessary
	memory use by duplicating the line, and inefficiency via
	thanks to allocator churn.

2012-02-28  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (numberp): Fix bad type check: null pointer dereference when
	object is nil.

	* match.c (do_match_line): Bugfix for incorrect treatment of long
	lines. Must return the absolute position from the start of the original
	line (plus(c->pos, c->base)), rather than just c->pos, which only
	measures from the start of a line that may have been chopped by
	consume_prefix.

2012-02-28  Kaz Kylheku  <kaz@kylheku.com>

	Bugfix: rlcp function was incorrect for new way of storing
	line number info.

	* parser.h (rlset): Declared.
	(rlcp): Use rlset.

	* parser.y (rlset): New function.

2012-02-28  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (help, debug): New g command for tweaking log level.

2012-02-28  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c: Missing d command implemented.
	Condense the output to 8 times the screen width, for more context.
	Condense the output in vertical mode (when the entire input line
	is shown) not only character mode.

	* lib.c (remq, remql, remqual): New functions.

	* lib.h (remq, remql, remqual): Declared.

2012-02-29  Kaz Kylheku  <kaz@kylheku.com>

	Version 59

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-02-28  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (sub_list, replace_list, lazy_sub_str, sub_str, replace_str,
	sub_vec, replace_vec): Regression: replace incorrect zerop(to)
	test with to == zero, because to is not necessarily a number.

2012-02-27  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Recognize backslash-newline break in regexes.

2012-02-27  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Substantially revised for better lexical accuracy
	and highlighting of errors.

2012-02-27  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (extract): Check for negative value of opt_nobindings,
	which forces the printing.

	* txr.c (help): Under -b, mention that printing the  word false is
	suppressed also. Added documentation for -B.
	(main): Implemented -B option.

	* txr.1: Documented -B option and added clarifying text under -b
	option explaining the conditions under which bindings are printed.

2012-02-26  Kaz Kylheku  <kaz@kylheku.com>

	Fix the issue properly, once and for all, of how to determine
	that output has taken place and suppress the printing of bindings.

	* debug.c (debug): std_output replaced with std_debug.

	* eval.c (eval_init): Registered new *stddebug* variable.

	* stream.c (std_debug): New variable.
	(stdio_put_string): Check that stream is other than
	std_debug, to determine that output has taken place.

	* stream.h (std_debug): Declared.

	* txr.1: Added *stddebug* to documentation stub heading.

2012-02-26  Kaz Kylheku  <kaz@kylheku.com>

	Fixing long-time (pre-GIT) bug. The object (nil) was stupidly used to
	represent empty optional output clauses, distinguishing them from
	missing clauses. This creates an ambiguity, so that an @(output)
	block which puts out a single empty line is treated as empty.
	Present but empty clauses are now represented by t.

	* match.c (do_output_line): Check for t and bail.
	(do_output): Check for t instead of (nil) and bail.

	* parser.y (o_elems_opt2): Nonterminal deleted.
	(out_clauses_opt): Empty case generates nil.
	(req_parts_opt): o_elems_opt2 replaced by o_elems_opt.
	(repeat_rep_helper): Function now keeps track of which
	clauses were specified. For those that were specified, but
	empty, it substitutes t.

	* tests/008/empty-clauses.expected: New file.

	* tests/008/empty-clauses.txr: New file.

2012-02-26  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35625

	* parser.l (BSCHR, BSYM, BTOK): New lexical definitions.
	(BRACED): New state.
	(grammar): Refactored so that braced variables are now handled
	in the BRACED state, allowing for lexical differences between
	braced variables and Lisp. This allows us to have
	the /regex/ syntax in braces, but /regex/ is just a symbol
	in the Lisp. The new #/ token is recognized and returned
	as HASH_SLASH. All rules reformatted to a more easily
	maintainble convention.

	* parser.y (HASH_SLASH): New token.
	(modifiers, lisp_regex): New nonterminals.
	(var): Grammar changed to use modifiers nonterminal instead of exprs.
	(var_op): Rule moved closer to var.
	(expr): Produces lisp_regex rather than regex.
	(yybadtoken): Handle HASH_SLASH in the switch statement.
	Bugfix: HASH_BACKSLASH was not handled.

	* txr.1: Documented #/regex/ syntax.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c: Updated copyright year.

	* arith.h: Likewise.

	* debug.c: Added copyright header.

	* debug.h: Updated copyright year.

	* eval.c: Likewise.

	* eval.h: Likewise.

	* filter.c: Likewise.

	* filter.h: Likewise.

	* gc.c: Likewise.

	* gc.h: Likewise.

	* hash.c: Likewise.

	* hash.h: Likewise.

	* lib.c: Likewise.

	* lib.h: Likewise.

	* match.c: Likewise.

	* match.h: Likewise.

	* parser.h: Likewise.

	* regex.c: Likewise.

	* regex.h: Likewise.

	* stream.c: Likewise.

	* stream.h: Likewise.

	* txr.c: Likewise, and e-mail address.

	* txr.h: Updated copyright year.

	* unwind.c: Likewise.

	* unwind.h: Likewise.

	* utf8.c: Likewise.

	* utf8.h: Likewise.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	* tests/008/filtenv.expected: New file.

	* tests/008/filtenv.txr: New file.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	Bug #34652

	* match.c (do_txeval): Establish a dynamic env frame around
	evaluation of quasiliteral and around embedded TXR Lisp expression
	(which may contain quasiliterals) and stick the bindings there
	via set_match_context. This way if filte functions are invoked through
	a quasiliteral, they can see bindings.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New put-byte function interned.

	* stream.c (struct strm_ops): New member, put_byte.
	(stdio_put_byte): New function.
	(stdio_ops, pipe_ops, string_in_ops, byte_in_ops,
	string_out_ops, strlist_out_ops, dir_ops): Updated.
	(put_byte): New function.

	* stream.h (put_byte): Declared.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l (num_esc): Skip octal indicator 'o' if present.
	This is needed for character constants.
	(CHRLIT): Fix broken hex constants, being treated as octal.

	* txr.1: Document octal character constants.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	Version 58

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

	* eval.c (eval_init): Updated.

	* rand.c (rand): Function renamed to rnd due to a clash with
	standard C library (that does not show up when compiling as C++).

	* rand.h (rand): Declaration renamed to rnd.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l (source_loc_str): Missing function re-written.
	(Accidentally originally written in lex.yy.c file!)
	(parse_reset): If file can't be opened, try adding .txr suffix
	to it.

	* txr.1: Suffix-handling behavior documented.

2012-02-25  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (clause): "Doh" moment. We don't need the special
	transformation of the load syntax because the parent location
	is already associated with the syntax.

	* match.c (v_load): Pull out source location info from
	the form itself.

2012-02-24  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (debug): Use new way of getting line number.

	* eval.c (eval_error): Use source_loc_str to get source location.

	* match.c (debuglf, sem_err, file_err): Likewise.

	* parser.h (source_loc_str): Declared.

	* parser.l (parse_init): form_to_ln_hash must be equal based now.

	* parser.y (rl): Store new form of read-time source location info.

	* txr.1: Documented load.

2012-02-24  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_load): Sanity checking on target path.
	Check if it is absolute and do not substitute parent
	file's directory.

2012-02-24  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (h_var): Eliminated uses of rl function, in favor of
	rlcp. Only the parser should use rl to establish location info.

2012-02-24  Kaz Kylheku  <kaz@kylheku.com>

	First cut at @(load) directive. Incomplete: debug location info
	needs to record file name, not only line number; absolute paths
	not handled, etc.

	* match.c (load_s): New symbol variable.
	(v_load): New static function.
	(syms_init): load_s initialized.
	(dir_tables_init): Load directive registered.

	* match.h (load_s): Declared.

	* parser.h (parse_reset): New function declared.

	* parser.l (spec_file_str): Global variable moved from txr.c.
	(parse_reset): New function.

	* parser.y (clause): Special handling for @(load ...) directive.
	parent file path inserted into the syntax at parse time,
	so when the load directive executes, it can load the file from
	the same directory as the parent file.

	* txr.c (spec_file_str): Global variable moved to parser.l.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* tests/010/seq.txr: New file.

	* tests/010/seq.expected: New file.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (sub_list, replace_list, lazy_sub_str, sub_str,
	replace_str, sub_vec, replace_vec): Implementing floating zero
	behavior. This is necessary so that the important case index .. (+
	index 1) for selecting one element as a subrange works even if index is
	negative.

	* txr.1: Floating zero behavior for ranges documented.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_loc): del operator's return value is the
	deleted range of values. Missing del cases added for single
	index cases.

	* lib.c (quicksort): Fix pivot selection one more time.
	(length): Fix bad argument in "not a sequence" error.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (quicksort): Incorrect pivot selection.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (del_s): New symbol variable.
	(eval_error): nostatic added to suppress a g++ warning.
	(dwim_loc): Takes new value as the original unevaluated form so
	it can control evaluation. Support for del operator added.
	(op_modplace): Bugfixes: new value form was being unconditionally
	evaluated and out of order w.r.t. other forms. Now there is
	left to right order. The form is evaluated later, since for most
	operators it is on the right, with the exception of push.
	dwim places can now optionally control the evaluation of newform.
	del operator supported in gethash case as a special case.
	error case added for del: if it's not handled in gethash or
	dwim_loc, it is an error.
	(eval_init): del_s initialized, and del operator added to table.

	* txr.vim: syntax highlighting for del.

	* txr.1: Documented del.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (init): Hash bugfix: added missing call to hash_init.
	Previously this function did nothing, but now it interns
	some important symbols.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* hash.c (remhash): Rewrote buggy function.
	It was decrementing the hash count without checking that
	something was deleted from the chain. The deletion was done
	incorrectly, without regard for the kind of comparison fucntion
	used by the hash table.

2012-02-22  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Intrinsic bindings for sub, ref, refset
	and replace.

	* lib.c (do_sort): Static function renamed to sort_list.
	(swap, quicksort, sort_vec): New static functions.
	(sort): Made generic over lists, vectors and strings.
	(refset): New function.

	* lib.h (sort): Declaration updated (parameter name change).
	(refset): Declared.

	* txr.1: Mention refset.

	* txr.vim: Updated with refset.

2012-02-21  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Third argument of gethash becomes optional.

2012-02-21  Kaz Kylheku  <kaz@kylheku.com>

	Introducing optional arguments.

	* debug.c (help, show_bindings): put_string arguments reversed.

	* eval.c (bind_args): Support colon notation in interpreted
	function lambda lists for optional arguments. Improved error checking.
	(apply): Allow optional arguments to be left out.
	(dwim_loc): Reversed arguments to replace_str, replace_vec,
	replace_list.
	(eval_init): Numerous intrinsics now have arguments that are optional.
	New function rand introduced which reverses arguments relative to
	random. New intrinsic function hash introduced for alternative
	construction of hashes.

	* gc.c (sweep): Reversed arguments to put_char.

	* hash.c (weak_keys_k, weak_vals_k, equal_based_k): New keyword
	symbol variables.
	(hashv): New function.
	(hash_init): Intern new symbols.

	* hash.h (weak_keys_k, weak_vals_k, equal_based_k, hashv): Declared.

	* lib.c (colon_k): New keyword symbol variable.
	(replace_list, replace_str, replace_vec): Arguments rearranged.
	(tree_find): testfun becomes optional argument.
	(int_str): base becomes optional argument.
	(func_f0, func_f1, func_f2, func_f3, func_f4, func_n0,
	func_n1, func_n2, func_n3, func_n4,  func_f0v, func_f1v,
	func_f2v, func_f3v, func_f4v, func_n0v, func_n1v,
	func_n2v, func_n3v, func_n4v, func_interp): Initialize optargs to zero.
	(func_n0o, func_n1o, func_n2o, func_n3o, func_n4o): New functions.
	(cobj_print_op): Reversed arguments to put_string.
	(find): testfun and keyfun become optional arguments.
	(replace): Parameters rearranged and arguments rearranged in calls to
	replace_list, replace_str and replace_vec.
	(obj_init): colon_k initialized.
	(obj_print, obj_pprint): Arguments reversed, and stream defaults
	to std_output. Arguments reversed in calls to put_char and put_string.
	(dump): Arguments reversed in call to put_char.

	* lib.h (struct func): sizes of minparam, fixparam bitfields
	adjusted. New bitfield optargs. New unnamed bitfield added so
	the previous ones add up to 16 bits.
	(colon_k): Declared.
	(func_n0o, func_n1o, func_n2o, func_n3o, func_n4o): Declared.
	(replace_list, replace_str, replace_vec, replace): Declarations updated.

	* match.c (debuglf, dump_shell_string, dump_byte_string, dump_var,
	do_output_line, extract): Reversed arguments to put_char and
	put_string.

	* parser.l (yyerrorf): Reversed arguments to put_char.
	(grammar): Recognize : symbol in NESTED state. This is a keyword
	symbol with the empty string as its name.

	* rand.c (rand): New function.

	* rand.h (rand): Declared.

	* stream.c (strlist_out_put_string): Reversed arguments to put_string.
	(strlist_out_put_char): Reversed arguments to put_char.
	(get_line, get_char, get_byte): Stream defaults to std_input.
	(vformat_num, vformat_str, vformat): Reversed arguments to put_char.
	(put_string, put_char, put_line): Arguments reversed; stream defaults
	to std_output.

	* stream.h (put_string, put_line, put_char): Declarations updated.

	* txr.c (oom_realloc_handler): Arguments to put_line reversed.

	* unwind.c (uw_throw): Likewise.

	* txr.1, txr.vim: Updated.

2012-02-19  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Corrected misleading text in description of output
	variables. Lists do not have to be wrapped in @(repeat)/@(rep).
	Indexing notation works on strings and vectors.

2012-02-19  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (sub, ref, replace): New functions.

	* lib.h (sub, ref, replace): Declared.

	* match.c (format_field): Generic indexing using new functions.

	* txr.1: Documentation stub.

	* txr.vim: Highlighting for new functions.

2012-02-18  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (extract_vars): If a brace var is actually an
	expression, then recurse into the expression to find
	variables. This allows us to do things like @{`@x`} inside
	a @(repeat) or @(rep).

2012-02-18  Kaz Kylheku  <kaz@kylheku.com>

	Allow braced output variables to actually be arbitrary substitutions.

	* eval.c (subst_vars): Treat the variable as an arbitrary
	expression rather than just a symbol.

	* match.c (subst_vars): Likewise.

	* parser.y (o_var): Further simplification. The first item in
	an output var is an expr and not an IDENT.

	* txr.1: Updated.

	* txr.vim: Likewise.

2012-02-18  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (o_var): Remove productions from grammar by using exprs_opt.

2012-02-17  Kaz Kylheku  <kaz@kylheku.com>

	Reimplementation of how TXR decides whether to dump bindings
	or not. This is now done right inside the standard output stream.

	* match.c (output_produced): Variable removed.
	(complex_open): Assignment to output_produced removed.

	* stream.c (output_produced): New global variable.
	(stdio_put_string, stdio_put_char): Set output_produced
	to t if the target of the output is stdout.

	* stream.h (output_produced): Declared.

	* txr.h (output_produced): Declaration removed.

2012-02-17  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_loc): 2012-02-13 fix didn't do it. 
	Here is a simpler way. We can let nil be treated as a list with a
	simple goto. This solves all cases.

2012-02-16  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Register match-fun.

	* match.c (v_do): Store match context.
	(match_fun): New function.

	* match.h (match_fun): Declared.

	* stream.c (streamp): New function.

	* stream.h (streamp): Declared.

	* txr.1: Stub section for match-fun.

	* txr.vim: Highlight match-fun.

2012-02-16  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (match_funcall): Function renamed to match_filter.

	* match.h (match_funcall): Declaration updated.

	* filter.c (get_filter): Updated.

2012-02-16  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_catch): Treat the nil exception object as an empty
	list, and not the atom nil.

	* match.c (v_try): Do not transform an atomic exception x into
	the list ((t . x)). Just to (x). This (t . x) representation is
	a vestige of from the time when the exception consisted of the
	old-style return values from txeval.

2012-02-16  Kaz Kylheku  <kaz@kylheku.com>

	TXR Lisp gets exception handling.

	* eval.c (op_catch, expand_catch_clause,
	expand_catch): New static functions.
	(expand): Handle catch operator.
	(eval_init): Added catch operator to op_table,
	and registered new functions throw, throwf and error.

	* txr.1: Documented catch operator and created
	stub section for throw, throwf and error.

	* txr.vim: Updated.

	* unwind.c (uw_throwfv, uw_errorfv): New functions.

	* unwind.h (uw_throwfv, uw_errorfv): Declared.

2012-02-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (rangev_func, rangev, range_star_v_func,
	range_star_v): Regression: handle the case where the range is
	open-ended (to is nil).

2012-02-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (rangev): If a descending range is specified,
	but the step is omitted, the step should be negative one
	rather than one.
	(range_star_v_func, range_star_v): New static functions.
	(eval_init): New function, range*, registered.

	* txr.1: Stub section for range is also for range*.

	* txr.vim: Recognize range* function.

2012-02-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (rangev_func): Improved termination test. The sequence
	not only if it achieves the endpoint, but if it crosses it.

2012-02-13  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_loc): Allow assignment to the dwim place when it
	evaluates to nil, by building a form targetting the place,
	and recursing into op_modplace.  Also, optimization: don't use eval
	on a form built from the operator; just go to op_modplace directly.

2012-02-13  Kaz Kylheku  <kaz@kylheku.com>

	Version 57

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-02-13  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (subst_vars): Handle lone symbols (not wrapped
	in sys::var form) as variables. This allows interpretation of metanums
	in quasiliterals, because these are replaced by variables in the
	op expander.

	* parser.l: Recognize METANUM in QSILIT state.

	* parser.y (quasi_item): METANUM parsed in quasiliteral.

	* txr.vim: Metanums highlighted properly.

2012-02-13  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_loc, op_dwim): Bugfix: hash indexing requiring
	at least two arguments, rather than at least one.

2012-02-12  Kaz Kylheku  <kaz@kylheku.com>

	* HACKING: Added note about register save areas, which can contribute
	to spurious retention.

2012-02-12  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (breakpoints, last_command): linkage changed to static.
	(cols): New static variable.
	(debug): Print context intelligently, fitting into the width of
	the screen.
	(debug_init): Try to get terminal width, from the COLUMNS variable.

2012-02-12  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (lazy_flatten): Bugfix: function was assuming that
	the input is a list, and not handling the case
	atom -> (atom) like its non-lazy counterpart.
	This broke @(next :list expr).

2012-02-12  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (obj_print): Print control characters in string and
	character literals as hex escapes, followed by semicolon if
	necessary. Don't use iswprint function since it is locale-specific
	and concludes that non-ASCII characters are unprintable.
	Changed print syntax for lazy strings.
	(obj_pprint): Changed print syntax for lazy strings.

	* parser.l: Bugfix in hex/octal character constant.
	num_esc(yytext) was called rather than num_esc(yytext+1).

	* parser.y (chrlit): Bugfix: missing case for hex and octal
	constants which are given by a LITCHAR token.

	* stream.c (vformat): Bugfix: strings were being printed as if using ~a
	even under ~s.

2012-02-12  Kaz Kylheku  <kaz@kylheku.com>

	Task #11486

	* match.c (h_coll): Call consume_prefix in the loop.

2012-02-12  Kaz Kylheku  <kaz@kylheku.com>

	Task #11486: continuation. Take into account base position
	in debug reporting.

	* debug.c (debug): New argument, base.

	* debug.h (debug_check): New argument, base.
	(debug): Declaration updated.

	* eval.c (do_eval): Pass new argument of debug_check as nil.

	* match.c (LOG_MISMATCH, LOG_MATCH): Take into account base
	when displaying character position.
	(do_match_line): Pass base position to debug_check.
	(match_files): Pass nil as base to debug_check.

2012-02-11  Kaz Kylheku  <kaz@kylheku.com>

	Task #11486: continuation. Now able to @(skip) through
	a large file horizontally under @(freeform) in constant memory.
	Position reporting is incorrect.

	* match.c (match_line_ctx): New member, base.
	(ml_all): Initialize new member to zero.
	(consume_prefix): New static function.
	(do_match_line): New static function, contains implementation of
	match_line. Calls consume_prefix.
	(match_line): Becomes a wrapper for do_match_line.
	(search_form, h_skip): Call consume_prefix.
	(freeform_prepare): New function. External to avoid inlining.
	(v_freeform): Uses do_match_line, to down context by reference,
	and also refactored to avoid spurious retention of c->data.

	* unwind.c (uw_push-block, uw_push_env, uw_push_debug,
	uw_push_catch): Zero out the structure, otherwise the unused
	fields can cause spurious retention.

2012-02-09  Kaz Kylheku  <kaz@kylheku.com>

	Task #11486: preparatory refactoring.

	* match.c (h_match_func): Changed to one-argument form.
	(LOG_MISMATCH, LOG_MATCH): References to structure members
	changed from member selection . to ->.
	(h_text, h_var, h_skip, h_coll, h_parallel, h_trailer,
	h_fun, hv_trampoline, h_define, h_do): Changed to one-argument form
	that takes a pointer to the context.
	(match_line): Local pointer named c used so that the
	LOG_MISMATCH and LOG_MATCH macros can be used.

2012-02-09  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (lazy_sub_str): New static function.
	(sub_str): Bugfix: handle t values of from from and to, and negative
	indices, just like sub_vec.  Special handling for lazy strings
	introduced.  If to is the value t, then the a lazy string can be
	produced.

2012-02-05  Kaz Kylheku  <kaz@kylheku.com>

	* genman.txr: Updated.

	* txr.vim: Fixed mistakes in a few regex character classes,
	causing upper case letters not to be recognized as part
	of a variable name, and character hex constant.

2012-02-05  Kaz Kylheku  <kaz@kylheku.com>

	Version 56

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-02-05  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l: Allow semicolon terminator on hex and octal
	escapes in a regex. Removed o escape character from octal
	constants in strings and quasiliterals: no such thing is documented.
	Octal constants can be semicolon-terminated like hex ones.

	* txr.1: Documented semicolons after octal constants in
	string literals and after hex and octal constants in regexes.

2012-02-05  Kaz Kylheku  <kaz@kylheku.com>

	* utf8.c (utf8_from_uc, utf8_decode): Some cascaded if tests converted
	to a switch on the upper nybble value. This also fixes an unfortunate
	bug. The test for the two byte case was written as 
	ch >= 0xc2 && ch <= 0xE0. That should have been ch < 0xE0.
	Versions of TXR up to 55 have been incorrectly decoding some UTF-8.

2012-02-04  Kaz Kylheku  <kaz@kylheku.com>

	* utf8.c (utf8_from_uc): Bugfix: incorrect condition in character
	range check (less than minimum *and* U+DCxx, rather than *or*).
	Also, we must check for out of range characters. UTF-8 sequences
	beginning with F4 can code beyond 0x10FFFF.
	(utf8_decode): Check for characters beyond 0x10FFFF.

2012-02-03  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (rest_s, op_s): New variables.
	(do_eval_args): Allow calls specified by improper lists
	like (x y . z) where the z expression must evaluate to a list 
	that turns into addition arguments to be applied.
	(transform_op, expand_op): New static functions.
	(expand): Call expand_op.
	(eval_init): Initialize rest_s and op_s. Use rest_s
	to register rest function.

	* lib.c (gensym): New function based on gensymv.
	(gensymv): Now calls gensym.

	* lib.h (gensym): Declared.

	* parser.l: Parse @ followed by digits as a new kind of token,
	METANUM.

	* parser.y (METANUM): New token.
	(meta_expr, exprs): Missing rlcp's added.
	(expr): METANUM variant introduced.
	(yybadtoken): Handle METANUM.

	* txr.1: Documented one-symbol argument list of lambda.
	Documented op. Closed some unbalanced parentheses.

	* txr.vim: Highlight op.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	* utf8.c (utf8_from_uc, utf8_decode): Use upper case for hex constants.
	If bytes decode to U+DCxx, treat this sequence as invalid. This
	way we can't be fooled by an attacker into accepting some U+DCxx which
	on output we will then convert to byte xx.
	(utf8_to_uc): Use upper case for hex constants.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	* utf8.c (utf8_to_uc, utf8_encode): Do not encode surrogate code
	points (U+DC00 to U+DCFF) as multi-byte UTF8 sequences.  We use
	that range for invalid bytes on input, so on output the best thing
	to do is to reproduce the original bytes. E.g the code U+DCA0
	will produce the byte A0.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: UTF-8 handling clarified.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	* utf8.c (utf8_from_uc, utf8_decode): Impose a minium value on the
	decoded character based on which UTF-8 case it is from.  This rejects
	overlong forms.

	* utf8.h (struct utf8_decoder): New member, wch_min.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Document that TXR accepts UTF-8 overlong forms.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Move error match before other cases and simplify.
	Comment are colorized properly again.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	This test case would have caught the prior regression.

	* Makefile (TXR_ARGS): Defined for new test case.

	* tests/010/align-columns.dat: New file.

	* tests/010/align-columns.expected: New file.

	* tests/010/align-columns.txr: New file.

2012-02-02  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (format_field): Regression. Was not handling modifiers
	which are compound expression (e.g. computed field widths).
	This was broken by the first commit of 2012-01-26.

2012-02-01  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (lookup_sym_lisp1): New function.
	(do_eval, do_eval_args): New static functions.
	(eval, eval_args): Become wrappers for do_eval and do_eval_args,
	respectively.
	(eval_lisp1, eval_args_lisp1): New static functions.
	(dwim_loc, op_dwim): Use eval_lisp1 and eval_args_lisp1 instead
	of eval and eval_args.

	* parser.y (meta_expr): Bugfix: expand the whole dwim expression,
	rather than its arguments, which are not an expression.

	* txr.1: Updated with notes that dwim really does Lisp-1 style
	evaluation.

2012-01-29  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: More color categories. More accurate matching of @ elements.

2012-01-27  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l: Support hex and octal escapes in string and quasiliterals,
	as the documentation says. Also support an optional trailing ;
	delimiter in hex escapes.

	* txr.1: Documented.

2012-01-27  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Properly show @[...] inside quasiliteral.

2012-01-27  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_loc, op_dwim): Relax the requirement on hash
	indexing arguments. The default value can be omitted,
	defaulting to nil.

2012-01-27  Kaz Kylheku  <kaz@kylheku.com>

	* hash.c (hash_begin): Missing type check added, otherwise
	passing in an object that is not a hash results in corruption
	or crashing behavior.

	* lib.c (class_check): Improved to a one-step check with a clear
	message.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	Version 55

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_modplace): Fix warning caught by gcc, but not g++.

	* lib.c (replace_list): Fix code that is valid C++ but not C.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (replace_list): Always convert the input items to a list,
	even in the trivial case that an empty list is being replaced.
	Allow a string to be the replacement (split into a list of
	characters).
	(replace_str): Bugfix in assignment from vector; wrong index
	used over source vector.
	(split_str): If the splitting set is empty, just split the
	string into characters instead of getting into an infinite loop.
	(replace_vec): Allow replacement source to be a string.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus, minus): Better wording in error messages.

	* eval.c (dwim_loc): Assignments to string indices and ranges
	supported. New arguments for this purpose.
	(op_modplace): Use new dwim_loc interface for returned value.
	(op_dwim): Support assignment to string ranges.
	(eval_init): replace_str registered.

	* lib.c (string_extend): If the argument is a number, let it
	specify the amount by which to extend the string.
	(replace_str): New function.

	* lib.h (replace_str): Declared.

	* txr.1: Updated.

	* txr.vim: Updated.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (listref, listref_l): Negative indices must have semantics
	consistent with vecref and ranges.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (cat_str): Throw error if one of the list elements
	is not a character or string instead of silently returning nil.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: More discussion of ranges.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (format_field): Removed useless use of cat_str (no longer
	needed because str is already a string). The purpose was to reduce
	character to strings.
	(subst_vars): Some of the new logic in format_field must be replicated
	in the case when format_field is not called because the variable
	has no modifiers. Lists must be converted to a space-separated string.
	Bugfix here: occurence of pat and modifiers is not mutually exclusive.

2012-01-26  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_loc, dwim_op): Eliminated redundant re-evaluation
	of range arguments. They are already evaluated since the cons
	expression is evaluates as part of the dwim arglist.
	Replaced some open code with function calls to the new listref
	and listref_l functions.
	(tostring, tostringp): made extern and moved to lib.c.

	* lib.c (listref, listref_l): New functions.
	(tostring, tostringp): moved here from eval.c.

	* lib.h (listref, listref_l, tostring, tostringp): Declared.

	* match.c (format_field): Handle index and range references.

	* txr.1: Documented new output variable syntax.

2012-01-25  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_loc): Handles full responsibility for assigning
	to list and array ranges.
	(op_modplace): Pass extra arguments to dwim_loc so it can
	do the job for ranges. If dwim_loc returns 0, it means
	that it did everything.
	(op_dwim): Support list and array ranges.

	* txr.1: Documented.

2012-01-25  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (zerop): Misspelling in error message.

	* lib.c (sub_list, replace_list, sub_vec, replace_vec):
	Allow the value t to specify one element past the end, so that t t
	refers to zero-length sequence just past the end of the array or list.
	Also, fixed out of bounds memmoves in replace_vec.

2012-01-25  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New functions registered.

	* lib.c (sub_list, replace_list, vectorp): New functions.
	(sub_vec): Allow negative indices from end of array.
	(replace_vec): New function.

	* lib.h (sub_list, replace_list, vectorp, replace_vec): Declared.

	* parser.l (DOTDOT): Scan .. as new token.

	* parser.y (DOTDOT): New token.
	(expr): New syntax with DOTDOT.
	(yybadtoken): Handle DOTDOT.

	* txr.vim: Added new functions. Also missing append* and dwim.

	* txr.1: Updated.

2012-01-25  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim (txr_chr): Fix for highlighting named characters
	like #\newline.

2012-01-25  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dwim_s): New symbol variable.
	(dwim_loc, op_dwim): New static functions.
	(op_modplace): Support assignment to dwim forms
	with the help of dwim_loc.
	(expand_place): Handle dwim places.
	(eval_init): Initialize dwim_s. Register dwim operator
	in op_table.

	* eval.h (dwim_s): Declared.

	* lib.c (chr_str, chr_str_set): Allow negative indices to index
	backwards from end of string.
	(vecref, vecref_l): Allow negative indices to index from
	rear of array.
	(obj_print, obj_pprint): Render (dwim ...) forms as [...].

	* parser.l: Peoduce new METABKT token type for @[,
	and '[', ']' tokens.

	* parser.y (METABKT): New token. %type declaration for '['.
	(list): Support square-bracket style of list, translated
	into dwim form.
	(meta_expr): Support @[...] variant.
	(yybadtoken): Handle METABKT in switch.

	* txr.1: Documented [...] syntax and dwim operator.

	* txr.vim: Updated.

2012-01-21  Kaz Kylheku  <kaz@kylheku.com>

	Version 54

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-01-21  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (help): Added missing help for w command.
	(debug): In backtrace, show the renaming pairs for unbound
	variables (up_p_a_pairs) if they are present.

	* debug.h (debug_begin): Renamed to debug_frame.

	* eval.c (eval): Wrap debug_begin/debug_end around function dispatch,
	so TXR Lisp functions are included in backtraces.

	* match.c (h_fun): Follow rename of debug_begin to debug_frame.
	Pass in evaluated args, not the original ones.
	(v_fun): Likewise.

	* unwind.c (uw_push_debug): bindings argument renamed to env.
	Bugfix: args argument was being assigned to ub_p_a_pairs.

	* unwind.h (struct uw_debug): Member bindings renamed to env.
	(uw_push_debug): Declaration updated.

2012-01-21  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (last_command): Do not initialize with lit();
	this is not a constant expression in C.
	(debug): Handle the situation here.

2012-01-21  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (help): Filled in.
	(debug): Some commands changed due to duplicates.

2012-01-21  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_fun): Removing all debugging instrumentation.
	(match_files): Moving debug_check out of directive case so
	it covers all forms handled by loop. All this makes the n
	command in the debugger work better: not skip over
	function calls or horizontal material.

2012-01-21  Kaz Kylheku  <kaz@kylheku.com>

	Improved debugging. Debug nesting depth counter maintained
	and used for next/step/finish stepping.

	* Makefile (OBJS): debug.o moved to OBJS-y or OBJS-.
	(OBJS-y, OBJS-): New variables.
	$(PROG): Depends on OBJS-y also.
	clean: clean $(OBJS-y).
	depend: include $(OBJS-y) in dependency generation.

	* configure: Underscores and dashes are interchangeable in
	configure variables.
	(yaccname_given, yacc_given): Default value is y, not yes.
	(debug_support): New config variable.
	(CONFIG_DEBUG_SUPPORT): New config.h symbol.

	* debug.c (debug_depth): New global variable.
	(debug_block_s): New symbol variable.
	(next_depth): New static variable.
	(debug): Renamed some commands. Introduced separate next, step
	and finish.
	(debug_init): debug_block_s initialized.

	* debug.h (debug_depth, debug_block_s): Declared.
	(debug_enter, debug_leave, debug_return): New macros.
	(debug_check, debug_init): Conditionally defined based on
	if this is a debug build.

	* dep.mk: Regenerated.

	* eval.c (eval): Instrumented with debug_enter, debug_leave,
	debug_return.

	* match.c (match_line, v_fun, match_files): Likewise.

	* txr.c (txr_main): Bail if -d or --debug used in build
	that lacks debug support.

2012-01-19  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (last_command): Initialize to empty string rather
	than nil, otherwise hitting enter tries to repeat the nil command.
	(show_bindings): New function. Prints all levels of bindings.
	(debug): Flip the corresponding print flags after printing the current
	form or data, so they are not printed for every prompt.
	On EOF from standard input, substitute the q command.
	If enter is hit and there is no last command, just re-print the prompt.
	The v command uses show_bindings to dump the environment.

	* eval.c (eval): When calling debug_check, pass the env objects, rather
	than the bindings it contains.

2012-01-19  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (car_l, cdr_l): Bugfix: do not call the lazy cons
	force function if it is already nil, and set it to nil afterward.

2012-01-12  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Make lazy_appendv function
	available as append*.

	* txr.1: Documented.

2012-01-11  Kaz Kylheku  <kaz@kylheku.com>

	Before releasing 53, there is this.

	* eval.c (c_var_mark): Bugfix: we cannot use cptr_get from
	within the garbage collector because of its type check.
	Bugfix: synchronize the shadow binding with the variable's
	current contents so we don't hang on to a stale object.

2012-01-11  Kaz Kylheku  <kaz@kylheku.com>

	Version 53

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2012-01-11  Kaz Kylheku  <kaz@kylheku.com>

	TXR Lisp regression in C global variables.

	* eval.c (struct c_var): New struct type.
	(lookup_var, lookup_var_l): cptr type bindings now point to a struct
	c_var, which has to be handled properly here.
	(c_var_mark): New static function.
	(c_var_ops): New static struct.
	(reg_var): Register variables using struct c_var to provide
	a pointer to the location and a cached cons that can be
	returned as a binding.

2012-01-11  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (each_s, each_star_s, collect_each_s, collect_each_star_s):
	New symbol variables.
	(op_each): New static function.
	(expand): Handle the four new operators.
	(eval_init): Intern new symbols, register new operators.

	* txr.1: Documented each, each*, collect-each and collect-each*.

	* txr.vim: Updated.

2012-01-11  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): list_str registered.

	* lib.c (list_str): New function.

	* lib.h (list_str): Declared.

	* txr.1: Doc stub section created.

	* txr.vim: Updated.

2012-01-10  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (generate): Bugfix: do not call gen_fun before
	testing while_pred.

2012-01-10  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (tostring, tostringp): New static functions.
	(eval_init): New functions registered.

	* txr.1: Stub sections created.

	* txr.vim: Updated.

2012-01-10  Kaz Kylheku  <kaz@kylheku.com>

	Spat of new features having to do with lazy processing.

	* eval.c (prog1_s, gen_s, generate_s, delay_s, promise_s): New symbol
	variables.
	(eval_prog1, op_prog1, expand_gen, expand_delay): New static functions.
	(expand): Handle gen and delay.
	(lazy_mapcar_func, lazy_mapcar, lazy_mapcarv_func, lazy_mapcarv,
	lazy_mappendv): New static functions.
	(rangev_func, rangev, generate_func, generate, repeat_infinite_func,
	repeat_times_func, repeatv, force): New static functions.
	(eval_init): New operators and functions interned.
	lazy-flatten renamed to flatten*.

	* lib.c (null_f): New global variable.
	(ltail, lazy_appendv): New functions.
	(lazy_appendv_func): New static function.
	(obj_init): null_f protected and initialized.

	* lib.h (null_f, ltail, lazy_appendv): Declared.

	* txr.1: Documented.

	* txr.vim: Updated.

2012-01-09  Kaz Kylheku  <kaz@kylheku.com>

	Non-broken way to achieve intent of previous commit.

	* eval.c (subst_vars): Do not evaluate modifiers
	as an argument list locally. Pass form-evaluating
	function to format_field.

	* match.c (format_field): Modified to accept new argument,
	a one-argument function for reducing a form to a value.
	Error checking for invalid modifiers made stricter.
	(subst_vars): Do not evaluate modifiers as an argument
	list. Pass form-evaluating function to format_field.

	* match.h (format_field): Declaration updated.

2012-01-09  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (subst_vars): Evaluate the
	modifiers, so expressions can be used.

	* match.c (subst_vars): Likewise,
	but using txeval.

2012-01-07  Kaz Kylheku  <kaz@kylheku.com>

	Version 52

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated. Wrong December dates fixed.

2012-01-06  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (fuzz_s): New symbol variable.
	(v_fuzz): New static function.
	(syms_init): fuzz_s initialized.
	(dir_tables_init): v_fuzz entered into v_directive_table.

	* txr.1: Documented @(fuzz).

2012-01-06  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_gather): Implemented until/last clause.

	* parser.y (gather_parts, additional_gather_parts): New nonterminals.
	(gather_clause): Syntax refactored for until/last clause.

	* txr.1: Updated.

2012-01-02  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Fix regression introduced in
	2011-12-29 commit. We can't use mod_s, because the module
	which sets up that variable is not yet initialized.

2012-01-01  Kaz Kylheku  <kaz@kylheku.com>

	Make C globals in TXR Lisp properly assignable, so that for instance
	assigning *stdout*, it really overwrites the underlying C variable.

	* eval.c (lookup_var): Handle new kind of toplevel binding.
	If the hash value is a cptr, it points to a val storage location.
	(lookup_val_l): New function.
	(op_modplace): Get location of variable using lookup_val_l
	rather than assuming there is a cons-based binding.
	(reg_var): Argument changed to val * pointer.
	Register the variable as a cptr referencing the location.
	(eval_init): reg_var calls pass address of each global.

	* eval.h (lookup_var_l): Declared.

2012-01-01  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New gensym function registered.

	* lib.c (gensym_counter): New variable.
	(gensymv): New function.
	(obj_init): Initialize gensym_counter.

	* lib.h (gensym_counter, gensymv): Declared.

2011-12-30  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (counter_k): New keyword symbol variable.
	(do_output_line): Process new :counter argument of rep.
	(do_output): Ditto, for repeat.
	(syms_init): Intern new keyword symbol.

	* match.h (counter_k): Declared.

	* parser.l (REPEAT, REP): Lexical syntax changed to
	allow arguments.

	* parser.y (repeat_rep_helper): Takes extra argument, representing
	the repeat/rep args. This is inserted into the second position
	of the output list.
	(repeat_clause, rep_elem): Extract repeat/rep arguments and
	pass to repeat_rep_helper.
	(yybadtoken): Do not put quotes around the word "number".

	* txr.1: Updated.

2011-12-29  Kaz Kylheku  <kaz@kylheku.com>

	New functionality: mod and modlast directives in repeat and rep.

	* eval.c (eval_init): Use new symbol variable mod_s instead
	of calling intern.

	* match.c (mod_s, modlast_s): Symbol variables defined.
	(do_output_line): mod and modlast directives implemented under rep.
	(do_output): likewise under repeat.
	(syms_init): Initialize new symbol variables.

	* match.h (mod_s, modlast_s): Declared.

	* parser.l (MOD, MODLAST): Parse new token types.

	* parser.y (MOD, MODLAST): New tokens.
	(repeat_parts_opt, rep_parts_opt): New syntax.
	(repeat_rep_helper): Handle mod and modlast syntax.

	* txr.1: Updated.

	* txr.vim: Updated.

2011-12-29  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (repeat_rep_helper): Bugfix. Circular lists
	were being created here when clauses of the same kind appear multiple
	times. The problem is that append2 no longer copies the second list,
	which the code was relying on it to do.

2011-12-29  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Useless sentence under reduce-left and reduce-right removed.
	Missing Description headings added.

2011-12-28  Kaz Kylheku  <kaz@kylheku.com>

	* genman.txr: Updated for recent man page changes.

2011-12-28  Kaz Kylheku  <kaz@kylheku.com>

	Version 51

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-28  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Capitalize TXR where it makes sense.
	Introductory text rewritten.

2011-12-28  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (LOG_MATCH): Use < in format directive instead of -.

	* rand.c (random): Add back missing declaration.

2011-12-28  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (quasi_item): Switch from var to o_var. This fixes
	cases like `@a@(foo)@b` where foo was being translated
	to (foo) rather than (sys:expr foo).

2011-12-27  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/shrink-mpi-int (mpi_int): Fixed terrible bug in this
	patch, resulting in an insufficient bit field width for representing
	the allocation size of the MPI integer on 32 bit platforms.

2011-12-27  Kaz Kylheku  <kaz@kylheku.com>

	* rand.c (make_state): Use ANSI C syntax for prototyped function of no
	arguments. This snuck through due to working with a C++ compiler.
	(random): Fixed unused variable warning that happens on 32-bit-pointer
	platforms.
	
2011-12-25  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Formatting fixes.

2011-12-25  Kaz Kylheku  <kaz@kylheku.com>

	* dep.mk: Overdue update.

2011-12-25  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_next): Change flatten to lazy_flatten in the
	correct place. In the previous commit I did it in the code that handles
	the obsolescent :var syntax.

2011-12-25  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New function interned.

	* lib.c:x (lazy_flatten_scan, lazy_flatten_func): New static functions.
	(lazy_flatten): New function.
			
	* lib.h (lazy_flatten): Declared.

	* match.c (v_next): Use lazy_flatten instead of flatten for
	processing a :list source. This means that @(next :list ...)
	can be used to process infinite lazy lists.

	* txr.1: Documented lazy-flatten.

2011-12-23  Kaz Kylheku  <kaz@kylheku.com>

	* rand.c (rand32): Moved.
	(make_random_state): After initializing, retrieve eight
	random numbers to clear pathological initial behavior
	leading to duplicate values.

2011-12-23  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (highest_bit): Changing to external linkage.

	* arith.h (highest_bit): Declared.

	* rand.c (random): Rewrote using different algorithm which
	ensures even distribution, and avoids doing a bignum mod
	operation.

2011-12-23  Kaz Kylheku  <kaz@kylheku.com>

	Version 50

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-23  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (memql): New function.
	(some_satisfy): Return the first non-nil result, rather than t.
	(all_satisfy): Return the value of the last item, if all items
	are processed.

	* lib.h (memql): Declared.

	* txr.1: Documented memq, memql, memqual, tree-find, some,
	all, none, eq, eql and equal.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented copy-list, reverse, nreverse, ldiff and flatten.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Documented reduce-left and reduce-right.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35010

	* match.c (extract_bindings): Make sure there are no duplicate
	variables among the extracted bindings. This is needed because
	of the other changes.
	(do_output_line, do_output): In handling the rep/repeat directives,
	append the original bindings to the extracted set bindings for the
	variables which just occur in the clause, so that Lisp code can see all
	of the variables.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): If width is specified for ~s or ~a, and
	the object is not a string or number, then print it to a string
	and treat it as a string, adjusting it within the field.
	Also, do not simply abort on an unknown format directive
	but throw a proper exception.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): Left-adjusted field is now  specified
	using < rather than '-'. The +, space and leading 0 are
	specified on the precision, not the width.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	* rand.c (random): Fix for 64 bit fixnums: stick two random numbers
	together. Otherwise for fixnum moduli, we get only a 32 bit number no
	matter what the modulus is.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (vformat): Combine ~a and ~s cases, so numbers and
	strings are printed the same way under ~s and ~a.  The only difference
	is printing other kinds of objects.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35026

	* stream.c (format_num): New argument: sign character.
	Rewrote to handle precision, width, zero padding and
	leading sign similarly to printf.
	(vformat): New syntax accepted: a space or + before
	the width specifies that a positive sign is to be
	explicitly written as a space or + character.
	Pass one more argument to vormat_num calls.
	Bugfix: go back to vf_init state after processing ~~.

2011-12-22  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35136 and cleanup.

	* arith.c (plus, minus, mul, gt, ge, lt, le, exptmod, gcd): Remove
	trailing abort; we already marked uw_throwf as noreturn. This hack
	should not be needed in functions where the last statement is a throw.
	(trunc, expt): Repeated error case handled in one place. Temp variable
	used to avoid two calls to mp_clear. Call to abort removed.
	(mod): Repeated error handed in one place. Plugged memory leak
	by moving throw past mp_clear calls. Call to abort removed.
	(isqrt): Repeated error case handed in one place.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Fixed to char literal syntax.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/bit-search-optimizations (s_highest_bit):
	It will take days to completely wipe the egg off my face.
	I forgot to fix this code for unsigned integers before
	pasting it into MPI.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (normalize): Linkage changed to extern.

	* arith.h (normalize): Declared.

	* rand.c (random): Bugfix: normalize the bignum before returning it.

	* txr.1: Doc stubs for PRNG functionality.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	* rand.c: Added comment about source of algorithm.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	* rand.c (random): Bugfix: not building up sufficiently large bignums.
	Work properly when mp_digit is smaller than 32 bits.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	* Makefile (OBJS): new object file, rand.o.

	* eval.c: Includes rand.h header.
	(eval_init): New variable and functions from rand module registered.

	* lib.c: Includes rand.h header.
	(init): Call rand_init.

	* rand.c: New file.

	* rand.h: New file.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35139

	Better fix.

	* parser.y (YYEOF): If YYEOF is not defined, define it as zero.
	(yybadtoken): Undo previous changes: do not test for zero.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35139

	* parser.y (yybadtoken): The current token (yychar) is 0 on byacc
	rather than YYEOF or YYEMPTY, so we have to handle that.

2011-12-21  Kaz Kylheku  <kaz@kylheku.com>

	* Makefile (distclean): use rm -rf on mpi directory.

2011-12-20  Kaz Kylheku  <kaz@kylheku.com>

	Test case for bug #35137

	* tests/007/except-2.expected: New file.

	* tests/007/except-2.txr: New file.

2011-12-20  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New function registered.

	* lib.c (cat_vec): New function.

	* lib.h (cat_vec): Declared.

	* txr.1: Documentation stub.

2011-12-20  Kaz Kylheku  <kaz@kylheku.com>

	Bug #35137

	* unwind.c (uw_unwind_to_exit_point): When jumping to a catch frame,
	do not mark it invisible.

	* unwind.h (uw_catch): Flip the matches to nil so that this catch
	frame can no longer be identified as an unwind point by uw_throw,
	and thus will not be re-entered for the purposes of handling
	an exception. It remains visible for the purposes of running the
	clean up code.
	(uw_unwind): Prior to executing cleanup forms, flip the visibility
	to 0. This means that the frame will no longer be re-entered
	for any reason.

2011-12-20  Kaz Kylheku  <kaz@kylheku.com>

	Streamlining exception handling macros a little bit.

	* eval.c (op_unwind_protect): Use uw_simple_catch_begin,
	and remove the uw_catch (exsym, exvals) clause. Put
	explicit braces around the unwind code even though it
	is only one statement.

	* match.c (do_txeval): Got rid of empty uw_unwind clause.
	This is not needed any longer.
	(v_try): Got rid of explicit uw_do_unwind calls. 

	* unwind.h (uw_simple_catch_begin): New macro.
	(uw_do_unwind): Macro removed.
	(uw_catch): Added goto uw_unwind_label at the front.
	This way if the previous clause falls through,
	control goes to the unwind logic.
	(uw_unwind): Got rid of initial break. Previous
	clause should fall through to unwind logic,
	whether it is the main clause, or one of the catches.
	(uw_catch_end): Default case aborts, because
	we don't expect this.

2011-12-20  Kaz Kylheku  <kaz@kylheku.com>

	Critical regression. Hash lookup was crashing on some platforms
	due to negative hashing values being reduced modulo table size
	to a negative array index.

	* hash.c (equal_hash, eql_hash): Ensure
	that value returned is in the range [0,NUM_MAX].
	(hash_obj): Unused function removed.
	(cobj_hash_op): Use hashing similar to eql hash for
	other kinds of references.
	(hash_eql, hash_equal): Removed bogus % NUM_MAX reduction.

	* hash.h (hash_obj): Declaration removed.

2011-12-20  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New functions registered as intrinsics.

	* lib.c (copy_vec, sub_vec): New functions.

	* lib.h (copy_vec, sub_vec): Declared.

	* txr.1: Stub sections created.

2011-12-19  Kaz Kylheku  <kaz@kylheku.com>

	Version 049

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-19  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (subst_vars, op_quasi_list, expand_quasi): New static
	functions.
	(expand): New case for quasiliterals.
	(eval_init): Register quasi literal as special operator.

	* match.c (format_field): Linkage changed to external.

	* match.h (format_field): Declared. Declarations rearranged.

2011-12-18  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (bindings_helper): Fix format arguments.
	(eval_init): Registered new functions: symbol-function,
	func-get-form, func-get-env, functionp, interp-fun-p.

	* lib.c (nappend2, getplist_f, improper_plist_to_alist):
	tail variable renamed to avoid clash in macro.
	(func_get_form, func_get_env, interp_fun_p): New functions.

	* lib.h (func_get_form, func_get_env, interp_fun_p): Declared.
	(list_collect): Fix macro not to throw error, but handle the case.

	* match.c (vars_to_bindings, extract_bindings): tail variable
	renamed to avoid clash in macro.

	* txr.1: Documentation stubs.

2011-12-16  Kaz Kylheku  <kaz@kylheku.com>

	* hash.c (equal_hash): Eliminating displacement from character
	hashes. Simplifying some code.
	(eql_hash): Handle fixnums, characters and literals specially,
	rather than hashing all value types the same way. The shift
	applicable for object pointers causes adjacent integers to clash.

2011-12-16  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (expand_vars): Bugfix: use expand_forms rather than
	expand on a list of forms.

2011-12-16  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: iskeyword updated.

2011-12-15  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (appendv): bugfix: wrong way test.
	(vector_list): Wrong zero used, resulting in vector(nil) being called.

2011-12-15  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): not added as synonym for null.

	* lib.c (copy_list): Use list_collect_append rather than
	list_collect_terminate.
	(append2, appendv): Simplified using new list_collect_append.
	(nappend2): Simplified using new list_collect_nconc.

	* lib.h (list_collect): Added check for accidental usage
	of list_collect after list_append, since PTAIL has different
	semantics.
	(list_collect_nconc, list_collect_append):  Semantics fixed so that
	append collecting works more like the Common Lisp append function,
	allowing trailing atoms or a lone atom. The meaning of PTAIL is
	changed, however.  Now PTAIL actually tracks the head of the most
	recently appended segment. Each append operation has to first
	traverse the previously added piece to get to the end.

	(list_collect_terminate): Macro removed.

	* match.c (v_gather): Removed useless use of list_collect_terminate.

	* parser.y: Some headers added that are needed by list_collect.

	* txr.1: Documented append, list, atom, null, not, consp, make-lazy-cons,
	lcons-fun, listp, proper-listp, length-list,  mapcar, mappend, and apply.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	@# comments are becoming obsolescent. @# comments
	can now be used. Within nested forms,
	Lisp-compatible ; comments are suported.

	* parser.l: Support @# and ; comments.

	* txr.1: Documentation updated.

	* txr.vim: Updated.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (car, cdr): Set the lazy cons function to nil
	after calling it.
	(rplacd): Do not set the lazy cons function to nil
	in.

	* txr.1: Documented a bunch of functions.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): Removed registration for vec_get_fil.
	Renamed vec_set_fill to vec-set-length.

	* hash.c (equal_hash): vec_fill to vec_length name change.
	(hash_grow, make_hash): No need to call vec_set_length.

	* lib.c (equal, vecref, vec_push, length_vec, list_vector,
	obj_print, obj_pprint): vec_fill to vec_length name change.
	(vector): Argument now represents actual length, not just allocated
	size.
	(vec_get_fill): Function removed; did exactly the same thing
	as length_vec.
	(vec_set_fill): Function renamed to vec_set_length.
	(vector_list): Allocate a 0 length vector initially.

	* lib.h (enum vecindex): member changes name from vec_fill
	to vec_length.
	(vector): Parameter name changed.
	(vec_set_fill): Redeclared.
	(vec_get_fill): Declaration removed.

	* txr.1: Doc stubs updated.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (car, cdr): Semantics fix for lazy conses.
	Ignore the return value of the lazy cons function: do not
	return nil if the function returns nil.
	This useless behavior was a source of inconvenience in lazy
	cons programming, requiring the lazy function to return
	non-nil in addition to installing the car and cdr fields.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (abso): broken for fixnums.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Highlight hash prefix and quote.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_dohash): Esbatlish anonymous block.

	* txr.1: Finished documenting special operators.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* genman.txr: Fix empty NAME section.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (minus): Allow difference between characters.

2011-12-14  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus, minus, gt, lt, ge, le): Handle character operands.

	* eval.c (eval_init): New functions interned.

	* lib.c (num_chr, chr_num): New functions.

	* lib.h (num_chr, chr_num): Declared.

	* txr.1: Documentation stubs.

2011-12-13  Kaz Kylheku  <kaz@kylheku.com>

	Version 048

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-13  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (exptmod, gcd): New functions.

	* eval.c (eval_init): New functions registered as intrisics.

	* lib.h (exptmod, gcd): Declared.

	* txr.1: Documentation stubs added.

2011-12-13  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (evenp, oddp): New functions.

	* eval.c (eval_init): New functions registered as intrinsics.

	* lib.h (evenp, oddp): Declared.

	* txr.1: Documentation stub updated.

2011-12-13  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (highest_bit): Linkage changed to static.
	(abso, isqrt): New functions.
	(isqrt_fixnum): New static function.

	* eval.c (eval_init): Registered abs, sqrt and numberp instrinsics.

	* lib.c (numberp): New function.

	* lib.h (numberp, abso, isqrt): Declared.

	* mpi-patches/series: New patch added.

	* mpi-patches/faster-square-root: New patch added.

	* txr.1: Documentation stubs for new functions.

2011-12-13  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (expt): Fix broken bignum x fixnum combination.

2011-12-13  Kaz Kylheku  <kaz@kylheku.com>

	* Makefile (repatch): New phony target.
	(distclean): Remove mpi directory.

2011-12-13  Kaz Kylheku  <kaz@kylheku.com>

	Patch to shrink mpi-int to three words on 32 bit platforms,
	so that obj_t stays four pointers wide.

	* mpi-patches/series: New patch added.

	* mpi-patches/shrink-mpi-int: New file.

2011-12-12  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/bit-search-optimizations (s_highest_bit): Added static
	storage class specifier.

	* mpi-patches/fix-mult-bug (s_mp_sqr): More braindamage found in MPI.
	This function performs additions and multiplication mp_digit,
	expecting a mp_word precision result without casting. This function
	is needed for exponentiation.

2011-12-12  Kaz Kylheku  <kaz@kylheku.com>

	Git rid of some some loops in MPI where it is searching for
	the highest bit, replacing them with an adapation of the
	bit searching function used in arith.c.

	* mpi-patches/series: Patch added.

	* mpi-patches/bit-search-optimizations: New file.

2011-12-12  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (expt): New function.

	* eval.c (eval_init): Registering new intrinsic functions,
	reduce-left, reduce-right and expt.

	* lib.c (minusv): Return one instead of num(1).
	(exptv, reduce_right): New functions.

	* lib.h (expt, exptv, reduce_right): Declared.

	* txr.1: Blank sections for new functions.

2011-12-12  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/fix-mult-bug: One more flaw discovered in
	s_mp_mul_d and added to patch. This one caused malloc corruption and
	crashes, because the incorrect arithmetic causes the function
	to think that the multiplication will not be needing another
	digit, but then there is a carry out which does spill into
	a new digit.

	* mpi-patches/series: Arg! Somehow the patch fix-bad-shift
	went missing from the series file, even though the patch
	itself is in the GIT repository.

2011-12-06  Kaz Kylheku  <kaz@kylheku.com>

	Version 047

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (zerop, gt, lt, ge, le): Functions from lib.c reimplemented
	with bignum support.

	* eval.c (eval_init): Added bignump and zerop as intrinsic function.
	Renamed numberp to fixnump.

	* lib.c (zerop, gt, lt, ge, le): Functions removed.
	(numeq): Unused function removed.

	* lib.h (numeq): Declaration removed.

	* txr.1: Sections for zerop and bignump created. Changed reference
	to numberp to fixnump.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (plus, mul): Plugged mpi_int memory leaks.
	(trunc): Plugged memory leaks. Straightened out semantics
	with negative modulus. (Residue comes out negative).

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (trunc): Error messages prefixed with trunc:.
	(mod): New function, reimplementation of removed mod from lib.c.

	* lib.c (mod): Function removed.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	Bignum division implemented. More portability bugs found in MPI:
	code like 1 << n, where n exceeds the width of the type int.

	* arith.c (trunc): New function, reimplementation of removed
	trunc from lib.c.

	* lib.c (trunc): Removed.

	* mpi-patches/fix-bad-shifts: New file.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c (ABS): New macro.
	(plus, minus): Bugfix: must not pass signed values to mp_add_d and
	mp_sub_d functions.
	(mul): Must not pass signed value to mp_mul_d.  Also, fixed type check
	on wrong argument in the (TAG_PTR, TAG_NUM) case.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	Removing this crutch; it's not that useful.

	* arith.txr: File removed.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c: Regenerated.

	* arith.txr (normalize): Bugfix: was not turning +/- NUM_MAX bignums
	into fixnums.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c: Regenerated.

	* arith.txr (highest_bit): Missing #else added, fixing
	SIZEOF_PTR == 4 case.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c: Regenerated.

	* arith.txr (highest_bit): Oops, half the logic for
	the 64 bit case was missing due to to a cut and paste mistake.

2011-12-11  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c: Regenerated.

	* arith.txr (highest_bit): New function.
	(mul): Use highest_bit instead of shift based algorithm.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim (txr_atat): New match. The @@ sequence is recognized
	properly and highlighted.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	Bignum support in mult function.

	* arith.c: Regenerated.

	* arith.txr (CNUM_BIT): New constant.
	(bignum, bignum_dbl_ipt): New static functions.
	(@{add-fname}): Use bignum function.
	(mul): New functions, rewrite of mul from lib.c.

	* lib.c (mul): Function removed.

	* mpi-patches/add-mp-set-intptr (mp_set_intptr): Revised patch.
	Local variable v should be int_ptr_t not unsigned long.
	Also, the mp_set interface doesn't set the sign; it's an unsigned
	interface. We must do that ourselves.

	* mpi-patches/fix-mult-bug: The main multiplication function is
	also broken in the same way, requiring the cast.

	* mpi-patches/mpi-set-double-intptr: Fixed use of wrong type for
	local variable v.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/mpi-set-mpi-word: Bugfix and refresh.

	* mpi-patches/mpi-set-double-intptr: New file.

	* mpi-patches/series (mpi-set-double-intptr): Patch added.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* configure: add to config.h the type double_intptr_t, which
	is twice the size of intptr_t. It may not be available, so
	there is a HAVE_ macro to detect it.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New functions added as intrinsics.

	* hash.c (hash_eql, hash_equal): New external functions.

	* hash.h (hash_eql, hash_equal): Declared.

	* txr.1: Sections added.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* mpi-patches/add-mp-hash: Rewrote mp_hash to only hash enough
	low-order bit material from the bignum to fill an unsigned long.
	We don't need to walk the entire bignum. If the low order
	digit of the bignum is at least as large as an unsigned long,
	we just take that as the hash, otherwise we take enough of the
	digits to fill an unsigned long. For negative numbers, we just
	invert the bits of the hash.

	* mpi-patches/add-mpi-toradix-with-case: Refreshed.

	* mpi-patches/fix-mult-bug: Refreshed.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (mulv): Recognize cases to eliminate a wasteful mul call
	with an initial element of 1.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (plusv): Recognize cases to eliminate a wasteful plus call
	with an initial element of zero.

2011-12-10  Kaz Kylheku  <kaz@kylheku.com>

	* arith.c: File is now generated using TXR.
	(NOOP): New macro.
	(plus): Use NOOP macro.
	(minus, neg): Function moved here from lib.c and rewritten
	for bignum support.

	* lib.c (minus, neg): Functions removed.

	* arith.txr: New file.

2011-12-09  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Fix patching without quilt.

2011-12-09  Kaz Kylheku  <kaz@kylheku.com>

	Build and pass test suite on Cygwin.

	* configure (longlong, ulonglong, superlong, usuperlong): Initialize
	these variables so that if the detection tests fail, the script
	does not access unbound variables.
	Avoid adding junk like .bss.* into config.h.

	* mpi-patches/config-types: Fixed wrong use of nonexistent
	SIZEOF_LONG_T.

2011-12-09  Kaz Kylheku  <kaz@kylheku.com>

	(Applies to previous commit.)

	* mpi-patches/config-types: Added missing definitions
	of MP_DIGIT_SIZE in two cases.

2011-12-09  Kaz Kylheku  <kaz@kylheku.com>

	Bignum support, here we go!

	Bignums, based on Michael Fromberger's MPI library, are integrated
	into the input syntax, stream output, equality testing, the garbage
	collector, and hashing.
	
	The plus operation handles transitions between fixnums and bignums.
	Other operations are still fixnum only.

	* Makefile (CFLAGS): Add mpi directory to include file search.
	(OBJS): Include new arith.o module and all of MPI_OBJS.
	(MPI_OBJS, MPI_OBJS_BASE): New variables.

	* configure (mpi_version, have_quilt, have_patch): New variables.
	Script detects whether patch and quilt are available. Unpacks
	mpi library, applies patches. Detects 128 bit integer type.
	Records more information in config.h about the sizes of types.

	* dep.mk: Updated.

	* depend.txr: Make work with paths that have directory components.

	* eval.c (eval_init): Rename of nump to fixnump.

	* gc.c (finalize, mark_obj): Handle BGNUM case.

	* hash.c: (hash_c_str): Changed to return unsigned long
	instead of long.
	(equal_hash): Handle BGNUM case.
	(eql_hash): Handle bignums with equal-hash, but other
	objects as eq.

	* lib.c (num_s): Variable renamed to fixnum_s.
	(bignum_s): New symbol variable.
	(code2type): Follow rename of num_s. Handle BGNUM case.
	(typeof): Follow rename of num_s.
	(eql): Handle bignums using equal, and other types using eq.
	(equal): Handle BGNUM case.
	(chk_calloc): New function.
	(c_num): Wording change in error message: is not a fixnum.
	(nump): Renamed to fixnump.
	(bignump): New function.
	(plus): Function removed, reimplemented in arith.c.
	(int_str): Handle integers which are too large for wcstol
	using bignum conversion. Base 0 is no longer passed to
	wcstol but converted to 10 because the special semantics
	for 0 would be inconsistent for bignums.
	(obj_init): Follow rename of num_s. Initialize bignum_s.
	(obj_print, obj_pprint): Handle BGNUM.
	(init): Call arith_init.

	* lib.h: Includes "mpi.h", as an exception to the project rule against
	headers including headers.
	(enum type): New enumeration member, BGNUM.
	(struct bignum): New struct type.
	(union obj): New member bn.
	(mp): New inline function.
	(num_s): Redeclared as fixnum_s.
	(bignum_s, chk_calloc, bignump): Declared.
	(nump): Redeclared as fixnump.

	* match.c (h_var, h_line, h_skip, h_coll, h_fun, format_field, v_skip,
	v_freeform, v_collect, v_match_files): Follow nump to fixnump rename.

	* parser.l (NUM): New token type. Split up the parsing of identifiers
	and numbers once again. But since every number is also lexically also
	lexically an identifier, we put the action first. The action for
	making numbers handles bignums. It produces object numbers, not
	C numbers (change in yystype union).

	* parser.y (%union): num changes type from cnum to val.

	* stream.c (vformat): Handle bignums in numeric conversions.

	* arith.c: New file.

	* arith.h: New file.

	* mpi-1.8.6.tar.gz: New file.

	* mpi-patches/add-mp-hash: New file.

	* mpi-patches/add-mp-set-intptr: New file.

	* mpi-patches/add-mpi-toradix-with-case: New file.

	* mpi-patches/config-types: New file.

	* mpi-patches/export-mp-eq: New file.

	* mpi-patches/fix-mult-bug: New file.

	* mpi-patches/fix-warnings: New file.

	* mpi-patches/series: New file.

	* mpi-patches/use-txr-allocator: New file.

2011-12-08  Kaz Kylheku  <kaz@kylheku.com>

	C++ maintenance.

	* eval.c (and_s, or_s): Redundant variables removed.

	* match.h (do_s): extern storage class specifier added.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_defun): Transform a function body by inserting
	a named block around it, thereby imitating a Common Lisp feature.
	(op_for): Establish an anonymous block around the loop body,
	test form and increment forms.

	* txr.1: Documented named block in defun. Documented for and for *.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: Updated with all operators and functions.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: flip operator documented. Bad syntax for pop fixed.
	Blank section for list-vector function added.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_modplace): If the operator is push, then reverse
	the arguments. We want (push item list) for compatibility with CL.
	(expand): Bugfix: some of the cases were constructing new
	forms using unexpanded pieces from the original form.
	Added separate case for push, which handles the reversed arguments.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* debug.c (debug): Fix regression: repeat last command by hitting
	Enter stopped working.  This was broken by recent bugfixes in the
	string splitting functions, which introduced a semantics change.

	* eval.c (flip_s, vecref_s): New symbol variables.
	(op_modplace): New places (vecref ...) and (flip ...). Bugfix: dec
	operator was incrementing.
	(expand_place): Handle vecref and flip. Bugfix: pop has no
	third argument and so is now handled by the same case as flip.
	Bugfix: if a modify form has no third argument, then do not
	resynthesize it with a nil third argument.
	(eval_init): Initialize new symbol variables.
	Register new flip operator. Register new list_vectory function
	as intrinsic.

	* lib.c (rplacd): When modifying the cdr field of a lazy cons,
	then lapse the lazy function to nil! This is needed by user-defined
	lazy conses, and it makes sense to do it this way rather than
	put in some explicit interface.
	(list_vector): New function.

	* lib.h (list_vector): Declared.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (lookup_var, lookup_fun): Reversing assoc arguments.
	(eval_init): New intrinsics.

	* hash.c (struct_hash): assoc_fun parameters reversed.
	(gethash, gethash_f, gethash_n): Likewise.

	* lib.c (assoc, assq): Reversing parameters.
	(find_package, acons_new, acons_new_l, aconsq_new): Reversing
	arguments to assoc adn assq.

	* lib.h (assoc, assq): Declarations updated.

	* match.c (dest_set, dest_bind, h_var, h_coll, h_parallel, h_fun,
	subst_vars, do_txeval, v_next, v_parallel, v_gather, v_collect,
	v_flatten, v_cat, v_output, v_filter, f_fun, match_funcall):
	Reversing arguments to assoc.

	* unwind.c (uw_get_func, uw_exception_subtype_p, uw_register_subtype):
	Reversing arguments to assoc.

	* txr.1: Blank sections created for new functions.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Blank sections created for character functions.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New functions registered as intrinsics.

	* lib.c (chr_toupper, chr_tolower): New functions.

	* lib.h (chr_toupper, chr_tolower): New functions declared.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* parser.l: In the CHRLIT state, return a nonblank character as an
	IDENT token. This allows for character literals like #\$.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): New character functions registered.

	* lib.c (c_num): Generalized to convert characters to numbers also.
	This allows functions like gt and lt to work with characters.
	(chr_isalnum, chr_isalpha, chr_isascii, chr_iscntrl, chr_isdigit,
	chr_isgraph, chr_islower, chr_isprint, chr_ispunct, chr_isspace,
	chr_isupper, chr_isxdigit): New functions added.

	* lib.h: (chr_isalnum, chr_isalpha, chr_isascii, chr_iscntrl,
	* chr_isdigit, chr_isgraph, chr_islower, chr_isprint, chr_ispunct,
	* chr_isspace, chr_isupper, chr_isxdigit): New functions declared.
	(c_true): New macro.

2011-12-07  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (progn_s): New symbol variable.
	(op_progn): New static function.
	(eval_init): Initialize new variable, register progn operator.

	* txr.1: progn documented.

2011-12-06  Kaz Kylheku  <kaz@kylheku.com>

	Version 046

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-06  Kaz Kylheku  <kaz@kylheku.com>

	* stream.c (find_char): New function.
	(string_in_get_line): Following up TODO. Fixed broken
	function. Now get_line on a string stream properly returns characters
	up to and not including the next newlne character, and also consumes
	the newline character. Other cases are handled properly, also:
	the stream being at EOF already, or at the last line not being
	newline-terminated.

2011-12-06  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_unwind_protect): Fixed uninitialized variable
	warning.
	(eval_init): New functions registered: typeof and vector functions,
	as well as length_list.

	* lib.c (length): Function renamed to length_list, because it is
	list specific.
	(length_vec, size_vec, vector_list): New functions.
	(length): New function, generic over lists, vectors and strings.

	* lib.h (length_list, length_vec, size_vec, vector_list): Declared. 

	* match.c (h_var, h_fun, robust_length, v_deffilter, v_fun): Use
	length_list instead of length.

	* parser.l: Introduced # token.

	* parser.y (vector): New nonterminal.
	(expr): vector is a kind of expr.
	(chrlist): Bugfix: single-character syntax was not working;
	for instance #\x to denote the charcter x.
	(lit_char_helper): Use length_list instead of length.

	* stream.c (string_in_get_line): Bugfix: this was using
	the wrong length function: length was being applied to a string.
	The genericity of length makes that correct now, but changing
	to length_str anyway.

	* txr.1: Blank sections created for functions. Vector syntax
	documented.

2011-12-06  Kaz Kylheku  <kaz@kylheku.com>

	* configure: Forgot to treat octal number in the processing
	of conftest.syms. Removed useless eval.

2011-12-05  Kaz Kylheku  <kaz@kylheku.com>

	Version 045

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-05  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_cond): Fixed behavior for singleton clauses.
	(eval_init): Use existing function objects car_f, cdr_f,
	eq_f, eql_f and equal_f. Added identity to function table.

	* lib.h (eql_f): Missing declaration added.

	* txr.1: Documented cond, and, if, or, defun, inc, dec,
	set, push and pop.

2011-12-04  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (force_regular_quotes): Function removed.
	(list): Prior commit reversed.

	* txr.1: Prior commit reversed.

	* RELNOTES: No semantics clarification in quasiquote; bugfixes only.

2011-12-04  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_qquote_error, op_unquote_error): New static functions.
	(expand_qquote): Bugfix: missing case added to handle directly quoted
	quasiquote.
	(eval_init): Error-catching pseudo-operators registered in
	op_table.

	* parser.y (force_regular_quotes): New function.
	(list): Quotes within unquotes and splices are regular.

	* txr.1: Clarified new rules. Removed description of ,'form and ,*'form
	special syntax.

2011-12-03  Kaz Kylheku  <kaz@kylheku.com>

	Expose lazy lists in TXR Lisp.

	* eval.c (eval_init): New intrinsic functions.

	* lib.c (rplaca, rplacd, lcons_fun): New functions.
	(make_lazycons): Renamed to make_lazy_cons, relocated
	and turned into external function.
	(lazy_stream_func, lazy_stream_cons): Follow rename
	of make_lazycons.

	* lib.h (rplaca, rplacd, make_lazy_cons, lcons_fun): 
	Declared.

	* txr.1: Stub sections created.

2011-12-03  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (uw_protect_s, return_s, return_from_s): New symbol
	variables.
	(op_unwind_protect, op_block, op_return, op_return_from): 
	New static functions.
	(expand): Removed case for call, if, and, and or. These operators
	evaluate all their arguments, so the code walker can treat them
	as a function calls.
	Added case for block and return-from.
	(eval_init): New symbols interned.  New operator functions
	registered in op_table.

	* txr.1: Blank sections added.

2011-12-03  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (split_str, split_str_set): Bugfix: access beyond the end of
	the input string.

2011-12-03  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): String and character functions
	exposed as intrinsics.

	* txr.1: Blank sections created.

2011-12-02  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Added stub sections for new functions.

2011-12-02  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c: Symbol related intrinsic functions and variables made
	available:

	* lib.h (sym_name): Dangling declaration removed.

2011-12-02  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (list): unquote and splice actions look inside the
	argument form. If an unquote or splice are applied to a quoted
	form, its quote becomes a regular quote.
	This behavior is necessary to make ,',form work in nested
	quotes, otherwise the ' is a quasiquote which captures
	the comma in ,form, reducing ,',form to ,form.

	* txr.1: Documented this special behavior.

2011-12-02  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (expand_qquote): Bugfix: removed bogus recognition
	and processing of regular quote form. This broke nested
	backquote processing, and quasiquote forms containing
	non-quasi-quotes like like '(a 'b ,c).

2011-12-02  Kaz Kylheku  <kaz@kylheku.com>

	Version 044

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-12-01  Kaz Kylheku  <kaz@kylheku.com>

	* txr.1: Started Lisp documentation. Updated description of
	symbol syntax.

2011-12-01  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (int_str): Return nil rather than 0 if no digits are extracted
	at all.

2011-12-01  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (h_skip, h_coll, v_skip, v_collect): Evaluate the arguments.
	(do_txeval): Optimization: short-circuit out if the expression is nil,
	without establishing the exception handler.

2011-12-01  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (v_skip): Bugfix: Nov 12 commit caused regression:
	skip min/max arguments not working!

	* RELNOTES: Updated.

2011-12-01  Kaz Kylheku  <kaz@kylheku.com>

	Dropping the silly cons return value from txeval.
	Two interfaces are provided to the function. One throws
	on unbound variable, the other which evaluates them to the
	symbol noval_s (used in exception handling).

	* match.c (do_txeval): New static function.
	(txeval): Functionality moved to do_txeval.
	(txeval_allow_ub): New static function.
	(vars_to_bindings, h_fun, v_freeform, v_next, v_merge, v_bind, v_set,
	v_cat, v_output, v_deffilter, v_fun): No need to
	use cdr to get the value from txeval.
	(v_throw): Use txeval_ub_allowed, since unbound variables
	are allowed in throw.
	(v_try): Detect unbound arguments by checking for noval_s rather than
	nil. No need to use cdr.

2011-12-01  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (eval_form): Function renamed to txeval so its is
	not confused with the Lisp evaluation functions.
	(vars_to_bindings, h_fun, v_freeform, v_next, v_merge, v_bind, v_set,
	v_cat, v_output, v_throw, v_deffilter, v_fun): Updated.

2011-11-30  Kaz Kylheku  <kaz@kylheku.com>

	* lib.h (or2): Restore macro version of or2, because we need
	the sequencing! Making it an inline function broke the tests.
	But we can't have multiple evaluation either, so it's going to use
	a temporary lexical variable.
	(uses_or2): Macro which declares the lexical variable needed by or2.

	* debug.c (debug): add uses_or2.

	* eval.c (eval_intrinsic, op_modplace): Likewise.

	* lib.c (lazy_str, lazy_str_force_upto, lazy_str_get_trailing_list):
	Likewise.

	* match.c (h_parallel, v_freeform, v_parallel, v_output): Likewise.

	* parser.y (unquotes_occur): Likewise.

	* stream.c (format): Likewise.

2011-11-30  Kaz Kylheku  <kaz@kylheku.com>

	Removing useless hash table.

	* parser.h (ln_to_forms_hash): Declaration removed.

	* parser.l (ln_to_forms_hash): Variable removed.
	(parse_init): Initialization and protection of ln_to_forms_hash
	removed.

	* parser.y (rl): Update of ln_to_forms_hash removed.

	* txr.1:

2011-11-30  Kaz Kylheku  <kaz@kylheku.com>

	* configure (extra_debugging): New variable. EXTRA_DEBUGGING
	conditionally generated in config.h.

	* gc.c (break_obj): New static variable.
	(mark_obj): Debugging feature: if the object is the one stored in
	break_obj and not yet reached, then call breakpt.
	(deheap): New debugging function for viewing regions of the heaps.

	* lib.c (breakpt): New function.

	* lib.h (breakpt): Declared.

2011-11-30  Kaz Kylheku  <kaz@kylheku.com>

	* hash.c (hash_process_weak): Fix regression caused by a mistake
	in the the 2010-01-26 commit, prior to release 033. When processing a
	table with weak values, this function was mistakenly testing the keys
	rather than values for for reachability. I noticed this when a test
	case that should run in constant memory showed unwarranted accumulation
	of memory.

2011-11-30  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (op_modplace): Bugfix: conflation of new value and
	increment value. Separate new value and increment value, and check
	number of arguments.

	* lib.h (or2): Turned into inline function due to multiple
	argument evaluation.

2011-11-30  Kaz Kylheku  <kaz@kylheku.com>

	* txr.vim: New operators added.

2011-11-29  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (bindings_helper): Fix uninitialized variable.

2011-11-29  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (dohash_s): New symbol variable.
	(op_dohash): New static function
	(expand): New case for dohash_s.
	Bugfix for do_s: expand was used rather than expand_forms.
	(eval_init): dohash_s initialized and entered into op_table.

2011-11-29  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): hashp and maphash functions registered.

	* hash.c (maphash): New function.

	* hash.h (maphash): Declared.

2011-11-29  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (expand_vars): Bugfix: was not handling vars
	of the form var, only (var initform).

2011-11-29  Kaz Kylheku  <kaz@kylheku.com>

	Support assignment to (car ...) and (cdr ...).

	* eval.c (car_s, cdr_s): New symbol variables.
	(op_modplace): Cases for car and cdr added.
	(expand_place): Likewise. Calls abort should the
	cases fall through rather than returning 42.
	(expand): Bugfix: for and for* case not propagating
	source location info. Bugfix: expansion for do added.
	(eval_init): car_s and cdr_s initialized and used
	in place of previous intern calls.

	* parser.y (elem): Removed wrong logic for expanding the
	do form. It was expanding only the first argument.

2011-11-28  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (let_star_s, for_s, for_star_s): New symbols.
	(env_replace_vbind, bindings_helper): New static functions.
	(op_let): Refactored to allow for let* form. Code for setting
	up bindings moved into bindings helper, shared by for loop.
	(op_for, expand_vars): New static functions.
	(expand): Bugfix: let case was neglecting to walk the var
	initialization forms. This is done via expand_vars now.
	let_star_s added to this case to handle let* and let at
	the same time. New case added for for and for*.
	(eval_init): let_star_s, for_s, and for_star_s initialized,
	and entered into op_table.

2011-11-28  Kaz Kylheku  <kaz@kylheku.com>

	* eval.c (eval_init): More functions.

	* txr.vim: More highlighting.

2011-11-28  Kaz Kylheku  <kaz@kylheku.com>

	Adding streams functions to Lisp evaluator.

	* eval.c (op_let): Bugfix: was not evaluating var init forms.
	(reg_var): New static function.
	(eval_init): Registered numerous stream functions and the
	three standard streams.

	* lib.c (obj_print, obj_pprint): Modified to return a value.
	(init): eval_init called after stream_init, because eval
	needs the three standrad streams prepared.

	* lib.h (obj_print, obj_pprint): Declarations updated.

	* stream.c (format): Support t as a shorthand for standard output.
	(formatv, open_directory, open_file, open_pipe): New functions.
	(w_opendir): New static function.

	* stream.h (formatv, open_directory, open_file, open_pipe):
	Declared.

	* txr.vim: set iskeyword such that keyword can contain special
	characters. Set b:current_syntax to "lisp".
	(txl_keyword): New keyword category populated with TXR Lisp keywords
	defined as separate category.
	(txr_list): Contains txl_keyword.
	(txr_meta): Contains txl_keyword and txr_list.

2011-11-28  Kaz Kylheku  <kaz@kylheku.com>

	mapcar, mappend and apply functions.
	fun operator.

	* eval.c (apply_s): New symbol variable.
	(apply): Handle functions specified as symbols. Use symbol from context
	form in error reporting.
	(apply_intrinsic): New function.
	(interp_fun): Bugfix: removed evaluation of arguments, since
	arguments are already evaluated.
	(op_call): Simplified by not having to handle symbols,
	since apply does.
	(op_fun): New function.
	(expand): Handle special form fun.
	(mapcarv, mappendv): New functions.
	(eval_init): Initialize apply_s. Register op_fun function
	in op_table. Register mapcar, mappend and apply functions.

2011-11-28  Kaz Kylheku  <kaz@kylheku.com>

	Added evaluation support for quote and quasiquote with unquotes.
	New functions list, append and eval.  Code walking framework for
	expanding quasiquotes.  quotes right now.

	* eval.c (let_s, lambda_s, call_s, cond_s, if_s, and_s, or_s
	defvar_s, defun_s, list_s, append_s): New symbol variables.
	(eval_intrinsic, op_quote, expand_forms, expand_cond_pairs,
	expand_place, expand_qquote): New static functions.
	(expand): New external function.
	(eval_init): Initialize new symbol variables. Use newly defined symbol
	variables to register functions. Also, new functions: quote, append,
	list and eval.

	* eval.h (expand): Declared.

	* lib.c (appendv): New function.
	(obj_init): quote and splice operator symbols moved into system
	package.
	(obj_print, obj_pprint): Support for printing quotes and splices.

	* lib.h (appendv): Declared.

	* match.c (do_s): New symbol variable.
	(syms_init): New variable initialized.
	(dir_tales_init): New variable used instead of intern.

	* match.h (do_s): Declared.

	* parser.y (elem): @(do) form recognized and its argument passed
	through the new expander.
	(o_elem, quasi_item): Pass list through expander.
	(list): Use choose_quote to decide whether to put
	regular quote or quasiquote on quoted list.
	(meta_expr): Fixed abstract syntax so the expression is a single
	argument of the sys:expr, rather than multiple arguments.
	(unquotes_occur, choose_quote): New static function.

2011-11-26  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (expr): Set source location info on elements.
	(strlit): Set location info. 

2011-11-26  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (subst_vars): Handle expr_s, so that
	Lisp expressions can be interpolated into quasiliterals.
	(extract_vars): Avoid recursing into expressions marked
	with expr_s.
	(do_output_line): Handle expr_s so that Lisp expressions
	can be interpolated into output.

	* parser.y (o_elem, quasi_items): Handle list expressions,
	annotated with expr_s.

2011-11-26  Kaz Kylheku  <kaz@kylheku.com>

	Task #11436

	Lisp interpreter added.

	* gc.c (finalize, mark_obj): Handle ENV objects.

	* hash.c (struct hash): acons_new_l_fun function
	pointer order of arguments change.
	(equal_hash): Handle ENV.
	(make_hash, gethash_l): Use cobj_handle for
	type safety. Follow change in acons_new_l.
	(gethash, gethash_f, remhash, hash_count,
	hash_get_userdata, hash_set_userdata, hash_next): Use cobj_handle.
	(gethash_n): New function.

	* hash.h (gethash_n): Declared.

	* lib.c (env_s): New symbol variable.
	(code2type, equal): Handle ENV.  (plusv, minusv, mul, mulv, trunc, mod,
	gtv, ltv, gev, lev, maxv, minv, int_str): New functions.
	(rehome_sym): New static function.
	(func_f0, func_f1, func_f2, func_f3, func_f4, func_n0, func_n1,
	func_n2, func_n3, func_n4): Initialize new fields of struct func.
	(func_f0v, func_f1v, func_f2v, func_f3v, func_f4v,
	func_n0v, func_n1v, func_n2v, func_n3v, func_n4v,
	func_interp): New functions.
	(apply): Function removed: sanely re-implemented in new eval.c file.
	(funcall, funcall1, funcall2, funcall3, funcall4): Handle
	variadic and interpreted functions.
	(acons, acons_new, acons_new_l, aconsq_new, aconsq_new_l): Reordered
	arguments for compatibility with Common Lisp acons.
	(obj_init): Special hack to prepare hash_s symbol, which is
	needed for type checking inside the hash table funtions invoked
	by make_package, at a time when the symbol is not yet interned.
	Initialize new env_s variable.
	(obj_print, obj_pprint): Handle ENV. Fix confusing rendering of
	of function type.
	(init): Call new function eval_init.

	* lib.h (enum type): New enumeration member ENV.
	(struct func): functype member changed to bitfield.
	New bitfied members minparam and variadic.
	New members in f union: f0v, f1v, f2v, f3v,
	f4v, n0v, n1v, n2v, n3v, n4v.
	(struct env): New type.
	(union obj): New member e of type struct env.
	(env_s): Variable declared.
	(plusv, minusv, mul, mulv, trunc, mod, gtv, ltv, gev, lev, maxv, minv,
	int_str): New functions declared.
	(func_f0v, func_f1v, func_f2v, func_f3v, func_f4v,
	func_n0v, func_n1v, func_n2v, func_n3v, func_n4v,
	func_interp): Likewise.
	(apply): Declaration removed, and re-introduced in eval.h.
	(acons, acons_new, acons_new_l, aconsq_new, aconsq_new_l): Declarations
	updated to new argument order.

	* match.c (bindable): static function moved to eval.c, where
	it becomes external.
	(h_var, h_coll, h_parallel, h_fun, v_parallel, v_gather,
	v_collect, v_merge, v_fun): Follows argument order change in
	acons functions.
	(subst_vars): Print atoms other than strings.
	(eval_form): Support @(...) syntax for evaluating Lisp forms.
	(v_do, h_do): New functions.
	(dir_tables_init): Insert v_do and h_do into tables.

	* parser.l: Token syntax for numbers and symbols merged.
	Symbols in a nested context can consist of various additional
	characters.  Useless code removed from action for '('/METAPAR.

	* stream.c (format): Bugfix in type checking, in the
	case that the stream argument is nil and defaults to a string stream.

	* txr.vim: Updated for new token syntax. Fixed uses of
	unescaped + operator.

	* unwind.c (uw_set_func)
	* unwind.h (numeric_assert, range_bug_unless): Missing
	whitespace in message added.

	* Makefile (OBJS): eval.o added.

	* dep.mk: Updated.

	* eval.c: New file.

	* eval.h: New file.

2011-11-24  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (getplist_f): New function.

	* lib.h (getplist_f): Declared.

	* match.c (v_collect, h_coll): Use getplist_f to distinguish
	the case that :vars is explicitly specified as (). In this
	case, no bindings escape from the collect.

	* tests/008/soundex.txr: This test case broke due to using
	:vars () and yet counting on the variable to exist.

	* RELNOTES: Updated.

2011-11-24  Kaz Kylheku  <kaz@kylheku.com>

	* match.c (match_funcall): Set source location info for
	generated function call.

2011-11-24  Kaz Kylheku  <kaz@kylheku.com>

	* parser.y (texts, elem): Fixed incorrect use of rl rather
	than rlcp.  Added forgotten rlcp on result of optimize_text.

	* RELNOTES: Updated.

2011-11-20  Kaz Kylheku  <kaz@kylheku.com>

	Version 043

	* txr.c (version): Bumped.

	* txr.1: Bumped version and set date.

	* configure (txr_ver): Bumped.

	* RELNOTES: Updated.

2011-11-23  Kaz Kylheku  <kaz@kylheku.com>

	* txr.c (remove_hash_bang_line): Recognize multiple
	syntax possibilities. A hash bang could be buried in a (text ...)
	compound, or it could just be a string (thanks to the text form
	optimization).

2011-11-23  Kaz Kylheku  <kaz@kylheku.com>

	Optimization: if all the elements of (text ...) are
	strings, then replace the (text ...) by the catenation
	of those strings.

	* parser.y (optimize_text): New function.
	(elem): Use optimize_text.

2011-11-23  Kaz Kylheku  <kaz@kylheku.com>

	* lib.c (plus, minus): Fixed wrong assertion which would incorrectly
	fire for inputs that do not overflow.

	* match.c (search_form): Fixed incorrect loop test which could
	lead to nonterminating behavior.

	* RELNOTES: Updated.

2011-11-23  Kaz Kylheku