X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fctype.lisp;h=3fb91d173db646da3fa5b97bda7d2cbc308f203e;hb=96b310113978665980a8d65ad5dd83deab05c28b;hp=34d69f0f783985e96dbbbd37b2399c65dcbe2848;hpb=29a9ccc860532b32c566aec095f570e999a9c52c;p=sbcl.git

diff --git a/src/compiler/ctype.lisp b/src/compiler/ctype.lisp
index 34d69f0..3fb91d1 100644
--- a/src/compiler/ctype.lisp
+++ b/src/compiler/ctype.lisp
@@ -759,3 +759,13 @@
 		   (dolist (ref (leaf-refs var))
 		     (derive-node-type ref type)))))
 	  t))))))
+
+(defun check-catch-tag-type (tag)
+  (declare (type continuation tag))
+  (let ((ctype (continuation-type tag)))
+    (when (csubtypep ctype (specifier-type '(or number character)))
+      (compiler-style-warn "~@<using ~S of type ~S as a catch tag (which ~
+                            tends to be unportable because THROW and CATCH ~
+                            use EQ comparison)~@:>"
+			   (continuation-source tag)
+			   (type-specifier (continuation-type tag))))))