For error reporting, say what the problem with this bad argument is.
(vl-why-is-gatearg-bad-for-delayredux x) → *
Function:
(defun vl-why-is-gatearg-bad-for-delayredux (x) (declare (xargs :guard (vl-plainarg-p x))) (let ((__function__ 'vl-why-is-gatearg-bad-for-delayredux)) (declare (ignorable __function__)) (b* (((vl-plainarg x) x) (width (and x.expr (vl-expr->finalwidth x.expr)))) (cond ((eq x.dir :vl-inout) "has direction 'inout'") ((not x.dir) "has unresolved direction") ((not width) "has uncomputed width") ((not (equal width 1)) (cat "has width " (natstr width)))))))