guile-unify:guile-unify.git
6 years agosome more tactics and bugfixes master
Stefan Israelsson Tampe [Mon, 7 Nov 2011 18:57:15 +0000 (19:57 +0100)]
some more tactics and bugfixes

6 years agoa bug in the unify.c and introducing guile-theorem
Stefan Israelsson Tampe [Sat, 5 Nov 2011 21:46:42 +0000 (22:46 +0100)]
a bug in the unify.c and introducing guile-theorem

6 years agoa more scalable database for the prover
Stefan Israelsson Tampe [Tue, 18 Oct 2011 20:12:18 +0000 (22:12 +0200)]
a more scalable database for the prover

6 years agonew db component
Stefan Israelsson Tampe [Thu, 13 Oct 2011 20:11:49 +0000 (22:11 +0200)]
new db component

6 years agoimproving database, postpone, state-storage, prover
Stefan Israelsson Tampe [Wed, 28 Sep 2011 16:35:42 +0000 (18:35 +0200)]
improving database, postpone, state-storage, prover

6 years agopostpone code works
Stefan Israelsson Tampe [Fri, 23 Sep 2011 21:05:12 +0000 (23:05 +0200)]
postpone code works

6 years agoadd missing file typed-guile.scm
Stefan Israelsson Tampe [Thu, 22 Sep 2011 13:03:44 +0000 (15:03 +0200)]
add missing file typed-guile.scm

6 years agosolver.scm is now prepared for ffi version
Stefan Israelsson Tampe [Tue, 20 Sep 2011 09:21:50 +0000 (11:21 +0200)]
solver.scm is now prepared for ffi version

6 years agodynwinds fixup errors remains
Stefan Israelsson Tampe [Mon, 19 Sep 2011 13:45:16 +0000 (15:45 +0200)]
dynwinds fixup errors remains

6 years agogp-dynwinds added
Stefan Israelsson Tampe [Mon, 19 Sep 2011 13:28:29 +0000 (15:28 +0200)]
gp-dynwinds added

6 years agogp-fluids introduced and tested
Stefan Israelsson Tampe [Mon, 19 Sep 2011 12:50:53 +0000 (14:50 +0200)]
gp-fluids introduced and tested

6 years agoA more robust representation of the tag inside scheme
Stefan Israelsson Tampe [Mon, 19 Sep 2011 11:57:52 +0000 (13:57 +0200)]
A more robust representation of the tag inside scheme

6 years agobugfix for multi interleavers
Stefan Israelsson Tampe [Mon, 19 Sep 2011 11:20:10 +0000 (13:20 +0200)]
bugfix for multi interleavers

6 years ago<or> interleave logic now works and is better then kanren
Stefan Israelsson Tampe [Sat, 17 Sep 2011 20:59:18 +0000 (22:59 +0200)]
<or> interleave logic now works and is better then kanren

6 years agobasic continuation support works
Stefan Israelsson Tampe [Fri, 16 Sep 2011 15:14:14 +0000 (17:14 +0200)]
basic continuation support works

6 years agonew postpone code is ready for testing
Stefan Israelsson Tampe [Fri, 16 Sep 2011 11:42:46 +0000 (13:42 +0200)]
new postpone code is ready for testing

6 years agocstack is a list of predefined conses
Stefan Israelsson Tampe [Wed, 14 Sep 2011 13:56:43 +0000 (15:56 +0200)]
cstack is a list of predefined conses

6 years agogp printer improvements
Stefan Israelsson Tampe [Wed, 14 Sep 2011 12:21:53 +0000 (14:21 +0200)]
gp printer improvements

6 years agolookup code cleanup and slimmer referensing
Stefan Israelsson Tampe [Tue, 13 Sep 2011 16:25:19 +0000 (18:25 +0200)]
lookup code cleanup and slimmer referensing

6 years agoumatch-ffi bugfix in gp-newframe code logic
Stefan Israelsson Tampe [Mon, 12 Sep 2011 20:10:45 +0000 (22:10 +0200)]
umatch-ffi bugfix in gp-newframe code logic

