(scm_m_begin): Allow `(begin)`, with no subforms.

[bpt/guile.git] / libguile / ChangeLog

2001-11-02  Mikael Djurfeldt  <mdj@linnaeus>

	* print.c (scm_iprin1): Mark print state as revealed when
	dispatching to generic write or display.

	* unif.c (scm_ra2contig): Fixed memory overwrite bug.

2001-11-02  Marius Vollmer  <mvo@zagadka.ping.de>

	Support for native Win32.  Thanks to Stefan Jahn!
	
        * Makefile.am: Add win32-uname.c, win32-uname.h, win32-dirent.c
	and win32-dirent.h to extra source and header files.  These
	include the uname() and the POSIX dirent interface implementation
	for M$-Windows.  Put `-no-undefined' into LDFLAGS to support
	linkers which do not allow unresolved symbols inside shared
	libraries.  Corrected `guile_filter_doc_snarfage$(EXEEXT)'
	dependency.

        * __scm.h: Defined SCM_API.  This macro gets prepended to all 
        function and data definitions which should be exported or imported 
        in the resulting dynamic link library in the Win32 port.

        * __scm.h, alist.h, arbiters.h, async.h, backtrace.h, boolean.h,
        chars.h, continuations.h, coop-defs.h, coop-threads.h, 
        debug-malloc.h, debug.h, deprecation.h, dynl.h, dynwind.h,
        environments.h, eq.h, error.h, eval.h, evalext.h, extensions.h,
        feature.h, filesys.h, fluids.h, fports.h, gc.h, gdb_interface.h,
        gdbint.h, gh.h, goops.h, gsubr.h, guardians.h, hash.h, hashtab.h,
        hooks.h, init.h, ioext.h, iselect.h, keywords.h, lang.h, list.h,
        load.h, macros.h, mallocs.h, modules.h, net_db.h, numbers.h, 
        objects.h, objprop.h, options.h, pairs.h, ports.h, posix.h, print.h,
        procprop.h, procs.h, properties.h, ramap.h, random.h, rdelim.h,
        read.h, regex-posix.h, root.h, rw.h, scmsigs.h, script.h, simpos.h,
        smob.h, socket.h, sort.h, srcprop.h, stackchk.h, stacks.h, stime.h,
        strings.h, strop.h, strorder.h, strports.h, struct.h, symbols.h,
        tags.h, threads.h, throw.h, unif.h, values.h, variable.h, vectors.h,
        vports.h, weaks.h:
        Prefixed each each exported symbol with SCM_API.

        * continuations.c: Added comment about the use of the extern 
        declarations of {get,set}context() functions used in the ia64 port.

        * continuations.h, gc.c: `__libc_ia64_register_backing_store_base'
        is meant to be a `unsigned long *'.

        * filesys.c: Include `direct.h' if possible.  Use local
	`win32-dirent.h' for the native M$-Windows port.  Define S_IS*()
	macros for M$-Windows.  Implementation of `fstat_Win32()' which is
	able to differentiate between sockets and other file descriptors.
	Use this function as wrapper in `scm_fstat()'.  Fixed typo in
	`scm_dirname()'.

        * fports.c: Include `io.h' is possible.  Put `*fp' into referring
        statement block in `scm_fport_buffer_add()'.
        Some corrections in `getflags()'.
        
        * gdb_interface.h (GDB_INTERFACE): Also support __CYGWIN__.

        * guile.c: Make sure to define __SCM_IMPORT__ for shared library
        build on Win32.  Disable preloaded symbols on Win2 platforms.

        * ioext.c, ports.c: Include `io.h' is possible.

        * mkstemp.c: Include `process.h' is possible.

        * net_db.c: Disable extern declaration of `h_errno' for __CYGWIN__,
        too.
        Put `scm_return_entry()' into HAVE_GETSERVENT conditional.

        * posix.c: Remove unnecessary dirent includes and defines. Include
	local `win32-uname.h' for MinGW.  Extern declaration of
	`mkstemp()' for systems where it does not exists.  Make
	`getlogin()' available on M$-Windows.

        * scmsigs.c: Made `usleep()' avalable on MinGW.

        * stime.c: On M$-Windows `tzname[]' is known to be `_tzname[]'.

	* win32-dirent.c: Include "win32-dirent.h", not "dirent.h".

	* win32-uname.c: Include "win32-uname.h", not "uname.h".

2001-10-28  Mikael Djurfeldt  <mdj@linnaeus>

	* unif.c (scm_uniform_array_read_x, scm_uniform_array_write):
	Don't apply scm_uniform_vector_length on arrays.

