anchor.diff:  	 ;; hope to implement a better solution.
   	 (compile-ast form-ast context))
   	(1
  -	 (let* ((temp-count (max (length results) (length type-asts)))
  +	 (let* ((temp-count (max (length results) (length type-specifiers)))
   		(temps (make-temps (make-list temp-count))))
   	   (let ((next (car successors)))
   	     ;; The last actions to take are to assign the temps to
  
positive.code: 			     temp result next)))
  	     ;; Before assigning to the results, check the
  	     ;; types of the values.
  	     (loop for type-ast in type-asts
  		   for temp in temps
  		   do (setf next (make-type-check type-ast temp next)))
  	     next)))
  	(2
  	 (if (null results)
  
negative.code: ;;;
  ;;; Compile a THE-AST.
  
  (defun make-type-check (type-specifier var successor)
    (let* ((type-input (cleavir-mir:make-constant-input type-specifier))
  	 (temp (make-temp nil))
  	 (error-branch
  	   (make-instance 'cleavir-mir:fdefinition-instruction
  