6 years agoumatch-ffi bugfix in gp-newframe code logic
Stefan Israelsson Tampe [Mon, 12 Sep 2011 19:59:53 +0000 (21:59 +0200)]
umatch-ffi bugfix in gp-newframe code logic

6 years agogp_unify cleanup
Stefan Israelsson Tampe [Mon, 12 Sep 2011 15:16:02 +0000 (17:16 +0200)]
gp_unify cleanup

6 years agounify.c tagging cleanup and bugfix
Stefan Israelsson Tampe [Mon, 12 Sep 2011 12:39:53 +0000 (14:39 +0200)]
unify.c tagging cleanup and bugfix

6 years agolist.scm guile-log and also postpone in prover
Stefan Israelsson Tampe [Thu, 8 Sep 2011 12:05:51 +0000 (14:05 +0200)]
list.scm guile-log and also postpone in prover

6 years agoadd more statistics to the prover
Stefan Israelsson Tampe [Wed, 7 Sep 2011 12:43:15 +0000 (14:43 +0200)]
add more statistics to the prover

6 years agoskolemisation et all
Stefan Israelsson Tampe [Wed, 31 Aug 2011 13:40:40 +0000 (15:40 +0200)]
skolemisation et all

6 years agoprover.scm works with this version of database.scm
Stefan Israelsson Tampe [Fri, 26 Aug 2011 13:41:24 +0000 (15:41 +0200)]
prover.scm works with this version of database.scm

6 years agodatabase.scm mostly working
Stefan Israelsson Tampe [Fri, 26 Aug 2011 11:28:45 +0000 (13:28 +0200)]
database.scm mostly working

6 years agoinitial db code in guile-log
Stefan Israelsson Tampe [Thu, 25 Aug 2011 11:15:08 +0000 (13:15 +0200)]
initial db code in guile-log

6 years agoprover.scm is in a reasonable shape
Stefan Israelsson Tampe [Wed, 24 Aug 2011 10:15:26 +0000 (12:15 +0200)]
prover.scm is in a reasonable shape

6 years ago<def> <<define>> and improved prover.scm
Stefan Israelsson Tampe [Tue, 23 Aug 2011 20:10:56 +0000 (22:10 +0200)]
<def> <<define>> and improved prover.scm

6 years agofine touches makes -ffi and -vm versions close to same
Stefan Israelsson Tampe [Mon, 22 Aug 2011 20:15:46 +0000 (22:15 +0200)]
fine touches makes -ffi and -vm versions close to same

6 years ago<format> better <and> <cc> handling
Stefan Israelsson Tampe [Mon, 22 Aug 2011 14:27:30 +0000 (16:27 +0200)]
<format> better <and> <cc> handling

6 years agoMerge branch 'master' of gitorious.org:guile-unify/guile-unify
Stefan Israelsson Tampe [Mon, 22 Aug 2011 12:45:53 +0000 (14:45 +0200)]
Merge branch 'master' of gitorious.org:guile-unify/guile-unify

6 years agoguile-log improvements
Stefan Israelsson Tampe [Mon, 22 Aug 2011 12:43:08 +0000 (14:43 +0200)]
guile-log improvements

7 years agodb
Stefan Israelsson Tampe [Mon, 22 Aug 2011 09:45:31 +0000 (11:45 +0200)]
db

7 years ago<=> <==>
Stefan Israelsson Tampe [Sun, 21 Aug 2011 15:38:44 +0000 (17:38 +0200)]
<=> <==>

7 years agoworking prover
Stefan Israelsson Tampe [Fri, 19 Aug 2011 12:16:40 +0000 (14:16 +0200)]
working prover

7 years agobugfix of guile-log
Stefan Israelsson Tampe [Thu, 18 Aug 2011 10:17:00 +0000 (12:17 +0200)]
bugfix of guile-log

7 years agofmt-0.8
Stefan Israelsson Tampe [Wed, 17 Aug 2011 08:04:23 +0000 (10:04 +0200)]
fmt-0.8

7 years agoand the postpone code compiles
Stefan Israelsson Tampe [Mon, 15 Aug 2011 18:55:09 +0000 (20:55 +0200)]
and the postpone code compiles

