guile30: update to 3.0.8.

Changes in 3.0.8 (since 3.0.7)

* Notable changes

** Cross-module inlining

Although historically Guile has treated modules as glorified hash
tables, most modules are actually _declarative_ -- they just define
functions and variables and provide them for other modules to use, and
don't manipulate modules as first-class objects.  See "Declarative
Modules" in the manual, for more discussion.

Since version 3.0.0, Guile has taken advantage of declarative semantics
to allow a top-level definition to be inlined within its uses in the
same compilation unit, provided the binding is never assigned and
defined exactly once.  Guile 3.0.8 extends this to allow some
exported declarative definitions to be inlined into other modules.

This facility is mostly transparent to the user and is enabled at the
default -O2 optimization level.  "Small" definitions are available for
cross-module inlining (-Oinlinable-exports, included at -O2).  The
actual inlining decision is performed by Guile's partial evaluation pass
(the -Ocross-module-inlining modifier to -Opeval, included at -O2 also),
subject to effort and size growth counters.

Note however that as with macros, when a definition changes in module A,
a separately compiled module B that uses that definition doesn't
automatically get recompiled.  This is a limitation in Guile that we
would like to fix.

As another limitation, cross-module inlining is only available for
imports from modules which have already been compiled at -O2 (or
otherwise with -Oinlinable-exports).

When determining whether to enable this facility by default, we weighed
the usability problems of stale inlined bindings against the benefit of
allowing module boundaries to no longer be optimization boundaries, we
ended up on the "let's do it!" side of the equation.  However we welcome
feedback from users as to what should be the default behavior, until
such a time as we have a proper notion of when a compiled file is stale
or not.

** Avoid the need for a custom GMP allocator

