[Guile-commits] 24/33: Merge from stable-2.2

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit d60b957b1f68c2524da164a735342d174a58c7d1
Merge: 600bc1e 6263d03
Author: Andy Wingo <address@hidden>
Date:   Fri Aug 2 15:23:36 2019 +0200

    Merge from stable-2.2

 NEWS | 262 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 262 insertions(+)

diff --cc NEWS
index 4ac418e,aa41d4f..19b5be6
--- a/NEWS
+++ b/NEWS
@@@ -6,115 -6,266 +6,377 @@@ Please send Guile bug reports to bug-gu
  
  
  
 +Changes in alpha 2.9.3 (since alpha 2.9.2):
 +
 +* Notable changes
 +
 +** Improved just-in-time machine code generation
 +
 +Guile's JIT compiler emits better code for indirect procedure calls,
 +atomic instructions, numeric comparisons, procedure prologues,
 +well-known closures with no free variables, calls and returns, and
 +allocations.  Together these improvements can speed up some benchmarks
 +by up to 50%.
 +
 +
 +
 +Changes in alpha 2.9.x (since the stable 2.2 series):
 +
 +* Notable changes
 +
 +** Just-in-time code generation
 +
 +Guile programs now run up to 4 times faster, relative to Guile 2.2,
 +thanks to just-in-time (JIT) native code generation.  Notably, this
 +brings the performance of "eval" as written in Scheme back to the level
 +of "eval" written in C, as in the days of Guile 1.8.
 +
 +See "Just-In-Time Native Code" in the manual, for more information.  JIT
 +compilation will be enabled automatically and transparently.  To disable
 +JIT compilation, configure Guile with `--enable-jit=no' or
 +`--disable-jit'.  The default is `--enable-jit=auto', which enables the
 +JIT if it is available.  See `./configure --help' for more.
 +
 +JIT compilation is enabled by default on x86-64, i686, ARMv7, and
 +AArch64 targets.
 +
 +** Lower-level bytecode
 +
 +Relative to the virtual machine in Guile 2.2, Guile's VM instruction set
 +is now more low-level.  This allows it to express more advanced
 +optimizations, for example type check elision or integer
 +devirtualization, and makes the task of JIT code generation easier.
 +
 +Note that this change can mean that for a given function, the
 +corresponding number of instructions in Guile 3.0 may be higher than
 +Guile 2.2, which can lead to slowdowns when the function is interpreted.
 +We hope that JIT compilation more than makes up for this slight
 +slowdown.
 +
 +** By default, GOOPS classes are not redefinable
 +
 +It used to be that all GOOPS classes were redefinable, at least in
 +theory.  This facility was supported by an indirection in all "struct"
 +instances, even though only a subset of structs would need redefinition.
 +We wanted to remove this indirection, in order to speed up Guile
 +records, allow immutable Guile records to eventually be described by
 +classes, and allow for some optimizations in core GOOPS classes that
 +shouldn't be redefined anyway.
 +
 +Thus in GOOPS now there are classes that are redefinable and classes
 +that aren't.  By default, classes created with GOOPS are not
 +redefinable.  To make a class redefinable, it should be an instance of
 +`<redefinable-class>'.  See "Redefining a Class" in the manual for more
 +information.
 +
 +* New deprecations
 +
 +** scm_t_uint8, etc deprecated in favor of C99 stdint.h
 +
 +It used to be that Guile defined its own `scm_t_uint8' because C99
 +`uint8_t' wasn't widely enough available.  Now Guile finally made the
 +change to use C99 types, both internally and in Guile's public headers.
 +
 +Note that this also applies to SCM_T_UINT8_MAX, SCM_T_INT8_MIN, for intN
 +and uintN for N in 8, 16, 32, and 64.  Guile also now uses ptrdiff_t
 +instead of scm_t_ptrdiff, and similarly for intmax_t, uintmax_t,
 +intptr_t, and uintptr_t.
 +
 +* Incompatible changes
 +
 +** All deprecated code removed
 +
 +All code deprecated in Guile 2.2 has been removed.  See older NEWS, and
 +check that your programs can compile without linker warnings and run
 +without runtime warnings.  See "Deprecation" in the manual.
 +
 +In particular, the function `scm_generalized_vector_get_handle' which
 +was deprecated in 2.0.9 but remained in 2.2, has now finally been
 +removed. As a replacement, use `scm_array_get_handle' to get a handle
 +and `scm_array_handle_rank' to check the rank.
 +
 +** Remove "self" field from vtables and "redefined" field from classes
 +
 +These fields were used as part of the machinery for class redefinition
 +and is no longer needed.
 +
 +** VM hook manipulation simplified
 +
 +The low-level mechanism to instrument a running virtual machine for
 +debugging and tracing has been simplified.  See "VM Hooks" in the
 +manual, for more.
 +
 +* Changes to the distribution
 +
 +** New effective version
 +
 +The "effective version" of Guile is now 3.0, which allows parallel
 +installation with other effective versions (for example, the older Guile
 +2.2).  See "Parallel Installations" in the manual for full details.
 +Notably, the `pkg-config' file is now `guile-3.0'.
 +
