summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/guile/skribilo/resolve.scm5
-rw-r--r--src/guile/skribilo/verify.scm10
2 files changed, 10 insertions, 5 deletions
diff --git a/src/guile/skribilo/resolve.scm b/src/guile/skribilo/resolve.scm
index efecd8d..fbfcd1a 100644
--- a/src/guile/skribilo/resolve.scm
+++ b/src/guile/skribilo/resolve.scm
@@ -1,7 +1,7 @@
 ;;; resolve.scm  --  Skribilo reference resolution.
 ;;;
+;;; Copyright 2005, 2006, 2008  Ludovic Courtès <ludo@gnu.org>
 ;;; Copyright 2003, 2004  Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
-;;; Copyright 2005, 2006  Ludovic Courtès <ludovic.courtes@laas.fr>
 ;;;
 ;;;
 ;;; This program is free software; you can redistribute it and/or modify
@@ -100,7 +100,8 @@
        (Loop (cdr n*)))
       ((pair? n*)
        (set-car! n* (do-resolve! (car n*) engine env))
-       (set-cdr! n* (do-resolve! (cdr n*) engine env)))
+       (set-cdr! n* (do-resolve! (cdr n*) engine env))
+       n*)
       (else
        (raise (condition (&invalid-argument-error
 			  (proc-name "do-resolve!<pair>")
diff --git a/src/guile/skribilo/verify.scm b/src/guile/skribilo/verify.scm
index 2dc1333..f14138f 100644
--- a/src/guile/skribilo/verify.scm
+++ b/src/guile/skribilo/verify.scm
@@ -1,7 +1,7 @@
 ;;; verify.scm  --  Skribe AST verification.
 ;;;
-;;; Copyright 2003-2004  Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
-;;; Copyright 2005, 2007  Ludovic Courtès <ludovic.courtes@laas.fr>
+;;; Copyright 2005, 2007, 2008  Ludovic Courtès <ludo@gnu.org>
+;;; Copyright 2003, 2004  Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
 ;;;
 ;;;
 ;;; This program is free software; you can redistribute it and/or modify
@@ -96,7 +96,11 @@
 
 ;;; PAIR
 (define-method (verify (obj <pair>) e)
-  (for-each (lambda (x) (verify x e)) obj)
+  (if (list? obj)
+      (for-each (lambda (o) (verify o e)) obj)
+      (begin
+        (verify (car obj) e)
+        (verify (cdr obj) e)))
   obj)
 
 ;;; PROCESSOR