In Guile 3.0.6, we fixed a longstanding bug in Guile's use of the
library that Guile uses to implement bignums (large integers), GMP
(https://gmplib.org).  See the Guile 3.0.6 release notes.  However this
left us with a suboptimal Guile, in which each large integer had to have
a finalizer to free the memory allocated by GMP.  Finalizers take time
and space, and so they limit allocation rate, causing bignum performance
to drop.  Though you could set an environment variable to go back to the
older, faster behavior, it wasn't the default.

In Guile 3.0.8 we fix this problem comprehensively by avoiding embedding
GMP's mpz_t values in Guile bignums.  Instead we embed the bignum digits
directly, avoiding the need for finalizers or custom allocators.  This
removes the need for the GUILE_INSTALL_GMP_MEMORY_FUNCTIONS environment
variable mentioned in the Guile 3.0.6 release notes.  We also deprecate
the scm_install_gmp_memory_functions variable.

* New interfaces and functionality

** Typed vector copy functions in (srfi srfi-4 gnu)

The functions `u8vector-copy' `s8vector-copy' `u16vector-copy'
`s16vector-copy' `u32vector-copy' `s32vector-copy' `u64vector-copy'
`s64vector-copy' `f32vector-copy' `f64vector-copy' `c32vector-copy'
`c64vector-copy' `u8vector-copy!'  `s8vector-copy!'  `u16vector-copy!'
`s16vector-copy!'  `u32vector-copy!'  `s32vector-copy!'
`u64vector-copy!'  `s64vector-copy!'  `f32vector-copy!'
`f64vector-copy!'  `c32vector-copy!'  `c64vector-copy!' have been
added. See SRFI-4 - Guile extensions" in the manual.

** New function srfi-4-vector-type-size in (srfi srfi-4 gnu)

See SRFI-4 - Guile extensions" in the manual.

** `bytevector-fill!' supports partial fill through optional arguments

This is an extension to the r6rs procedure. See "Manipulating
Bytevectors" in the manual.

** `vector-copy!' and `vector-copy' from (rnrs base) included in core

Compared to the previous versions, these accept range arguments. See
"Accessing and Modifying Vector Contents" in the manual.

** New function bitvector-copy

See "Bit vectors" in the manual.

** (system foreign) supports C99 complex types

The types `complex-float' and `complex-double' stand for C99 `float
_Complex' and `double _Complex` respectively.

* Other new optimizations

** Better optimization of "let" in right-hand-side of "letrec"

** Allow constant-folding for calls to "expt"

Thanks to Maxime Devos.

** Add ,optimize-cps REPL meta-command

This meta-command is like ,optimize, but at a lower level.

** Improve alias analysis in common subexpression elimination

** Avoid argument-count checks for well-typed calls to known procedures

This speeds up calls to lexically bound procedures.

** Avoid return-value-count checks for calls to known-return-arity procedures

This new optimization, enabled at -O2, speeds up returns from calls to
lexically bound procedures.

* Build system changes

** Update Gnulib (bugs.gnu.org/49930)

Update gnulib to 8f4538a53d64054ae2fc8b86c0f87c418c6176e6.

** Compile libguile with -flto if available

By default, if the compiler supports link-time optimization via the
-flto flag, Guile will add it to CFLAGS.  This results in a libguile
that is approximately 15% smaller.  Pass --disable-lto to configure to
inhibit this behavior.

** Trim set of prebuilt .go files shipped in the tarball

Guile includes built Scheme files in its tarball to speed up the build,
for casual builders that are less concerned with reproducibility.
However they took a lot of space and we have now trimmed these down to a
more minimal set.  As always, you can remove them and build entirely
from source via a `make -C prebuilt clean`.

* New deprecations

** Vector functions require vector arguments

Passing arrays that are not vectors (arrays for which `(vector? array)'
returns false) to functions `vector-move-left!', `vector-move-right!',
`vector->list', and `vector-copy' is deprecated. Use `array-copy!',
`array-copy', and `array->list' for such arguments.

** `scm_from_contiguous_typed_array' is deprecated

This function was added during the Guile 2.x series and was not
documented and is no longer used in Guile itself.

** Deprecate the "simple vector" concept, `scm_is_simple_vector'

This concept meant to indicate "vectors which aren't array slices".  Use
scm_is_vector.

** Deprecate internal contiguous array flag

We still reserve space for the flag to preserve ABI but it has no
effect.  As such we also remove the internal SCM_I_ARRAY_CONTIGUOUS,
SCM_SET_ARRAY_CONTIGUOUS_FLAG, SCM_CLR_ARRAY_CONTIGUOUS_FLAG,
SCM_I_ARRAY_CONTP preprocessor interfaces, as they were internal and
there is no longer a sensible way of using them.

** Deprecate symbol properties

Symbols used to have a "function slot" and a "property slot", inherited
from Emacs Lisp and early Lisps, which one would access with
'symbol-pref', 'symbol-fref', 'symbol-pset!', and 'symbol-fset!'.  These
procedures have been discouraged in favor of object properties; they are
now deprecated.  This saves a few words of memory per symbol.

* Bug fixes

** Fix compilation of (ash x N), where N is a literal, at -O1 and below
** Texinfo and XML parsers are now thread-safe (bugs.gnu.org/51264)
** Fix `filename-completion-function' in (ice-9 readline)
** Fix trace-calls-to-procedure (bugs.gnu.org/43102, bugs.gnu.org/48412)
** Fix bug in nftw function (bugs.gnu.org/44182)
** Fix optimization bug in CSE in eq-constant? if both branches same
** Fix readline initialization with invalid keymaps
** Fix crash when reading #nil (bugs.gnu.org/49305)
** Fix read error when reading #{}}#.
** Fix Darwin host detection in foreign-library facility.
** Fix unification of (x ...) patterns in `match'
** Fix scaling floats with leading zeroes in `format'
** Improve support for r7rs-style `(srfi N)' and r6rs-style `(srfi :N)
   module names (bugs.gnu.org/39601, bugs.gnu.org/40371)
** Add support for the ARC architecture (bugs.gnu.org/48816)
** Build fix for const strerror result (bugs.gnu.org/43987)
** Fix typos in SRFI documentation (bugs.gnu.org/50127)
** Fix bounds check in `recvfrom!' (bugs.gnu.org/45595)
** Add support for riscv32
** Limit `ash' to left-shift by 2^32 bits (bugs.gnu.org/48150)
** Fix type confusion in heap-numbers-equal? calls from VM
This commit is contained in:
wiz 2022-03-30 07:48:13 +00:00
parent b49dde3b49
commit 0f21e48f52
3 changed files with 16 additions and 9 deletions

View file

@ -1,6 +1,6 @@
# $NetBSD: Makefile,v 1.3 2022/03/15 10:10:19 wiz Exp $
# $NetBSD: Makefile,v 1.4 2022/03/30 07:48:13 wiz Exp $
DISTNAME= guile-3.0.7
DISTNAME= guile-3.0.8
PKGNAME= ${DISTNAME:S/guile/guile30/}
CATEGORIES= lang
MASTER_SITES= ftp://ftp.gnu.org/gnu/guile/

View file

@ -1,4 +1,4 @@
@comment $NetBSD: PLIST,v 1.1 2022/03/08 00:09:30 wiz Exp $
@comment $NetBSD: PLIST,v 1.2 2022/03/30 07:48:13 wiz Exp $
guile/3.0/bin/guild
guile/3.0/bin/guile
guile/3.0/bin/guile-config
@ -46,7 +46,6 @@ guile/3.0/include/guile/3.0/libguile/fports.h
guile/3.0/include/guile/3.0/libguile/frames.h
guile/3.0/include/guile/3.0/libguile/gc-inline.h
guile/3.0/include/guile/3.0/libguile/gc.h
guile/3.0/include/guile/3.0/libguile/generalized-arrays.h
guile/3.0/include/guile/3.0/libguile/generalized-vectors.h
guile/3.0/include/guile/3.0/libguile/gettext.h
guile/3.0/include/guile/3.0/libguile/goops.h
@ -225,6 +224,7 @@ guile/3.0/lib/guile/3.0/ccache/language/cps/contification.go
guile/3.0/lib/guile/3.0/ccache/language/cps/cse.go
guile/3.0/lib/guile/3.0/ccache/language/cps/dce.go
guile/3.0/lib/guile/3.0/ccache/language/cps/devirtualize-integers.go
guile/3.0/lib/guile/3.0/ccache/language/cps/dump.go
guile/3.0/lib/guile/3.0/ccache/language/cps/effects-analysis.go
guile/3.0/lib/guile/3.0/ccache/language/cps/elide-arity-checks.go
guile/3.0/lib/guile/3.0/ccache/language/cps/graphs.go
@ -237,6 +237,7 @@ guile/3.0/lib/guile/3.0/ccache/language/cps/peel-loops.go
guile/3.0/lib/guile/3.0/ccache/language/cps/prune-top-level-scopes.go
guile/3.0/lib/guile/3.0/ccache/language/cps/reify-primitives.go
guile/3.0/lib/guile/3.0/ccache/language/cps/renumber.go
guile/3.0/lib/guile/3.0/ccache/language/cps/return-types.go
guile/3.0/lib/guile/3.0/ccache/language/cps/rotate-loops.go
guile/3.0/lib/guile/3.0/ccache/language/cps/self-references.go
guile/3.0/lib/guile/3.0/ccache/language/cps/simplify.go
@ -282,10 +283,12 @@ guile/3.0/lib/guile/3.0/ccache/language/tree-il/debug.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/effects.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/eta-expand.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/fix-letrec.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/inlinable-exports.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/letrectify.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/optimize.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/peval.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/primitives.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/resolve-free-vars.go
guile/3.0/lib/guile/3.0/ccache/language/tree-il/spec.go
guile/3.0/lib/guile/3.0/ccache/language/value/spec.go
guile/3.0/lib/guile/3.0/ccache/oop/goops.go
@ -463,7 +466,7 @@ guile/3.0/lib/guile/3.0/ccache/web/server/http.go
guile/3.0/lib/guile/3.0/ccache/web/uri.go
guile/3.0/lib/guile/3.0/extensions/guile-readline.la
guile/3.0/lib/libguile-3.0.la
guile/3.0/lib/libguile-3.0.so.1.4.0-gdb.scm
guile/3.0/lib/libguile-3.0.so.1.5.0-gdb.scm
guile/3.0/lib/pkgconfig/guile-3.0.pc
guile/3.0/man/man1/guile.1
guile/3.0/share/aclocal/guile.m4
@ -565,6 +568,7 @@ guile/3.0/share/guile/3.0/language/cps/contification.scm
guile/3.0/share/guile/3.0/language/cps/cse.scm
guile/3.0/share/guile/3.0/language/cps/dce.scm
guile/3.0/share/guile/3.0/language/cps/devirtualize-integers.scm
guile/3.0/share/guile/3.0/language/cps/dump.scm
guile/3.0/share/guile/3.0/language/cps/effects-analysis.scm
guile/3.0/share/guile/3.0/language/cps/elide-arity-checks.scm
guile/3.0/share/guile/3.0/language/cps/graphs.scm
@ -577,6 +581,7 @@ guile/3.0/share/guile/3.0/language/cps/peel-loops.scm
guile/3.0/share/guile/3.0/language/cps/prune-top-level-scopes.scm
guile/3.0/share/guile/3.0/language/cps/reify-primitives.scm
guile/3.0/share/guile/3.0/language/cps/renumber.scm
guile/3.0/share/guile/3.0/language/cps/return-types.scm
guile/3.0/share/guile/3.0/language/cps/rotate-loops.scm
guile/3.0/share/guile/3.0/language/cps/self-references.scm
guile/3.0/share/guile/3.0/language/cps/simplify.scm
@ -622,10 +627,12 @@ guile/3.0/share/guile/3.0/language/tree-il/debug.scm
guile/3.0/share/guile/3.0/language/tree-il/effects.scm
guile/3.0/share/guile/3.0/language/tree-il/eta-expand.scm
guile/3.0/share/guile/3.0/language/tree-il/fix-letrec.scm
guile/3.0/share/guile/3.0/language/tree-il/inlinable-exports.scm
guile/3.0/share/guile/3.0/language/tree-il/letrectify.scm
guile/3.0/share/guile/3.0/language/tree-il/optimize.scm
guile/3.0/share/guile/3.0/language/tree-il/peval.scm
guile/3.0/share/guile/3.0/language/tree-il/primitives.scm
guile/3.0/share/guile/3.0/language/tree-il/resolve-free-vars.scm
guile/3.0/share/guile/3.0/language/tree-il/spec.scm
guile/3.0/share/guile/3.0/language/value/spec.scm
guile/3.0/share/guile/3.0/oop/goops.scm

View file

@ -1,8 +1,8 @@
$NetBSD: distinfo,v 1.1 2022/03/08 00:09:30 wiz Exp $
$NetBSD: distinfo,v 1.2 2022/03/30 07:48:13 wiz Exp $
BLAKE2s (guile-3.0.7.tar.gz) = dcb72eaa7c2c391845c3d11d88913a7ae2c1aade014b82115cc085e2ca10ed74
SHA512 (guile-3.0.7.tar.gz) = d7b159e109fd4a08231ef9b961376e71c2872f08d47d82896d96ccac250f5677b35be9a8ce3b9a758bd2ed78d6451e4fdd844408a1baf684256d9bfa09999f3f
Size (guile-3.0.7.tar.gz) = 21878396 bytes
BLAKE2s (guile-3.0.8.tar.gz) = 2e95bfa736dea559288d7e01fe9f6dcce2300da009df543f5c96c3158896282a
SHA512 (guile-3.0.8.tar.gz) = 7b2728e849a3ee482fe9a167dd76cc4835e911cc94ca0724dd51e8a813a240c6b5d2de84de16b46469ab24305b5b153a3c812fec942e007d3310bba4d1cf947d
Size (guile-3.0.8.tar.gz) = 10438342 bytes
SHA1 (patch-libguile_Makefile.in) = eae49ebd5b2a4a415be89503819f454b7eb6a21d
SHA1 (patch-libguile_loader.c) = 32b012d095c343995f93d0c8160411c4b0cfbee1
SHA1 (patch-test-suite_standalone_Makefile.in) = d1f0b24adcb7db4b1d6f91e2e55d4a9c245700e6