(vl-check-remaining-formals-all-have-defaults x name loc) → *
Function:
(defun vl-check-remaining-formals-all-have-defaults (x name loc) (declare (xargs :guard (and (vl-define-formallist-p x) (stringp name) (vl-location-p loc)))) (let ((__function__ 'vl-check-remaining-formals-all-have-defaults)) (declare (ignorable __function__)) (b* (((when (atom x)) t) ((vl-define-formal x1) (car x)) (has-default-p (not (equal "" (str::trim x1.default)))) ((unless has-default-p) (cw "Preprocessor error (~s0): too few arguments to ~s1 (no ~ default value for ~s2)." (vl-location-string loc) name x1.name))) (vl-check-remaining-formals-all-have-defaults (cdr x) name loc))))