~ chicken-core (chicken-5) a74133638f3f19cfc6549491483002a5f56fb3f2

commit a74133638f3f19cfc6549491483002a5f56fb3f2
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sun Jul 15 23:19:58 2012 +0200
Commit:     Christian Kellermann <ckeen@pestilenz.org>
CommitDate: Mon Jul 16 22:00:31 2012 +0200

    retain whether procedure-type is pure when using nested procedure types in type-declarations
    
    Signed-off-by: Christian Kellermann <ckeen@pestilenz.org>

diff --git a/scrutinizer.scm b/scrutinizer.scm
index 8c2788e8..37eefbc8 100755
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -1996,7 +1996,7 @@
 	     (lambda (p)
 	       (let* ((cleanf (eq? '--> (car p)))
 		      (ok (or (not rec) (not cleanf))))
-		 (set! clean cleanf)
+		 (unless rec (set! clean cleanf))
 		 (let ((cp (memq ': (cdr p))))
 		   (cond ((not cp)
 			  (and ok