2001-10-14  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* eval.c (scm_lookupcar, scm_m_letstar, scm_m_do, iqq,
	scm_m_define, scm_m_letrec1, scm_m_let, scm_m_expand_body,
	scm_macroexp, unmemocopy, scm_eval_args, scm_deval_args,
	SCM_CEVAL, scm_map, scm_init_eval):  When building lists, prefer
	scm_list_<n> over scm_cons[2]?.

	(scm_unmemocar, scm_m_cond, scm_m_letstar, scm_m_letrec1,
	scm_m_let, scm_m_atbind, unmemocopy, SCM_CEVAL, SCM_APPLY):  Use
	SCM_C[AD][AD]R instead of explicit form.

	(scm_m_set_x, scm_m_cond, scm_m_letstar, scm_m_do):  Reordered
	comparison parameters.

	(scm_m_case, scm_m_cond, scm_m_letstar, scm_m_do, SCM_CEVAL):  Use
	!SCM_NULLP instead of SCM_NIMP.

	(scm_m_case):  Don't copy the form.  Renamed proc to clause and
	minimized its scope.  Renamed x to clauses.  Removed side
	effecting operation from macro call.

	(scm_m_cond):  Don't copy the form.  Renamed arg1 to clause and
	minimized its scope.  Renamed x to clauses.  Minimized the scope
	of variable 'len'.  Make sure the else clause is treated specially
	even in case of '=>' occurences.  Don't change the else to #t in
	order to be able to distinguish this case in the evaluator.  Leave
	type checking of the recipient to the evaluator.

	(scm_c_improper_memq):  Made the comment somewhat clearer.

	(scm_m_lambda):  Renamed proc to formals.  Removed unnecessary
	test for SCM_IM_LET at the place of the formal parameters.
	Simplified the formal parameter checking.

	(scm_m_letstar):  Added Comment.  Renamed proc to bindings.
	Renamed arg1 to binding and minimized its scope.  Eliminated
	unnecessary consing.

	(scm_m_do):  Renamed proc to bindings.  Minimized the scope of
	variable 'len'.

	(build_binding_list):  New static function.

	(unmemocopy):  Don't use SCM_TYP7 on pairs (it's unclean).
	Further, split up the 'letrec' unmemoizing code to the
	corresponding parts for 'do', 'let' and 'letrec', adding comments
	to each form.  Cleanup the handling of the do form (This removes
	some *real* code :-).

	(SCM_CEVAL):  Removed side effecting operation from macro call.
	Handle the 'else clause of the 'cond form specially - the symbol
	'else is not replaced with #t any more.

2001-10-14  Gary Houston  <ghouston@arglist.com>

	* version.c (scm_version): use sprintf instead of snprintf,
	for portability.  thanks to Bill Schottstaedt.

2001-10-14  Mikael Djurfeldt  <mdj@linnaeus>

	* read.c (scm_lreadr): When user-defined hash procedure returns
	SCM_UNSPECIFIED: Fall back to standard handling instead of raising
	an exception.  (This prevents parsing of uniform vectors from
	interfering with parsing of numbers.)

2001-10-13  Marius Vollmer  <mvo@zagadka.ping.de>

	* numbers.c: Set NO_PREPRO_MAGIC when defining our version of
	PTRDIFF_MIN.  Thanks to Ken Raeburn.

2001-10-07  Marius Vollmer  <mvo@zagadka.ping.de>

	* Makefile.am (EXTRA_libguile_la_SOURCES): Added "mkstemp.c".

	* eval.c (scm_m_atbind): First try to find the variable without
	defining it locally; when it has not been found, define it
	locally.

	* modules.c (module_variable): Pass over variables that exist but
	are unbound.

2001-10-06  Marius Vollmer  <mvo@zagadka.ping.de>

	* backtrace.c (display_backtrace_file_and_line): Only use
	scm_basename when POSIX support is compiled in.  Thanks to Chris
	Cramer.

2001-10-13  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* numbers.c (mem2uinteger):  Return number read so far when coming
	across a hexdigit after having read a # or if not reading a hex
	value.  This will enable the calling code to correctly handle
	forms like 1e2.  (The background is, that the exponent markers d,
	e and f are also hexdigits.)  Thanks to Mikael Djurfeldt for
	providing this patch.

	(mem2complex):  Fix erroneous double-negation.  Now, numbers like
	1-i will be read correctly.

2001-10-12  Mikael Djurfeldt  <mdj@linnaeus>

	* debug.c (scm_mem_to_proc): Fixed typo in previous change.

	* validate.h (SCM_VALIDATE_DOUBLE_DEF_COPY): New macro.