7 years agotransfered pospone logic to guile-log
Stefan Israelsson Tampe [Mon, 15 Aug 2011 18:42:29 +0000 (20:42 +0200)]
transfered pospone logic to guile-log

7 years agosome constructs brought over from kanren
Stefan Israelsson Tampe [Thu, 11 Aug 2011 20:40:52 +0000 (22:40 +0200)]
some constructs brought over from kanren

7 years agofast version of the testcase 3x compiled prolog performance
Stefan Israelsson Tampe [Wed, 10 Aug 2011 15:39:26 +0000 (17:39 +0200)]
fast version of the testcase 3x compiled prolog performance

7 years agoadded a prolog based on stack lambdas and a testcase
Stefan Israelsson Tampe [Mon, 8 Aug 2011 12:42:17 +0000 (14:42 +0200)]
added a prolog based on stack lambdas and a testcase

7 years agof-lambda s-lambda modifications in clambda
Stefan Israelsson Tampe [Sun, 7 Aug 2011 19:06:45 +0000 (21:06 +0200)]
f-lambda s-lambda modifications in clambda

7 years agoadded missing repo file
Stefan Israelsson Tampe [Sun, 7 Aug 2011 12:03:45 +0000 (14:03 +0200)]
added missing repo file

7 years agoinhibit new additions to scm.scm
Stefan Israelsson Tampe [Sun, 7 Aug 2011 11:31:23 +0000 (13:31 +0200)]
inhibit new additions to scm.scm

7 years agotest case for set! and type
Stefan Israelsson Tampe [Sat, 6 Aug 2011 20:40:27 +0000 (22:40 +0200)]
test case for set! and type

7 years agoset! and general type predicate added
Stefan Israelsson Tampe [Sat, 6 Aug 2011 13:58:32 +0000 (15:58 +0200)]
set! and general type predicate added

7 years agotypechecking of letrec implemented
Stefan Israelsson Tampe [Sat, 6 Aug 2011 11:38:25 +0000 (13:38 +0200)]
typechecking of letrec implemented

7 years agocase lambda typchecking is possible
Stefan Israelsson Tampe [Mon, 25 Jul 2011 10:51:02 +0000 (12:51 +0200)]
case lambda typchecking is possible

7 years agorevert to stable-2.0 printer which is safe now
Stefan Israelsson Tampe [Sat, 23 Jul 2011 21:18:23 +0000 (23:18 +0200)]
revert to stable-2.0 printer which is safe now

7 years agomerge with stable-2.0
Stefan Israelsson Tampe [Sat, 23 Jul 2011 21:07:51 +0000 (23:07 +0200)]
merge with stable-2.0

7 years agoupgrade vm codes to match guile-2.0 new sematics for call sematics
Stefan Israelsson Tampe [Sat, 23 Jul 2011 19:57:32 +0000 (21:57 +0200)]
upgrade vm codes to match guile-2.0 new sematics for call sematics

7 years agoadd support for guild help FOO
Andy Wingo [Sat, 23 Jul 2011 16:50:22 +0000 (18:50 +0200)]
add support for guild help FOO

* module/scripts/help.scm (main): Add support for guild help FOO.

7 years agoadd (scripts help)
Andy Wingo [Sat, 23 Jul 2011 16:24:16 +0000 (18:24 +0200)]
add (scripts help)

* meta/guild.in (display-version): Use (ice-9 command-line)'s
  version-etc.
  (main): Dispatch --help to guild help.

* module/scripts/help.scm: New file, a copy of list.scm, but with a
  better name.

* module/Makefile.am: Add help.scm to the list.

* module/scripts/list.scm: Change to be an alias to "help".
  (list-scripts): Restore this API.

7 years agomore work on "guild list"
Andy Wingo [Sat, 23 Jul 2011 15:50:37 +0000 (17:50 +0200)]
more work on "guild list"

* module/scripts/: Add %summary entries, and in many cases,
  %include-in-guild-list entries to inhibit a script from appearing in
  "guild list".  Update list.scm to respect this new variable.

7 years agoremove scripts PROGRAM
Andy Wingo [Sat, 23 Jul 2011 11:54:28 +0000 (13:54 +0200)]
remove scripts PROGRAM

