typecode.lisp

(defun generate-typecode (name arg-types return-type defn)
  (push (list name (types-from-arglist arg-types) return-type)
        *type-registry*)
  `(let ((localtypes nil))
     ,(loop for (type argname) in (pairs arg-types)
	          collect `(push (cons ,argname ,type) localtypes))
     ,(loop for (fname &rest args) in defn
            collect (cond
                      ((keywordp fname) (generate-type-assertion fname args))
                      (t 't)))))