* eval.c (scm_m_body, m_body, scm_m_lambda, memoize_named_let,
scm_m_let, scm_m_letrec, m_expand_body): Renamed static function
scm_m_body to m_body.

* eval.c, eval.h (scm_m_expand_body, m_expand_body): Deprecated
public use of scm_m_expand_body in eval.h.  In eval.c, renamed
scm_m_expand_body to m_expand_body and made it static.  Added
deprecated wrapper scm_m_expand_body.

(scm_eval_body, SCM_CEVAL, SCM_APPLY): Use m_expand_body instead
of scm_m_expand_body.

*** empty log message ***

Add a copyright year.

(scm_dynamic_unlink): Need scm_list_1 on error message
argument.  Reported by Mike Gran.

* srfi-modules.texi (SRFI-1 Filtering and Partitioning): Move filter
and filter! ...
* scheme-compound.texi (List Modification): ... to here, now that
they're implemented in the core.

(Pretty Printing): Add new keyword options, break example to avoid long line.

*** empty log message ***

(Random): In random, use @code for *random-state*.
Reported by Stephen Compall.

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

(s_body): Removed.

(scm_m_expand_body): Fixed core dump when passing a body with
defines, but without expressions (see additions to syntax.test).
Use ASSERT_SYNTAX to signal syntax errors.

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

Renamed section 'define' to 'top-level define' and added a new
section 'internal define' with some tests.

*** empty log message ***

* misc-modules.texi (File Tree Walk): New chapter.
* guile.texi: Add it.

* misc-modules.texi (File Tree Walk): New chapter.

* eval.c (canonicalize_define): New static helper function.

(memoize_define, canonicalize_define): Extract handling of
function currying to canonicalize_define.

* eval.c (scm_trampoline_0, scm_trampoline_1, scm_trampoline_2):
Make sure that error checking in debug mode is not worse than in
standard mode.

* eval.c (scm_m_body, scm_m_lambda): Documentation strings are not
handled in scm_m_body any more, but rather in scm_m_lambda.

(scm_m_body, memoize_named_let, scm_m_let, scm_m_letstar,
scm_m_letrec, scm_m_expand_body): Check for validity is done by
calling functions of scm_m_body.

(scm_m_lambda): Avoid unnecessary consing when creating the
memoized code.

* libguile/eval.c (s_expression): Added comment.

(s_empty_combination, error_unbound_variable): New static
identifiers.

(SCM_VALIDATE_NON_EMPTY_COMBINATION, SCM_EVALIM2, scm_lookupcar1):
Use ASSERT_SYNTAX, syntax_error or error_unbound_variable to
signal syntax errors.

(SCM_CEVAL): Separated handling of evaluator bytecodes and other
scheme objects.

* test-suite/tests/syntax.test (exception:missing/extra-expr-misc):
Removed.

(exception:illegal-empty-combination): New.

(exception:missing/extra-expr): Unified capitalization.

Adapted test for '()' to the new way of error reporting.

* eval.c (unmemocar, sym_three_question_marks, scm_unmemocar):
Grouped together with unmemocopy, without modifications.

(build_binding_list, unmemocopy): Renamed names of list arguments
and variables to reflect the actual order of the list elements.

* eval.c (s_defun): New static identifier.

(scm_m_nil_cond, scm_m_atfop, scm_m_undefine): Add comments.  Use
ASSERT_SYNTAX to signal syntax errors.  Avoid unnecessary consing
when creating the memoized code.

*** empty log message ***

*** empty log message ***

Use define-module to hide helper defines.
(dbl-mant-dig, ash-flo): New helpers.
(exact->inexact): New tests.

(scm_i_big2dbl): Rewrite, carefully rounding to "closest"
in accordance with R5RS, which just mpz_get_d doesn't really give.

(scm_ash): Revise docstring as per recent update to manual.

* eval.c (s_bad_slot_number): New static identifier.

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

* libguile/eval.c (scm_m_cont, scm_m_at_call_with_values,
scm_m_generalized_set_x): Use ASSERT_SYNTAX to signal syntax
errors.  Avoid unnecessary consing when creating the memoized
code.

(scm_m_generalized_set_x): Let scm_m_set_x handle the R5RS
standard case.  Make sure line and file information are copied to
every created expression.

* test-suite/tests/syntax.test (exception:bad-var): Removed.

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

* libguile/eval.c (scm_m_set_x, scm_m_apply, scm_m_atbind): Use
ASSERT_SYNTAX to signal syntax errors.  Avoid unnecessary consing
when creating the memoized code.

(scm_m_atbind): Reversed the order, in which the init expressions
are stored and executed.  The order of execution is now equal to
the order in which the initializers of the let-forms are executed.
Use check_bindings and transform_bindings.

(SCM_CEVAL): Eliminated SCM_NIMP in favor of more appropriate
!SCM_NULLP.  Added some comments.

* test-suite/tests/dynamic-scope.test (exception:missing-expr):
Introduced temporarily until all memoizers use the new way of error
reporting.

* libguile/eval.c: Sorted include files alphabetically.

(scm_m_begin): Added comment.

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

(iqq, scm_m_quasiquote, scm_m_quote): Use ASSERT_SYNTAX to signal
syntax errors.  Be more specific about the kind of error that was
detected.

(scm_m_quote, unmemocopy): As an optimization, vector constants
are now inserted unquoted into the memoized code.  During
unmemoization the quotes are added again to provide syntactically
correct code.

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

(exception:missing/extra-expr-syntax,
exception:missing/extra-expr): Renamed
exception:missing/extra-expr-syntax to
exception:missing/extra-expr.

* libguile/eval.c (scm_m_let, scm_m_letstar, scm_m_letrec,
scm_m_expand_body, check_bindings): Extracted syntax checking of
bindings to new static function check_bindings.

(scm_m_let, memoize_named_let): Extracted handling of named let to
new static function memoize_named_let.

(transform_bindings, scm_m_let, scm_m_letstar, scm_m_letrec): 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.

* test-suite/lib.scm (exception:bad-variable): New.

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

(exception:duplicate-bindings): Removed.

Adapted tests for 'let', 'let*' and 'letrec' to the new way of
error reporting.

*** empty log message ***

(Defining new Scheme procedures in C): Don't use
@strong{Note:}, latest makeinfo will complain it looks like a cross
reference.

(Calling Scheme procedures from C, scm transition summary):
Refer to scm_list_n, not the old name scm_listify.
(scm transition summary): For gh_apply, recommend scm_apply_0, which
is now documented.

* 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!