* module/scripts/PROGRAM.scm: Remove this useless template, which was
  cluttering `guild list'.  We'll perhaps cull the list a bit more in
  2.2.

* module/Makefile.am: Adapt.

7 years agoa prettier `guild list'
Andy Wingo [Sat, 23 Jul 2011 11:52:51 +0000 (13:52 +0200)]
a prettier `guild list'

* module/scripts/list.scm (strip-extensions): Don't list programs
  without extensions.
  (main): Be prettier.  Parse out a %summary from modules, for a brief
  synopsis.

7 years agoexample.scm in (language prolog typecheck) works
Stefan Israelsson Tampe [Thu, 21 Jul 2011 14:02:51 +0000 (16:02 +0200)]
example.scm in (language prolog typecheck) works

7 years agoadd a site dir to %load-compiled-path
Andy Wingo [Thu, 21 Jul 2011 08:36:13 +0000 (10:36 +0200)]
add a site dir to %load-compiled-path

* libguile/Makefile.am (libpath.h): Define SCM_SITE_CCACHE_DIR.  Defined
  as site-ccache/ instead of site/ccache/ to indicate that we don't expect
  further subdirectories, and also to avoid confusion about whether
  extensions/ is a site-specific or not.

* libguile/load.c (scm_init_load_path): Add SCM_SITE_CCACHE_DIR to the
  default load-compiled path.

7 years agoopen-socket-for-url returns port in latin1 encoding
Andy Wingo [Thu, 21 Jul 2011 07:42:20 +0000 (09:42 +0200)]
open-socket-for-url returns port in latin1 encoding

* module/web/client.scm (open-socket-for-uri): Set port encoding to
  latin1, to see if this fixes Nalin Garut's problems.

7 years agofix web-request.test
Andy Wingo [Mon, 18 Jul 2011 08:37:46 +0000 (10:37 +0200)]
fix web-request.test

* test-suite/tests/web-request.test ("example-1"): Fix expected format
  of `host' header.

7 years agothe queens prolog code compiled to c now works
Stefan Israelsson Tampe [Sat, 16 Jul 2011 20:16:31 +0000 (22:16 +0200)]
the queens prolog code compiled to c now works

7 years agon-queens compiles to c-code
Stefan Israelsson Tampe [Sat, 16 Jul 2011 10:14:32 +0000 (12:14 +0200)]
n-queens compiles to c-code

7 years agoclosures without set! added, a c-code centric prolog macro framework is added
Stefan Israelsson Tampe [Fri, 15 Jul 2011 21:48:59 +0000 (23:48 +0200)]
closures without set! added, a c-code centric prolog macro framework is added

7 years agoensure presence of Host header in HTTP/1.1 requests
Andy Wingo [Fri, 15 Jul 2011 11:08:45 +0000 (13:08 +0200)]
ensure presence of Host header in HTTP/1.1 requests

* module/web/request.scm (build-request): Make sure that HTTP/1.1
  requests have the Host header set, per RFC 2616 section 9.

* test-suite/tests/web-request.test ("example-1"): Add test.

7 years agoadd (web client)
Andy Wingo [Fri, 15 Jul 2011 10:49:46 +0000 (12:49 +0200)]
add (web client)

* module/web/client.scm: New module, a simple synchronous web client.

* module/Makefile.am (WEB_SOURCES): Add to the build.

7 years agoFix `open' mode bits on GNU/Hurd.
Ludovic Courtès [Tue, 12 Jul 2011 21:57:57 +0000 (23:57 +0200)]
Fix `open' mode bits on GNU/Hurd.

* libguile/filesys.c (scm_open): Fix check for read-write flags for
  systems such as GNU/Hurd, where O_RDWR == (O_WRONLY | O_RDONLY)
  and O_RDONLY != 0.

7 years agoDefine `O_NOTRANS' on GNU/Hurd.
Ludovic Courtès [Tue, 12 Jul 2011 21:08:42 +0000 (23:08 +0200)]
Define `O_NOTRANS' on GNU/Hurd.

