From ef08d62a6ffd38ccff966d45f3943c92473acb11 Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Mon, 15 Apr 1991 00:16:33 +0000
Subject: [PATCH] Tweaked STRANGE-TEMPLATE-FAILURE to extract the names from
 the argument restriction primitive types so that print-leveling doesn't cut
 them off.

---
 compiler/ltn.lisp | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/compiler/ltn.lisp b/compiler/ltn.lisp
index 3e172f212..04fbb19c5 100644
--- a/compiler/ltn.lisp
+++ b/compiler/ltn.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman or slisp-group@cs.cmu.edu.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ltn.lisp,v 1.22 1991/04/09 17:34:02 ram Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ltn.lisp,v 1.23 1991/04/15 00:16:33 ram Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -785,7 +785,14 @@
 			      (continuation-info x))))
 			(combination-args call)))
        (funcall frob "Argument type assertions:~%  ~S"
-		(template-arg-types template)))
+		(mapcar #'(lambda (x)
+			    (if (atom x)
+				x
+				(ecase (car x)
+				  (:or `(:or .,(mapcar #'primitive-type-name
+						       (cdr x))))
+				  (:constant `(:constant ,(third x))))))
+			(template-arg-types template))))
       (:conditional
        (funcall frob "Conditional in a non-conditional context."))
       (:result-types
-- 
GitLab