* Remove type check emission from type hints low level primitives

These have to be emitted by higher level primitves as `cl-the'.

	* lisp/emacs-lisp/comp.el (comp-hint-fixnum, comp-hint-cons): Do
	not emit type checks.

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index e1920dbc033ba816128e57f3bdff61a54073fcc0..831af3793ece3dc6231ac1cf9682fb575b1d7a05 100644 (file)
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -2487,20 +2487,18 @@ Prepare every function for final compilation and drive the C back-end."
 
 \f
 ;;; Compiler type hints.
-;; These are public entry points be used in user code to give comp suggestion
-;; about types.
-;; These can be used to implement CL style 'the', 'declare' or something like.
+;; Public entry points to be used by user code to give comp
+;; suggestions about types.  These are used to implement CL style
+;; `cl-the' and hopefully parameter type declaration.
 ;; Note: types will propagates.
 ;; WARNING: At speed >= 2 type checking is not performed anymore and suggestions
 ;; are assumed just to be true. Use with extreme caution...
 
 (defun comp-hint-fixnum (x)
-  (unless (fixnump x)
-    (signal 'wrong-type-argument x)))
+  x)
 
 (defun comp-hint-cons (x)
-  (unless (consp x)
-    (signal 'wrong-type-argument x)))
+  x)
 
 \f
 ;; Some entry point support code.