* libguile/filesys.c (scm_init_filesys): Define `O_NOTRANS' when
  available.

7 years agoDisable TLS on NetBSD up to 5.x included.
Ludovic Courtès [Tue, 12 Jul 2011 07:26:32 +0000 (09:26 +0200)]
Disable TLS on NetBSD up to 5.x included.

* acinclude.m4 (GUILE_THREAD_LOCAL_STORAGE): Disable TLS on
  `x86_64-unknown-netbsd5.1' too.

7 years agoAdd document describing the release process.
Ludovic Courtès [Tue, 12 Jul 2011 07:24:14 +0000 (09:24 +0200)]
Add document describing the release process.

* doc/release.org: New file.

7 years agofix CPL of <extended-generic-with-setter> and <extended-accessor>
Andy Wingo [Thu, 7 Jul 2011 10:45:30 +0000 (12:45 +0200)]
fix CPL of <extended-generic-with-setter> and <extended-accessor>

* libguile/goops.c (fix_cpl): Fix bug in placement of debug assertion.
  (create_standard_classes): Put <extended-generic> before
  <generic-with-setter> in <extended-generic-with-setter>'s direct
  supers, so that the slot allocation is a superset of
  <generic-with-setter>, which results in the `setter' being allocated
  in the same place.

  Likewise fix <extended-accessor> to place <extended-generic> before
  <generic-with-setter>, not just <generic>.

7 years agofix invocation of duplicate handlers for merge-generics
Andy Wingo [Thu, 7 Jul 2011 10:21:48 +0000 (12:21 +0200)]
fix invocation of duplicate handlers for merge-generics

* libguile/modules.c (resolve_duplicate_binding): Fix unbound -> #f
  conversion for the imported bindings.  Pass the existing entry in the
  import obarray as the resolved var (7th arg), and properly pass #f as
  the value (8th arg) if there is no such binding.  Fixes
  merge-generics; before, the <boolean> type test (indicating no
  previous value) was not being triggered.  This bug has been present
  since 2007 at least, though it was not in 1.8.

* test-suite/tests/modules.test ("duplicate bindings"): Add a test that
  the var and val are both #f.  These types are used by GOOPS.

7 years agogoops.scm cleanups
Andy Wingo [Thu, 7 Jul 2011 10:17:08 +0000 (12:17 +0200)]
goops.scm cleanups

* module/oop/goops.scm (make-generic, make-extended-generic):
  (ensure-generic, make-accessor, ensure-accessor): Use optional
  arguments for #:name.  `make-extended-generic' also accepts empty
  extension lists.

7 years agomore precision for ,time
Andy Wingo [Wed, 6 Jul 2011 12:01:03 +0000 (14:01 +0200)]
more precision for ,time

* module/system/repl/command.scm (time): Use the high-precision timers
  instead of stime(2).  Changes the output format of `,time' too;
  perhaps there is a better way.

7 years agosimple closures without set! introduced
Stefan Israelsson Tampe [Wed, 6 Jul 2011 22:08:59 +0000 (00:08 +0200)]
simple closures without set! introduced

7 years agodoc: Fix `merge-generics' example.
Ludovic Courtès [Wed, 6 Jul 2011 16:21:07 +0000 (18:21 +0200)]
doc: Fix `merge-generics' example.

* doc/ref/goops.texi (Merging Generics): Change (my-module) example to
  use (oop goops) and use the right syntax for #:duplicates.  Reported
  by David Pirotte <david@altosw.be>.

7 years agoconfigure: Build a `tar.xz' in addition to `tar.gz'.
Ludovic Courtès [Wed, 6 Jul 2011 14:01:22 +0000 (16:01 +0200)]
configure: Build a `tar.xz' in addition to `tar.gz'.