2001-10-12  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* print.c (scm_print_state_vtable, print_state_pool):
	Initialize.  These variables are now registered as gc roots.

	(scm_current_pstate):  Update documentation.

	(scm_current_pstate, scm_make_print_state, scm_free_print_state,
	scm_prin1, scm_init_print):  print_state_pool is registered as a
	gc root and thus does not need to be protected by a surrounding
	pair any more.

	(make_print_state):  The car of print_state_pool no longer holds
	the scm_print_state_vtable.

	(scm_current_pstate, scm_make_print_state, print_circref,
	scm_iprin1, scm_prin1, scm_iprlist):  Prefer !SCM_<foo> over
	SCM_N<foo>.

	(scm_prin1):  When building lists, prefer scm_list_<n> over
	scm_cons[2]?.

	(scm_iprlist):  Removed a redundant SCM_IMP test.

	(scm_simple_format):  Use SCM_EQ_P to compare SCM values.

2001-10-11  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* debug.c (scm_make_iloc):  Prefer !SCM_<foo> over SCM_N<foo>.

	(scm_memcons, scm_mem_to_proc):  When building lists, prefer
	scm_list_<n> over scm_cons[2]?.

	(scm_mem_to_proc):  Prefer SCM_CONSP over SCM_NIMP.

	(scm_procedure_name):  Use SCM_CADR instead of explicit form.

	(debugobj_print):  Coerce scm_intprint arg 1 to long, not int.
	Thanks to Rob Browning for the patch (see log entry 2001-09-21) -
	for some reason his patch didn't make it into the cvs.

2001-10-09  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* numbers.c (mem2decimal_from_point):  Cleaned up the parsing a
	little bit - should even be somewhat more accurate now.

2001-10-08  Rob Browning  <rlb@defaultvalue.org>

	* gc.c: support ia64 register backing store.
	(SCM_MARK_BACKING_STORE): new macro.

	* continuations.h: support ia64 register backing store.
	(struct scm_t_contregs): add ia64 register backing store.

	* continuations.c: support ia64 register backing store.
	(continuation_mark): mark ia64 register backing store.
	(continuation_free): free ia64 register backing store.
	(scm_make_continuation): capture ia64 register backing store.
	(copy_stack_and_call): copy ia64 register backing store.

2001-10-08  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* hashtab.c (scm_hash_fn_create_handle_x):  The result of assoc_fn
	is known to be #f if no entry is found.  Thus, use !SCM_FALSEP
	instead of SCM_NIMP to test for that case.

	* strings.h (SCM_SET_STRING_LENGTH):  Cast the length to
	scm_t_bits instead of long.

2001-10-06  Marius Vollmer  <mvo@zagadka.ping.de>

	* tags.h (SCM_T_BITS_MAX, SCM_T_SIGNED_BITS_MAX,
	SCM_T_SIGNED_BITS_MIN): New.
	* numbers.h (SCM_MOST_POSITIVE_FIXNUM, SCM_MOST_NEGATIVE_FIXNUM):
	Use them to make these macros computable by the preprocessor.

	* num2integral.i.c (INTEGRAL2NUM): Let the preprocessor test
	whether the integral type fits in a fixnum, not the compiler.
	This removes a spurious compiler warning.  Also, honor the
	NO_PREPRO_MAGIC flag to suppress any preprocessor tests.  This is
	needed for `long long's.

	* numbers.c: Define NO_PREPRO_MAGOC when including
	num2integral.c.i for `long long' and `signed long long'.

2001-10-06  Mikael Djurfeldt  <mdj@linnaeus>

	These changes fixes a race condition in the Guile coop - pthread
	compatibility code.
	
	* coop.c (mother_awake_p): New variable.
	(coop_create): Set mother_awake_p before creating or signalling
	mother; wait until mother is going to sleep before returning.
	(mother): Reset mother_awake_p before going to sleep.

