feature/native-comp a3dc11e 4/8: * Remove type check emission from type hints low level primitives

[Andrea Corallo]

branch: feature/native-comp
commit a3dc11e9ccd48beb84adfe79ff28143c1682f690
Author: Andrea Corallo <akrl@sdf.org>
Commit: Andrea Corallo <akrl@sdf.org>

    * 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.
---
 lisp/emacs-lisp/comp.el | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index e1920db..831af37 100644
--- 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."
 
 
 ;;; 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)
 
 
 ;; Some entry point support code.