* configure.ac: Explicitly require Automake 1.11.  Add Automake option
  `dist-xz'.

7 years agoVM: Keep jump table address in a register.
Ludovic Courtès [Mon, 4 Jul 2011 21:56:16 +0000 (23:56 +0200)]
VM: Keep jump table address in a register.

* libguile/vm-engine.c (VM_NAME)[HAVE_LABELS_AS_VALUES]: Rename
  `jump_table' to `jump_table_pointer'.  Add `jump_table' as a local
  variable, initialize it.

* libguile/vm-engine.h (JT_REG): New macro.

7 years agotail call c trampoline clambda stuff works
Stefan Israelsson Tampe [Sat, 2 Jul 2011 20:55:24 +0000 (22:55 +0200)]
tail call c trampoline clambda stuff works

7 years agoBump version number for 2.0.2.
Ludovic Courtès [Fri, 1 Jul 2011 21:54:10 +0000 (23:54 +0200)]
Bump version number for 2.0.2.

* GUILE-VERSION (GUILE_MICRO_VERSION): Increment.
  (LIBGUILE_INTERFACE_CURRENT): Increment to account for new C function
  `scm_peek_byte_or_eof'.
  (LIBGUILE_INTERFACE_AGE): Increment.

7 years agoUpdate `NEWS'.
Ludovic Courtès [Fri, 1 Jul 2011 20:49:50 +0000 (22:49 +0200)]
Update `NEWS'.

7 years agoRevert "Fix lock ordering in `fat_mutex_lock' to match that of `do_thread_exit'."
Ludovic Courtès [Fri, 1 Jul 2011 20:43:01 +0000 (22:43 +0200)]
Revert "Fix lock ordering in `fat_mutex_lock' to match that of `do_thread_exit'."

This reverts commit ccb80964cd7cd112e300c34d32f67125a6d6da9a, which
introduced a race condition, with a small window during which a mutex
could be held by a thread without being part of its `mutexes' list,
thereby violating the invariant tested at line 667.

7 years agoUpdate Gnulib to v0.0-5874-g7170ee0.
Ludovic Courtès [Fri, 1 Jul 2011 20:34:29 +0000 (22:34 +0200)]
Update Gnulib to v0.0-5874-g7170ee0.

7 years agoType-check the OWNER argument of `lock-mutex'.
Ludovic Courtès [Fri, 1 Jul 2011 17:10:18 +0000 (19:10 +0200)]
Type-check the OWNER argument of `lock-mutex'.

* libguile/threads.c (scm_lock_mutex_timed): Type-check OWNER.

7 years agoAdd type and range checks to the complex generalized vector accessors.
Ludovic Courtès [Fri, 1 Jul 2011 17:09:29 +0000 (19:09 +0200)]
Add type and range checks to the complex generalized vector accessors.

* libguile/bytevectors.c (COMPLEX_ACCESSOR_PROLOGUE, COMPLEX_NATIVE_REF,
  COMPLEX_NATIVE_SET): New macros.
  (bytevector_ref_c32, bytevector_ref_c64): Defined in terms of
  `COMPLEX_NATIVE_REF'.
  (bytevector_set_c32, bytevector_set_c64): Defined in terms of
  `COMPLEX_NATIVE_SET'.
  (bytevector_ref_fns): Make `static'.

* test-suite/tests/srfi-4.test ("c32 vectors")["generalized-vector-ref",
  "generalized-vector-set!", "generalized-vector-ref, out-of-range",
  "generalized-vector-set!, out-of-range"]: New tests.
  ("c64 vectors")["generalized-vector-ref", "generalized-vector-set!",
  "generalized-vector-ref, out-of-range",
  "generalized-vector-set!, out-of-range"]: New tests.

7 years agomerge with stable-2.0
Stefan Israelsson Tampe [Fri, 1 Jul 2011 15:22:33 +0000 (17:22 +0200)]
merge with stable-2.0

7 years agoFix unaligned accesses for bytevectors of complex numbers.
Ludovic Courtès [Fri, 1 Jul 2011 14:21:21 +0000 (16:21 +0200)]
Fix unaligned accesses for bytevectors of complex numbers.

* libguile/bytevectors.c (bytevector_ref_c32, bytevector_ref_c64,
  bytevector_set_c32, bytevector_set_c64): Use `memcpy' to avoid
  unaligned accesses.  This fixes SIGBUS on SPARC and possibly other
  alignment-sensitive platforms.

7 years agoi18n: Don't use `!=' to compare SCMs.
Ludovic Courtès [Fri, 1 Jul 2011 13:29:51 +0000 (15:29 +0200)]
i18n: Don't use `!=' to compare SCMs.