2001-10-05  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* options.c (protected_objects, scm_init_options):  The content of
	protected_objects is now protected from garbage collection using
	scm_gc_register_root instead of scm_permanent_object.

	(get_option_setting):  New static function that	computes an option
	setting as it was formerly done in the function scm_options.

	(get_documented_option_setting):  New static function that
	returns option documentation as it was formerly done in the
	function scm_options.  Note that documentation C strings are no
	longer precomputed into SCM objects.  Instead, they are converted
	into SCM strings every time get_documented_option_setting is
	called.

	(change_option_setting):  New static functions that modifies the
	option setting as it was formerly done in the function
	scm_options.  The function is now exception safe, i. e. won't
	cause a memory leak when interrupted.  Further, only non-immediate
	option values are added to the protection list.

	(scm_options):  This function now has only the purpose to dispatch
	to to get_option_setting, get_documented_option_setting or
	change_option_setting, depending on the arguments given to
	scm_options.

	(scm_init_opts):  Don't convert documentation C strings into SCM
	strings.  Further, don't protect any object values:  They _must_
	be immediate values, otherwise there is no guarantee that they
	have not been collected before anyway.

	* options.[ch] (scm_t_option):  Made type unsigned, name into a
	constant char* and val into a scm_t_bits type.

	(scm_options, scm_init_opts):  The number of options is guaranteed
	to be larger or equal to zero.  Thus, the type is changed to
	unsigned.

2001-10-05  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* num2integral.i.c (NUM2INTEGRAL):  Eliminated some warnings about
	testing an unsigned value for being >= 0.

2001-10-05  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* numbers.h:  Removed old comment about using SCM_CAR to access
	non-pair cells.

	(SCM_MOST_POSITIVE_FIXNUM, SCM_MOST_NEGATIVE_FIXNUM):  Make sure
	the return value is signed.  Thanks to Brian Crowder for the bug
	report.

	(SCM_SRS):  Avoid unnecessary casting and don't unpack input
	values.  With this patch, SCM_SRS can be safely used for other
	types than scm_t_signed_bits.  However, it should still better be
	an internal macro and thus be renamed to SCM_I_SRS.

	(SCM_MAKINUM, SCM_INUM):  Use proper casting.

2001-10-03  Gary Houston  <ghouston@arglist.com>

	* continuations.h, unif.h: in the descriptions of the bit patterns
	of the heap cells, make bit 0 the least significant.

2001-09-25  Thien-Thi Nguyen  <ttn@glug.org>

	* chars.h (SCM_MAKE_CHAR): Use `scm_t_bits' instead of `intptr_t'.
	Thanks to Golubev I. N.

2001-09-25  Gary Houston  <ghouston@arglist.com>

	* ports.c (scm_drain_input): extended the docstring.  thanks to
	Alex Schroeder and Thien-Thi Nguyen.

2001-09-23  Mikael Djurfeldt  <mdj@linnaeus>

	* validate.h (SCM_NUM2FLOAT, SCM_NUM2DOUBLE,
	SCM_VALIDATE_FLOAT_COPY, SCM_VALIDATE_DOUBLE_COPY): New
	macros. (The NUM names might soon change.)

	* numbers.h: Added missing declarations.

2001-09-22  Mikael Djurfeldt  <mdj@linnaeus>

	* Makefile.am: Distribute num2float.i.c.

	* num2float.i.c: New file, multiply included by numbers.c, used
	to "templatize" the float <-> num conversion routines.

	* numbers.c: New functions: scm_num2float, scm_float2num,
	scm_num2double, scm_double2num.

2001-09-21  Rob Browning  <rlb@defaultvalue.org>

	* .cvsignore: really add version.h

	* strings.h (SCM_SET_STRING_LENGTH): coerce "l" to a long.
	Otherwise it fails on the alpha.  However, we might rather choose
	this size conditionally.

	* numbers.c (scm_gcd): change "k" to a long from an int.
	Otherwise it fails on the alpha.  However, we might rather choose
	this size conditionally.

	* error.c (scm_wta): coerce char* to intptr_t before int
	assignment.

	* debug.c (debugobj_print): coerce scm_intprint arg 1 to long, not
	int.

	* chars.h (SCM_MAKE_CHAR): coerce value to intptr_t.

2001-09-20  Mikael Djurfeldt  <mdj@linnaeus>

	* numbers.c (scm_integer_expt): Accept inexact integer in second
	argument.  (Thanks to Bill Schottstaedt.)

2001-09-20  Rob Browning  <rlb@defaultvalue.org>

	* .cvsignore: add version.h

	* versiondat.h.in: removed (obsolete).

	* version.h.in: renamed from version.h.
	(SCM_GUILE_MAJOR_VERSION): new public macro.
	(SCM_GUILE_MINOR_VERSION): new public macro.
	(SCM_GUILE_MICRO_VERSION): new public macro.

	* version.h: renamed to version.h.in.

	* version.c
	(scm_major_version): support integer *_VERSION macros.
	(scm_minor_version): support integer *_VERSION macros.
	(scm_micro_version): support integer *_VERSION macros.
	(scm_version): support integer *_VERSION macros.