++
++
+ Changes in 2.2.5 (since 2.2.4):
+ 
+ * Notable improvements
+ 
+ ** Greatly improved performance of bidirectional pipes.
+ 
+ The performance of bidirectional pipes, as created using 'open-pipe' or
+ 'open-pipe*' in OPEN_BOTH mode, has been greatly improved.  When reading
+ large blocks of binary data from a bidirectional pipe, the maximum
+ bandwidth has been increased by a factor of ~10^3 in some cases.
+ 
+ ** New 'get-bytevector-some!' I/O primitive.
+ 
+ This new I/O primitive is similar to 'get-bytevector-some' from the
+ R6RS, except that it writes its data to a user-specified range of
+ indices in an existing bytevector.  As a corollary, it is also now
+ possible to specify a maximum number of bytes to read.  Note that
+ 'get-bytevector-some', and now 'get-bytevector-some!', are unique among
+ Guile's I/O primitives in their support of efficient binary reads of
+ potentially large blocks while also allowing for short reads, to avoid
+ undesired blocking.  Now these operations can be performed while also
+ avoiding heap-allocation.
+ 
+ 'get-bytevector-some!' is needed to efficiently implement the new
+ bidirectional pipes, which are built upon R6RS custom binary
+ input/output ports.
+ 
+ ** get-bytevector-{n!,some,some!} now support suspendable I/O.
+ 
+ Scheme implementations of 'get-bytevector-n!', 'get-bytevector-some',
+ and 'get-bytevector-some!' have been added to (ice-9 suspendable-ports).
+ As a result, these I/O operations now support suspendable I/O.
+ 
+ * Compiler improvements
+ 
+ ** guild compile: Add -Wshadowed-toplevel.
+ 
+ Top-level definitions that shadow previous top-level definitions from
+ the same compilation unit will now trigger a compile-time warning, if
+ -Wshadowed-toplevel is enabled.  It is enabled by default.
+ 
+ ** guild compile: Add '-x' flag.
+ 
+ Passing "-x EXT" to 'guild compile' will now cause EXT to be recognized
+ as a valid source file name extension.  For example, to compile R6RS
+ code, you might want to pass "-x .sls" so that files ending in ".sls"
+ can be found.
+ 
+ * Miscellaneous improvements
+ 
+ ** Bootstrap optimization
 -  