* libguile/i18n.c (install_locale)[!USE_GNU_LOCALE_API]: Use
  `SCM_UNBNDP' instead of `!='.

7 years agofix '(a #{.} b)
Andy Wingo [Fri, 1 Jul 2011 10:20:52 +0000 (12:20 +0200)]
fix '(a #{.} b)

* libguile/read.c (scm_read_sexp): Don't confuse `#{.}#' with `.' for
  the purpose of reading dotted pairs.  Thanks to CRLF0710 for the
  report.

* test-suite/tests/reader.test ("#{}#"): Add test.

7 years agoFix `on_thread_exit' for canceled threads.
Ludovic Courtès [Thu, 30 Jun 2011 20:58:07 +0000 (22:58 +0200)]
Fix `on_thread_exit' for canceled threads.

* libguile/threads.c (on_thread_exit): Clear `t->guile_mode' upon
  entry.  This fixes a bug whereby `t->base' would be incorrect for
  canceled threads, leading to a misdiagnosed VM stack overflow.
  See <http://lists.gnu.org/archive/html/bug-guile/2011-06/msg00068.html>
  for details.
  (scm_leave_guile_cleanup): Remove because it's unused.

7 years agocleaning up
Stefan Israelsson Tampe [Thu, 30 Jun 2011 15:44:10 +0000 (17:44 +0200)]
cleaning up

7 years agoAdd `guile-invoke.texi' to the distribution.
Ludovic Courtès [Thu, 30 Jun 2011 14:36:03 +0000 (16:36 +0200)]
Add `guile-invoke.texi' to the distribution.

* doc/ref/Makefile.am (guile_TEXINFOS): Add `guile-invoke.texi'.

7 years agofix generation of auto-compiled file names on mingw systems
Andy Wingo [Thu, 30 Jun 2011 14:07:17 +0000 (16:07 +0200)]
fix generation of auto-compiled file names on mingw systems

* libguile/load.c (canonical_to_suffix, scm_primitive_load_path):
* module/ice-9/boot-9.scm (load-in-vicinity):
* module/system/base/compile.scm (compiled-file-name): If the canonical
  path of a file is a DOS-style path with a drive letter, turn it into a
  path suffix it by removing the colon and prefixing a "/".

Inspired by a patch from Jan Nieuwenhuizen.

7 years agobetter invocation documentation
Mark Harig [Mon, 25 Apr 2011 15:33:22 +0000 (11:33 -0400)]
better invocation documentation

* doc/ref/guile.texi (Programming in Scheme):
* doc/ref/scheme-scripts.texi (Guile Scripting): Moved "Invoking Guile"
  to its own file.

* doc/ref/guile-invoke.texi (Invoking Guile): Initial revision. This
  file contains the former section "Invoking Guile" that was included in
  the chapter "Programming in Scheme" as a subsection named
  "Command-line Options." It also includes a new subsection "Environment
  Variables," which describes those variables that can be set in the
  operating system before Guile is started and which affect Guile's
  run-time behavior.

7 years ago%load-hook not just for primitive-load
Andy Wingo [Thu, 30 Jun 2011 10:56:12 +0000 (12:56 +0200)]
%load-hook not just for primitive-load

* libguile/load.c (scm_primitive_load_path):
* module/ice-9/boot-9.scm (load-in-vicinity): Call %load-hook as needed.

7 years agofix --disable-modules build
Andy Wingo [Thu, 30 Jun 2011 10:26:31 +0000 (12:26 +0200)]
fix --disable-modules build

* configure.ac (HAVE_MODULES): Define HAVE_MODULES iff
  --enable-modules.

* libguile/deprecated.c (scm_dynamic_args_call)
* libguile/extensions.c (load_extension):
* libguile/init.c (scm_i_init_guile): Use HAVE_MODULES in a few places.

7 years agoHAVE_POSIX warning fix
Andy Wingo [Thu, 30 Jun 2011 09:32:09 +0000 (11:32 +0200)]
HAVE_POSIX warning fix

* libguile/filesys.c (scm_dir_free, scm_dir_print): Don't compile when
  not HAVE_POSIX.