2001-09-20  Mikael Djurfeldt  <mdj@linnaeus>

	* error.c, error.h: Made error keys globally accessible.
	Applications might want to test for these or use them in a direct
	call to scm_error.

	* num2integral.i.c (NUM2INTEGRAL): Report an error when these
	routines are passed an inexact.  This change in behavior is
	motivated by concordance with R5RS: It is more common that a
	primitive doesn't want to accept an inexact for an exact.

2001-09-17  Dirk Herrmann  <D.Herrmann@tu-bs.de>

        The following patch partially undoes my patch from 2001-06-30,
	where I added the function scm_gc_mark_cell_conservatively.  The
	function is buggy, since it breaks guile during conservative
	marking if a pointer on the stack points directly into the list of
	free cells on the heap:  With conservative cell marking this will
	cause the whole free list to be scanned and marked - boom!

	* gc.c (allocated_mark, MARK, heap_segment,
	scm_gc_mark_cell_conservatively, scm_init_storage), gc.h
	(scm_gc_mark_cell_conservatively):  Remove function
	scm_gc_mark_cell_conservatively and update the corresponding
	comments and uses accordingly.  Thanks to Christopher Cramer for
	the patch.  (Minor corrections by me.)

2001-09-15  Gary Houston  <ghouston@arglist.com>

	* root.h (scm_root_state): removed the continuation_stack and
	continuation_stack_ptr members, which have no apparent purpose.
	(scm_continuation_stack, scm_continuation_stack_ptr): #defines
	removed.

	* root.c (root_mark), init.c (restart_stack, start_stack), gc
	(scm_igc): remove all references to contination_stack and
	continuation_stack_ptr, avoiding allocation of a vector and
	useless processing during gc.

2001-09-13  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* guardians.c (tconc_t, t_tconc):  Renamed tconc_t to t_tconc.

	(TCONC_IN):  Make sure that the cell word 0 is initialized last.

	(guardians_t, t_guardians):  Renamed guardians_t to t_guardians.

	(GUARDIAN, GUARDIAN_DATA):  Renamed GUARDIAN to GUARDIAN_DATA.

	(guardian_apply, scm_get_one_zombie, scm_make_guardian,
	mark_and_zombify):  Prefer !SCM_<foo> over SCM_N<foo>.

2001-09-13  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* guardians.c (mark_dependencies_in_tconc,
	whine_about_self_centered_zombies, scm_init_guardians):  Register
	the static global variable `self_centered_zombies' via
	scm_gc_register_root, to make some cdr-ing unnecessary.

2001-09-13  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* backtrace.c (display_backtrace_file,
	display_backtrace_file_and_line):  Use SCM_EQ_P when comparing SCM
	values, use SCM_FALSEP when comparing SCM values against #f.
	Thanks to Rob Browning for the bug report.

2001-09-12  Martin Baulig  <martin@home-of-linux.org>

	* strings.[ch] (scm_str2string): New function.

2001-09-06  Marius Vollmer  <mvo@zagadka.ping.de>

	* gc.c (scm_done_free): Always subtract size from scm_mallocated
	when computing nm, even if it's negative.
	(scm_must_malloc): Abort on overflow of scm_mtrigger.
	(scm_must_realloc): Likewise.

2001-09-01  Michael Livshin  <mlivshin@bigfoot.com>

	* numbers.c (scm_sys_check_number_conversions): new function,
	defined if Guile is compiled in debugging mode.  currently checks
	`scm_num2ulong', should check much much more.

	* num2integral.i.c (NUM2INTEGRAL): when converting a bignum to
	unsigned, ensure that it's positive.  thanks to Martin Baulig!

2001-08-31  Dirk Herrmann  <D.Herrmann@tu-bs.de>

	* __scm.h: Added new section about compile time selectable
	features.

	(long_long, ulong_long, scm_sizet, SCM_WNA, SCM_OUTOFRANGE,
	SCM_NALLOC, SCM_HUP_SIGNAL, SCM_INT_SIGNAL, SCM_FPE_SIGNAL,
	SCM_BUS_SIGNAL, SCM_SEGV_SIGNAL, SCM_ALRM_SIGNAL, SCM_GC_SIGNAL,
	SCM_TICK_SIGNAL, SCM_SIG_ORD, SCM_ORD_SIG, SCM_NUM_SIGS):
	Removed.

	* deprecation.c (scm_include_deprecated_features): Simplified.

	* eval.c (EVALCAR, unmemocopy), eval.h (SCM_XEVALCAR): Use