(use prcc)

(define foo
  (<and>
   (lazy (<or> (<c> #\a)
               foo))
   (<c> #\b)
   (eof)))

(pp (parse-string "abb" foo))

;; parsing 'abb' failed:
;; 	(expect: end of file)@(1, 3)
;; #f