anchor.diff:  (in-package #:sicl-cons-high-test)
  +
  +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  +;;;
  +;;; Helper function to defeat the type inferencing of the 
  +;;; compiler so there are no warnings
  +
  +;;; this function always returns true when given a list.
  +(defun twisted (list)
  +  (if (null list)
  +      t
  +      (twisted (cdr list))))
  +
  +(declaim (notinline twisted))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code: ;;; Tests for the mapc function
  
  (define-test mapc.1
    (assert-equal '() (mapcar #'1+ '())))
  
  (define-test mapc.2
    (let ((i 0))
  
negative.code:                                '(1 2 3))
                           i))))
  
  (define-test mapl.apply.1
    (let ((i 0))
      (assert-equal 6
                    (progn (apply (cadr (list 'a #'mapl))
  				(list (mapl (lambda (sublist) (incf i (car sublist)))
  					    '(1 2 3))))
                           i))))
  
  (define-test mapl.error.1
    (assert-error 'type-error (mapl #'car (if (twisted '(a b c)) 1 '(a b c)))))
  
  (define-test mapl.error.2
    (assert-error 'type-error (mapl #'car (if (twisted '(a b c)) #(1 2 3) '(a b c)))))
  
  (define-test mapl.error.3
    (assert-error 'type-error (mapl #'car '(1 2 . 3))))
  
  (define-test mapl.error.4
    (assert-error 'type-error (mapl #'car (if (twisted '(a b c)) "1" '(a b c)))))
  
  (define-test mapl.error.5
    (assert-error 'error (mapl #'car)))
  