summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2008-10-18 19:21:44 +0200
committerAndy Wingo <wingo@pobox.com>2008-10-18 19:21:44 +0200
commit5e390de62f2355866e9bdad8b7aea4ac4080bdcd (patch)
tree9e4013d205e018aaf839e5a269a4355802720618 /testsuite
parentb3b45ac15ef508623dd9031f3c7e69dff7949801 (diff)
downloadguile-5e390de62f2355866e9bdad8b7aea4ac4080bdcd.tar.gz
fix bug in self-tail-recursion with "external" variables; other sundries
* gdbinit (pp, inst): New commands. * libguile/vm-engine.c (vm_error_not_a_pair): New error case. * libguile/vm-i-scheme.c (VM_VALIDATE_CONS): New macro -- use this instead of SCM_VALIDATE_* because SCM_VALIDATE will exit nonlocally before we have a chance to sync the regs. (car, cdr, set-car, set-cdr): Use VM_VALIDATE_CONS. * libguile/vm-i-system.c (goto/args): Bugfix: when doing a self-tail-recursion, allocate fresh externals. Fixes use of match.go. * module/system/vm/assemble.scm (dump-object!): Add some checks that we aren't dumping out values that the VM can't handle. * module/system/vm/disasm.scm (disassemble-externals): Fix rotten call to `print-info'. * oop/goops/dispatch.scm: Add a FIXME. * testsuite/Makefile.am (vm_test_files): * testsuite/t-closure4.scm (extract-symbols): New test, distilled with much effort out of match.scm. * ice-9/Makefile.am (NOCOMP_SOURCES): Re-enable compilation of match.scm. Yay!
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/Makefile.am1
-rw-r--r--testsuite/t-closure4.scm22
2 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/Makefile.am b/testsuite/Makefile.am
index 6ff48b5de..8545d86e4 100644
--- a/testsuite/Makefile.am
+++ b/testsuite/Makefile.am
@@ -11,6 +11,7 @@ vm_test_files = \
t-closure.scm \
t-closure2.scm \
t-closure3.scm \
+ t-closure4.scm \
t-do-loop.scm \
t-macros.scm \
t-macros2.scm \
diff --git a/testsuite/t-closure4.scm b/testsuite/t-closure4.scm
new file mode 100644
index 000000000..61258012f
--- /dev/null
+++ b/testsuite/t-closure4.scm
@@ -0,0 +1,22 @@
+(define (extract-symbols exp)
+ (define (process x out cont)
+ (cond ((pair? x)
+ (process (car x)
+ out
+ (lambda (car-x out)
+ ;; used to have a bug here whereby `x' was
+ ;; modified in the self-tail-recursion to (process
+ ;; (cdr x) ...), because we didn't allocate fresh
+ ;; externals when doing self-tail-recursion.
+ (process (cdr x)
+ out
+ (lambda (cdr-x out)
+ (cont (cons car-x cdr-x)
+ out))))))
+ ((symbol? x)
+ (cont x (cons x out)))
+ (else
+ (cont x out))))
+ (process exp '() (lambda (x out) out)))
+
+(extract-symbols '(a b . c))