diff options
| -rw-r--r-- | src/guile/skribilo/resolve.scm | 5 | ||||
| -rw-r--r-- | src/guile/skribilo/verify.scm | 10 |
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 |