aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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