Print both errors and problems.

This commit is contained in:
Dominik Pantůček 2023-03-28 19:02:34 +02:00
parent a849da5418
commit da29baa991
3 changed files with 16 additions and 6 deletions

View file

@ -44,8 +44,8 @@
member-record-info
member-missing-keys
member-highlights?
member-has-issues?
member-has-highlights?
member-has-problems?
member-destroyed?
member-suspended?
@ -205,7 +205,7 @@
(dict-ref mr 'info)))
;; True if there are any source highlights
(define (member-highlights? mr)
(define (member-has-highlights? mr)
(dict-has-key? mr 'highlights))
;; Returns true if there is at least one highlight of given type
@ -222,7 +222,7 @@
(member-highlights-has-type? mr 'error))
;; True if member record is OK
(define (member-has-issues? mr)
(define (member-has-problems? mr)
(or (member-has-errors? mr)
(not (is-4digit-prime? (member-id mr)))))