* posix.texi (Time): Correction to strftime glibc cross reference
node, now "Formatting Calendar Time".

(SRFI-1 Searching): In break, note conflict with
binding established by `while'.

Work on debugger frontend code.

* libguile/eval.c (s_bad_formals, s_bad_formal, s_duplicate_formal):
        New static identifiers.

(s_clauses, s_formals, s_duplicate_formals): Removed.

(scm_m_lambda): Use ASSERT_SYNTAX to signal syntax errors.  Be more
specific about the kind of error that was detected.  Prepare for
easier integration of changes for separated memoization.

* test-suite/tests/syntax.test (define exception:bad-formal, define
exception:duplicate-formal): New.

(exception:duplicate-formals): Removed.

(exception:bad-formals): Adapted to the new way of error
reporting.

Adapted tests for 'lambda' to the new way of error reporting.

*** empty log message ***

(directory-files): Close dir-stream when done.  Thanks to Paul Jarc!

Added Paul Jarc.

* tests/syntax.test (exception:missing/extra-expr-syntax): Fixed
to be unaware of whether line number information is given or not.

* libguile/eval.c (s_duplicate_binding): New static identifier.

(scm_m_case): Call scm_c_memq instead of implementing it inline.

(scm_m_define): Added comment about how we check for duplicate
formals.

(scm_m_do): Added check for duplicate bindings.

(scm_m_if): Use ASSERT_SYNTAX to signal syntax errors.  Avoid
unnecessary consing when creating the memoized code.

(scm_c_improper_memq, c_improper_memq, scm_m_lambda): Renamed
scm_c_improper_memq to c_improper_memq, since it is not exported.

(transform_bindings): Call scm_c_memq rather than
scm_c_improper_memq.

(SCM_CEVAL): Simplified handling of SCM_IM_IF forms.

* test-suite/tests/syntax.test (exception:missing/extra-expr-syntax):
        New, introduced temporarily until all memoizers use the new way of
error reporting.

Adapted tests for 'if' to the new way of error reporting.

* eval.c (s_bad_bindings, s_bad_binding, s_bad_exit_clause): New
static identifiers.

(scm_m_do): Use ASSERT_SYNTAX to signal syntax errors.  Be more
specific about the kind of error that was detected.  Avoid use of
SCM_CDRLOC.  Avoid unnecessary consing when creating the memoized
code, this way also making sure that file name, line number
information etc. remain available.

* eval.c (memoize_as_thunk_prototype): New static function.

(scm_m_delay, scm_m_future): Use memoize_as_thunk_prototype.
Avoid unnecessary consing when creating the memoized code.

*** empty log message ***

(scm_append): Track argument number and use in error.

* libguile/eval.c (s_missing_expression, s_bad_variable): New static
identifiers.

(scm_m_define): Use ASSERT_SYNTAX to signal syntax errors.  Prefer
R5RS terminology for the naming of variables.  Be more specific
about the kind of error that was detected.  Make sure file name,
line number etc. are added to all freshly created expressions.
Avoid unnecessary consing when creating the memoized code.

* test-suite/tests/syntax.test (exception:missing-expr,
exception:extra-expr): New.

Adapted tests for 'begin' to the new way of error
reporting.

* libguile/eval.c (s_extra_expression, s_misplaced_else_clause,
s_bad_cond_clause, s_missing_recipient): New static identifiers.

(s_extra_case_clause): Removed.

(scm_m_case, scm_m_cond): If a clause appears after an else
clause, report a misplaced else clause.

(scm_m_cond): Use ASSERT_SYNTAX to signal syntax errors.  Be more
specific about the kind of error that was detected.  Handle bound
'else and '=>.  Avoid unnecessary consing when creating the
memoized code.

(scm_m_cond, unmemocopy, SCM_CEVAL): Use SCM_IM_ELSE to memoize
the syntactic keyword 'else and SCM_IM_ARROW to memoize the
syntactic keyword '=>.

* test-suite/tests/syntax.test (exception:misplaced-else-clause,
exception:bad-cond-clause): New.

(exception:bad/missing-clauses, exception:extra-case-clause):
Removed.

Adapted tests for 'case' and 'cond' to the new way of error
reporting.

The tests that check if cond is hygienic pass now.

* libguile/eval.c (scm_m_case): Allow empty lists of case labels.

* test-suite/tests/syntax.test: Fixed and activated test of empty case
        label support.

* libguile/tags.h (SCM_IM_ELSE, SCM_IM_ARROW): New memoizer codes.

* libguile/print.c (scm_isymnames): Add names for the new memoizer
        codes.

* libguile/eval.c (s_missing_clauses, s_bad_case_clause,
s_extra_case_clause, s_bad_case_labels, s_duplicate_case_label,
literal_p): New static identifiers.

(scm_m_case): Use ASSERT_SYNTAX to signal syntax errors.  Be more
specific about the kind of error that was detected.  Check for
duplicate case labels.  Handle bound 'else.  Avoid unnecessary
consing when creating the memoized code.

(scm_m_case, unmemocopy, SCM_CEVAL): Use SCM_IM_ELSE to memoize
the syntactic keyword 'else.

* test-suite/tests/syntax.test (exception:bad-expression,
exception:missing-clauses, exception:bad-case-clause,
exception:extra-case-clause, exception:bad-case-labels): New.

Added some tests and adapted tests for 'case' to the new way of
error reporting.

* libguile/eval.c (s_bad_expression, syntax_error_key, syntax_error,
ASSERT_SYNTAX, ASSERT_SYNTAX_2): New static identifiers.

(scm_m_and): Use ASSERT_SYNTAX to signal syntax errors.  Avoid
unnecessary consing when creating the memoized code.

* test-suite/lib.scm (run-test-exception): Handle syntax errors.

*** empty log message ***

(inexact->exact): Use corrent argument order for pass-if-exception.
Use "+inf.0" instead of "+.inf", etc.

*** empty log message ***

(inexact->exact): New tests.

(scm_inexact_to_exact): Don't depend on what double->long
cast gives for values bigger than a long, or for nan or inf.

*** empty log message ***

(Hash Table Reference): Decribe rehashing, note
no hashx-remove!, describe make-hash-table size parameter.

*** empty log message ***

* tests/poe.test: New file.
* Makefile.am: Add it.

New file.

*** empty log message ***

(funcq-assoc): Rewrite, don't assume '() is false, and
actually traverse the given alist.

* smob.h (scm_make_smob_type): Made the declaration match the
definition.

* lib.scm (exception:missing-expression): New.

* tests/dynamic-scope.test, tests/eval.test,
tests/r5rs_pitfall.test, tests/srfi-17.test, tests/syncase.test:
Wrap tests in module (test-suite test-<file-name without .test>),
following a practice that was used on a couple of files already.

* tests/dynamic-scope.test (exception:duplicate-binding,
exception:bad-binding): New.

* tests/dynamic-scope.test, tests/srfi-17.test, tests/syntax.test:
Execute syntactically wrong tests using eval.  With the upcoming
new memoizer this is necessary in order to postpone the syntax
check to the actual evaluation of the syntactically wrong form.

* tests/syntax.test: Added some test cases and modified one test
case.

Make type names char const * instead of char *.  Thanks to Paul Jarc!

UI frontend work: eval support.

*** empty log message ***

* scheme-memory.texi: Added a short explanation of the GC and the
conservative stack scanning.
(scm_gc_protect_object, scm_gc_unprotect_object,
scm_permanent_object): New.

* data-rep.texi, scheme-memory.texi (scm_remember_upto_here_1,
scm_remember_upto_here_2): Moved from data-rep.texi to
scheme-memory.texi.

Debugger UI asynchronous thread support.

*** empty log message ***

(String Ports): In call-with-output-string, note proc
should not close the port.  In get-output-string, note string must be
gotten before closing the port.

*** empty log message ***

(call-with-output-string): Test proc closing port.

*** empty log message ***

(s_scm_call_with_output_string): scm_get_output_string
rather than scm_strport_to_string, so as to guard against the port
having been closed by the called procedure.  Reported by Nic Ferrier.

Fix a couple of typos in:
New file.

Add call-with-output-string no segv on closed port.

Two fixes to Guile tutorial.

Work (in progress) on new debugging frontend.

* guile-test: Wrapped in module (test-suite guile-test).

(main data-file-name test-file-name): Exported.

((guile-user)::main): New function, wrapper for function
(test-suite guile-test)::main.

* tests/load.test: Wrapped in module (test-suite test-load).

* tests/ports.test: Wrapped in module (test-suite test-ports).

* tests/r4rs.test: Wrapped in module (test-suite test-r4rs).
Added comments about the required structure of the file itself,
since it is subject to some tests.  Removed some now unnecessary
undefine operations.

* tests/syntax.test: Wrapped in module (test-suite test-syntax)

* numbers.h (SCM_INEXACTP): Removed uses of SCM_TYP16S.

* tags.h, deprecated.h (SCM_TYP16S): Deprecated and moved from
tags.h to deprecated.h.

A tweak to:
(File System): In access?, reword a bit, clarify real
versus effective ID handling, cross reference glibc on that, and
recommend against access tests in library functions.

*** empty log message ***

(File System): In access?, reword a bit, clarify real
versus effective ID handling, cross reference glibc on that, and
recommend against access tests in library functions.

Add ice-9 popen duplicate pipe fd fix.

*** empty log message ***

*** empty log message ***

* tests/popen.test: New file.
* Makefile.am (SCM_TESTS): Add it.

New file.

(open-process): Correction to previous fdes closing
change, need to watch out for stdin==stderr or stdout==stderr.

This set of patches introduces a new tc7 code scm_tc7_number for
numbers.  Bignums, reals and complex numbers are turned from smobs
into subtypes of scm_tc7_number.

* tags.h (scm_tc7_number): New.

* eq.c (scm_equal_p), eval.c (SCM_CEVAL), evalext.c
(scm_self_evaluating_p), gc-card.c (scm_i_sweep_card), gc-mark.c
(scm_gc_mark_dependencies), goops.c (create_smob_classes), hash.c
(scm_hasher), numbers.c, numbers.h (SCM_NUMP), objects.c
(scm_class_of), print.c (scm_iprin1), smob.c
(scm_smob_prehistory): Don't handle bignums, reals and complex
numbers as subtypes of scm_tc7_smob any more.

* numbers.h, tags.h (scm_tc16_big, scm_tc16_real,
scm_tc16_complex): Moved definitions from tags.h to numbers.h.

* numbers.c (scm_make_complex), gc-card.c (scm_i_sweep_card): Use
sizeof (scm_t_complex) to determine the memory size of the
malloc'd area for complex numbers.

* libguile/numbers.c (scm_bigequal): Fixed.

* test-suite/tests/numbers.test (equal?): Added tests.

* test-suite/tests/numbers.test (=): Fixed and added some bignum
        related tests.

*** empty log message ***

(scm_current_time): 'time' does not set errno so don't use
SCM_SYSERROR for reporting errors.

This set of patches eliminates the dependency between the
implementation of evaluator specific memoization codes and special
constants like #f, '() etc. ('flags'), which are not evaluator
specific.  The goal is to remove definitions of evaluator
memoization codes completely from the public interface.  This will
make it possible to experiment more freely with optimizations of
guile's internal representation of memoized code.

* objects.c (scm_class_of): Eliminate dependency on SCM_ISYMNUM.

* print.c (iflagnames): New array, holding the printed names of
guile's special constants ('flags').

(scm_isymnames): Now holds only the printed names of the
memoization codes.

(scm_iprin1): Separate the handling of memoization codes and
guile's special constants.

* tags.h (scm_tc9_flag, SCM_ITAG9, SCM_MAKE_ITAG9, SCM_ITAG9_DATA,
SCM_IFLAGNUM): new

(scm_tc8_char, scm_tc8_iloc, SCM_BOOL_F, SCM_BOOL_T,
SCM_UNDEFINED, SCM_EOF_VAL, SCM_EOL, SCM_UNSPECIFIED, SCM_UNBOUND,
SCM_ELISP_NIL, SCM_IM_DISPATCH, SCM_IM_SLOT_REF,
SCM_IM_SLOT_SET_X, SCM_IM_DELAY, SCM_IM_FUTURE,
SCM_IM_CALL_WITH_VALUES, SCM_IM_NIL_COND, SCM_IM_BIND): Changed
values.

(SCM_IFLAGP): SCM_IFLAGP now only tests for flags.

(SCM_IFLAGP, SCM_MAKIFLAG, SCM_IFLAGNUM): Generalized to use the
tc9 macros and scm_tc9_flag.

Fix a grammatical typo in my last entry.

Add another comment to:
(file-exists?): Use stat rather than access?, ...

*** empty log message ***

(format): Rewritten as a big letrec to make it reentrant.  No mutex is
necessary.  Thanks to Clinton Ebadi!

*** empty log message ***

(scm_setgroups): Check that the gid list is not too long.  Thanks to
Paul Jarc!

* tags.h: Reduced the number of short instructions from 14 to 13.
The typecode of the former 14th short instruction is now used to
represent long instructions.  Changed some comments to reflect
this fact.

(SCM_MAKISYM): ISYMs get a new tc7 code, namely the one that was
previously used by SCM_IM_DEFINE.

(SCM_IM_DEFINE): Turned into a long instruction.

* eval.c (unmemocopy, SCM_CEVAL): Treat SCM_IM_DEFINE as a long
instruction.

* eval.c (SCM_CEVAL): Since characters and iflags have now a tc7
code that is separate from all instructions, one level of dispatch
for long instructions can be eliminated.

* print.c (scm_isymnames): Removed some commented code.

*** empty log message ***

(SRFI-19): Rewrite, adding descriptions of all
functions, and a bit of an introduction.

*** empty log message ***

(Append/Reverse): Merge reverse and reverse!,
describe newtail parameter for reverse!, remove confusing caveat about
head becoming tail for reverse!.

(Reading): Add scm_c_read.
(Writing): Add scm_c_write.

(SRFI-1 Constructors): Add list-copy.

(Network Address Conversion): Under IPv4, describe
numeric representation in Guile, add INADDR_LOOPBACK and
INADDR_BROADCAST, add commented-out INADDR_NONE.

(File System): In stat:dev and stat:mode, clarify that both are numbers.

(Reading): In port-column, port-line,
set-port-column! and set-port-line!, port parameter must be given,
there's no default to current input.

*** empty log message ***

(file-exists?): Use stat rather than access?, so as to
follow the effective UID/GID not the real ID.  file-exists? is
normally be used as a prelude to opening or some other operation, and
it's the effective ID which will apply there.  Emacs file-exists-p
uses stat, presumably for the the same reason.

*** empty log message ***

(SCM_FENCE): Use __memory_barrier with the Intel compiler on IA64.

*** empty log message ***

(make-autoload-interface): Use a proper hashtable as
the obarray, not an empty vector.
(make-module): Always construct a hashtable for the obarray, even
for empty ones.

(format:error): Use 'format:format' instead of
'format' since the latter will lock the mutex again that we have
already locked.
(format:format-work): Flag multiple '#' as an error.

(scm_tc16_hashtable): Added "extern" declaration.

(scm_module_reverse_lookup): Check that the obarray really is a
hashtable and do nothing if not.

*** empty log message ***

Use "extern inline" only with GCC.  Use "static
inline" else.

* numbers.h (SCM_INEXACTP, SCM_REALP, SCM_COMPLEXP): Removed uses
of SCM_SLOPPY_INEXACTP, SCM_SLOPPY_REALP and SCM_SLOPPY_COMPLEXP.

* numbers.h, deprecated.h (SCM_SLOPPY_INEXACTP, SCM_SLOPPY_REALP,
SCM_SLOPPY_COMPLEXP): Deprecated and moved from numbers.h to
deprecated.h.

* eq.c (scm_eqv_p, scm_equal_p): Removed uses of
SCM_SLOPPY_INEXACTP, SCM_SLOPPY_REALP and SCM_SLOPPY_COMPLEXP.

* eq.c (scm_eqv_p, scm_equal_p): Reordered comparisons from
0.0==some_expression to some_expression==0.0.  The latter is
better readable.  The former is preferred by some people, since it
leads to a compiler error when confusing == with =.  However, when
using gcc, a warning will be issued if in an if-statement an
assigment appears.  Since many Guile developers are using gcc,
such errors will not remain unnoticed anyway.  We can therefore
focus on better readability.

* tags.h: Added description of Guile's type system.  Removed some
old and misleading comments.

* unit.c (scm_cvref): Eliminate unnecessary uses of SCM_NIMP,
SCM_SLOPPY_REALP and SCM_SLOPPY_COMPLEXP.

* numbers.h (SCM_MAKINUM): Define in terms of scm_tc2_int.

(SCM_INEXACTP, SCM_REALP, SCM_COMPLEXP): Define in terms of the
respective SLOPPY macro.

* eq.c (scm_equal_p): Use SCM_TYP7 to check if an object is of
type string, not SCM_TYP7S.

*** empty log message ***

(scm_strptime): Add comment about glibc strptime %s and
current timezone requiring SCM_DEFER_INTS.

(Symbol Primitives): In gensym, cross reference
uninterned symbols, use @w{} on " g" prefix to avoid any chance of a
line break obscuring it.