Disable SBCL's type checking (#1434)

* Disable SBCL's type checking as it's already done in Coalton.

* Fix a test checking the generated code.

Author: fukamachi

src/codegen/codegen-expression.lisp

@@ -107,10 +107,11 @@
                     (values ,(car (last (node-lisp-form expr)))))
                  inner)))
 
-      (if settings:*emit-type-annotations*
-          `(the (values ,(tc:lisp-type (node-type expr) env) &optional)
-                ,inner)
-          inner)))
+      `(locally (declare #+sbcl (optimize (sb-c::type-check 1)))
+                ,(if settings:*emit-type-annotations*
+                     `(the (values ,(tc:lisp-type (node-type expr) env) &optional)
+                           ,inner)
+                     inner))))
 
   (:method ((expr node-while) env)
     (declare (type tc:environment env))

src/codegen/program.lisp

@@ -106,7 +106,8 @@ Example:
                                        (compile-scc bindings env))))
         (lisp-forms (mapcar (lambda (lisp-form)
                               (cons (car (source:location-span (source:location lisp-form)))
-                                    (parser:toplevel-lisp-form-body lisp-form)))
+                                    `((locally (declare #+sbcl (optimize (sb-c::type-check 1)))
+                                        ,@(parser:toplevel-lisp-form-body lisp-form)))))
                             lisp-forms)))
     (mapcan #'cdr (merge-forms bindings lisp-forms))))
 
@@ -180,7 +181,8 @@ Example:
                 (list
                  `(declaim (sb-ext:start-block ,@definition-names))))
 
-            ,@(compile-definitions sccs definitions lisp-forms offsets env)
+            (locally (declare #+sbcl (optimize (sb-c::type-check 0)))
+              ,@(compile-definitions sccs definitions lisp-forms offsets env))
 
             #+sbcl
             ,@(when (eq sb-ext:*block-compile-default* :specified)

tests/entry-tests.lisp

@@ -14,7 +14,7 @@
   (let* ((file (source:make-source-file (compile-test-file)))
          (source-form-types (mapcar #'first
                                     (source-forms (entry:codegen file)))))
-    (dolist (expect-type '(defpackage in-package defun eval-when let setf))
+    (dolist (expect-type '(defpackage in-package eval-when locally))
       (is (position expect-type source-form-types)
           "Missing expected ~A form in generated code" expect-type))))