~ chicken-core (chicken-5) cc2312d943501348e49b2578e54cd537722a1be0

commit cc2312d943501348e49b2578e54cd537722a1be0
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Mon Nov 26 12:10:54 2018 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Mon Nov 26 12:10:54 2018 +0100

    Removed call to sub-boxed!, as suggested by Peter Bex, added trivial optimization

diff --git a/lfa2.scm b/lfa2.scm
index 6fe4a885..dffaee6f 100644
--- a/lfa2.scm
+++ b/lfa2.scm
@@ -420,10 +420,9 @@
 		      '*)))
 		 ((assoc (first params) +ffi-type-check-map+) =>
 		  (lambda (a)
-		    (let ((arg (first subs))
-			  (r1 (walk (first subs) te ae)))
+		    (let* ((arg (first subs))
+                           (r1 (walk arg te ae)))
 		      (when (member r1 (cdr a))
-                        (sub-boxed (first subs))
                         (node-class-set! n (node-class arg))
                         (node-parameters-set! n (node-parameters arg))
 	       	        (node-subexpressions-set! n (node-subexpressions arg)))