++
+ eval.go and psyntax-pp.go are now built before the rest of the .go files
+ so that they are processed by a fast macro expander.  This saves time
+ when using parallel builds.
+ 
+ ** put-u8 now always writes a single byte, regardless of the port encoding.
+ 
+ Previously, (put-u8 PORT OCTET) worked as expected only when writing to
+ binary ports, i.e. those with port encoding "ISO-8859-1" a.k.a. Latin-1.
+ Strictly speaking, this meets the requirements of the R6RS 'put-u8',
+ which need only support binary ports.  However, Guile in fact allows
+ binary I/O to be performed on any port, and yet 'put-u8' behaved in a
+ surprising way with other port encodings: it would perform a _textual_
+ I/O operation, writing the character with Unicode scalar value OCTET.
+ Now, 'put-u8' always writes a single byte with value OCTET, regardless
+ of the port encoding.
+ 
+ ** Optimize fixnum exact integer square roots.
+ 
+ 'exact-integer-sqrt' now avoids heap allocation when applied to a
+ fixnum.  'sqrt' now avoids heap allocation when applied to a fixnum
+ that's a perfect square.  Fewer heap allocations are now required when
+ applying 'sqrt' to a square of an exact rational whose numerator or
+ denominator are fixnums.
+ 
+ ** scm_mkstrport: Optimize the POS -> BYTE_POS conversion.
+ 
+ scm_mkstrport now avoids an unnecessary heap allocation and conversion
+ to UTF-8, when STR is provided and POS is non-zero.
+ 
+ ** SRFI-19: Support ~N in string->date.
+ 
+ Support for the ~N escape, which allows fractions of a second to be
+ parsed, is now supported in SRFI-19 'string->date'.
+ 
+ ** SRFI-19: Update the leap second table.
+ 
+ The leap on 1 January 2017 was added to SRFI-19's leap second table.
+ 
+ ** stexi->shtml: Add support for @i, @math, @tie and @dots.
+ 
+ stexi->shtml is now able to convert @i, @math, @tie and @dots to HTML.
+ 
+ ** Define AT_SYMLINK_NOFOLLOW, AT_NO_AUTOMOUNT, and AT_EMPTY_PATH.
+ 
+ AT_SYMLINK_FOLLOW, AT_NO_AUTOMOUNT, and AT_EMPTY_PATH are now available
+ from Scheme, if supported on the platform.
+ 
+ ** Improvements to the 'time' macro from (ice-9 time).
+ 
+ The 'time' macro now supports expressions that return multiple values.
+ It has also been rewritten as a hygienic 'syntax-rules' macro.
+ Previously, it was built using 'define-macro', and was therefore
+ unhygienic.  This is not merely an internal implementation detail, but
+ is potentially relevant to any user of the 'time' macro, since it could
+ lead to unintended variable capture and other problems.
+ 
+ ** Clarify the documentation for 'nil?'.
+    See commit b44f505f1571fc9c42e58982f161a9cfc81fb7f4.
+ ** Clarify the manual's "Processes" section.
+    See commit 8cdd3a0773930ca872a13aada7a1344f03bb382b.
+ ** Avoid 'with-latin1-locale' in binary I/O tests.
+    See commit 162a031e5f2c64cd23fcf069fb7b5071196f9527.
+ ** Update user-visible copyright years.
+ 
+ * Bug fixes
+ 
+ ** Avoid regexp ranges in HTTP inter-protocol exploitation check.
+ 
+ The regular expression used to check for HTTP inter-protocol
+ exploitation attacks previously used a character range '0-9', whose
+ meaning depends on the current locale.  This has now been fixed.
+ 
+ ** Fixes to the SRFI-19 time/date library.
+ 
+ *** TAI-to-UTC conversion leaps at the wrong time.
+    <https://bugs.gnu.org/21911>
+ *** time-utc->date shows bogus zone-dependent leap second.
+    <https://bugs.gnu.org/22034>
+ *** Manual incorrectly describes Julian Date.
+    <https://bugs.gnu.org/21902>
+ *** date->string duff ISO 8601 negative years.
+    <https://bugs.gnu.org/21903>
+ *** date->string duff ISO 8601 format for non-4-digit years.
+    <https://bugs.gnu.org/21904>
+ *** julian-day->date negative input breakage.
+     <https://bugs.gnu.org/21906>
+ *** time-duration screws up negative durations.
+     <https://bugs.gnu.org/26162>
+ *** time-difference doesn't detect error of differing time types.
+     <https://bugs.gnu.org/26163>
+ 
+ ** Improve overflow checks in bytevector, string, and I/O operations.
+ 
+ Several numerical computations, performed using primitive C arithmetic
+ in Guile's core bytevector, string, and I/O operations, have been
+ rewritten to avoid overflows.
+ 
+ ** Fix type inferencing for 'nil?' and 'null?' predicates.
+ 
+ Previously, the compiler would sometimes miscompile certain combinations
+ of 'nil?' and 'null?' predicates present within the same top-level form.
+ See <https://bugs.gnu.org/33036>.
+ 
+ ** Fix 'atomic-box-compare-and-swap!'.
+ 
+ Previously, 'atomic-box-compare-and-swap!' would sometimes spuriously
+ fail on architectures based on Load-Linked/Store-Conditional (LL/SC)
+ synchronication primitives (e.g. ARM, PowerPC, and MIPS) in a way that
+ was undetectable by the caller.  See <https://bugs.gnu.org/32786>.
+ 
+ ** Make URI handling locale independent.
+ 
+ Previously, procedures in (web uri) would misbehave in some locales
+ including sv_SE.  See <https://bugs.gnu.org/35785>.
+ 
+ ** Strings, i18n: Limit the use of alloca to approximately 8 kilobytes.
+ 
+ Previously, 'string-locale-ci=?', 'string-locale-ci<?',
+ 'string-locale<?', 'string-locale-{downcase,upcase,titlecase}' and
+ 'string-normalize-{nfd,nfc,nfkd,nfkc}' would overflow the C stack when
+ applied to very large strings.
+ 
+ ** Fix documentation of R6RS 'binary-port?' to reflect reality.
+ 
+ Previously, the documentation incorrectly stated that 'binary-port?'
+ always returns #t.  In fact, it returns #t if and only if the port
+ encoding is "ISO-8859-1".  The documentation for 'binary-port?' and
+ 'textual-port?' has been rewritten to reflect the current reality, and
+ also to leave open the possibility of changing the behavior of these
+ predicates in a future version of Guile.
+ 
+ ** Avoid passing NULL to 'memcpy' and 'memcmp'.
+ 
+ Previously, NULL was sometimes passed to 'memcpy' or 'memcmp' when the
+ size argument was 0.
+ 
+ ** Save and restore errno in the signal handler.
+ 
+ Previously, Guile's synchronous C signal handler failed to save and
+ restore 'errno', although it might change its value.  This could
+ potentially lead to spurious corruptions of 'errno' within threads
+ interrupted by signals.
+ 
+ ** scm_to_stringn: Avoid passing NULL to c_strcasecmp.
+    <https://lists.gnu.org/archive/html/guile-user/2019-05/msg00070.html>
+ ** r6rs-ports: Accept 'port-position' values greater than 2^32.
+    <https://bugs.gnu.org/32161>
+ ** r6rs-ports: 'put-bytevector' accepts 64-bit integers.
+    Fixed in commit 741c45458da0831a12a4f8d729814bf9f2cb6571.
+ ** Fix R6RS call-with-{input,output}-file to open textual ports.
+    <https://bugs.gnu.org/32329>
+ ** Update (ice-9 match) to include selected bug fixes from upstream.
+ *** ice-9/match named match-let is not working
+    <https://bugs.gnu.org/22925>
+ ** open-process: Fix dup(2) and execvp(2) error handling.
+    Fixed in commit 521f1ab4709217407496004019c00005d2a82f78.
+ ** bytevectors: Support large indices in integer accessors.
+    Fixed in commit b9cf3517efd4643670d970d2692bc7bede9a85e8.
+ ** bytevectors: Fix list validation of *list->bytevector procedures.
+    <https://bugs.gnu.org/32938>
+ ** Gracefully handle huge shift counts in 'ash' and 'round-ash'.
+    <https://bugs.gnu.org/32644>
+ ** In 'ash' and 'round-ash', handle right shift count of LONG_MIN.
+    <https://bugs.gnu.org/21901>
+ ** Use 'scm_from_utf8_{string,symbol,keyword}' for C string literals.
+    <https://bugs.gnu.org/33044>
+ ** web: Add support for HTTP header continuation lines.
+    Fixed in commit 73cde5ed7218a090ecee888870908af5445796f0.
+ ** scm_seed_to_random_state: Support wide string arguments.
+    <https://bugs.gnu.org/33044>
+ ** Do not warn the user when 'madvise' returns ENOSYS.
+    Fixed in commit 45e4ace6603e00b297e6542362273041aebe7305.
+ ** Add 'texinfo' as a dependency in the README.
+    Fixed in commit 1bbce71501198c3c7abdf07941f5cdc1434858c2.
+ ** Don't mutate read-only string in ports test.
+    Fixed in commit 552f007e91a97f136aad1b22918688b61d03a4a3.
+ ** Remove redefinition of when & unless in snarf-check-and-output-texi.
+    Fixed in commit 1ba5d6f47a54dceee4452a1e7726d2635e5b3449.
+ ** Fix strftime when Guile is built without threading support.
+    Fixed in commit 139c702fc8b61fdeb813c3428fef3701ea8677f9.
+ ** Avoid leaking a file descriptor in test-unwind.
+    Fixed in commit 1437b76777e576b3d000e2f80c5ecdb33a74ac33.
+ ** Fix binary output on files created by mkstemp!.
+    Fixed in commit 78468baa118d316050a27e43250966e52ffd3d54.
+ ** Fix crypt-on-glibc test error.
+    Fixed in commit 27ffbfb0235de466016ea5a6421508f6548971b6.
+ ** Fix race when expanding syntax-parameterize and define-syntax-parameter.
+    <https://bugs.gnu.org/27476#102>
+ ** Add a fallback value for the locale-monetary-decimal-point.
+    Fixed in commit 9ba449643d4c2ac1d2174befca7d765af222bcc0.
+ ** Handle newlib C library's langinfo constant names.
+    Fixed in commit 92105d13ad1363b511214589b7d62d95304beb17.
+ ** Make locale monetary conversion tests be less strict on terminal 
whitespace.
+    Fixed in commit 2a3ccfb66714efc1c081ea6e921336f80b756d3c.
+ ** Disable test for current value of setitimer on Cygwin.
+    Fixed in commit 3a64c504caaf83e9faf2ec9b7d0e031e1a6a09b9.
+ ** Fix gc.test "after-gc-hook gets called" failures.
+    <https://bugs.gnu.org/31776#17>
+ ** Update iconv.m4 from gnulib, to fix an iconv leak during configure.
+    <https://lists.gnu.org/archive/html/guile-devel/2019-05/msg00011.html>
+ ** guild compile: Add missing newline in "unrecognized option" error message.
+    Fixed in commit 85c5bae4fd94f8686d26fd792b7c0f588c23bd94.
+ ** 'basename' now correctly handles "/" and "//".
+    Fixed in commit 36ad1d24b3d2c174a64c445502a36f19605dbd65.
+ ** Make srfi-71 visible through 'cond-expand'.
+    Fixed in commit 59a06d8392234fbec8b3605cec266a7a0a7b7a56.
+ 
+ 
  
  Changes in 2.2.4 (since 2.2.3):