IDs stats.

This commit is contained in:
Dominik Pantůček 2023-03-20 18:34:48 +01:00
parent a21de657d0
commit c94d8f4184
5 changed files with 44 additions and 4 deletions

View file

@ -99,7 +99,8 @@
(print-source-listing lines (list highlight)
(*member-file-context*)
a:error a:default
"" "" "...")))
"" "" "...")
(newline)))
(if (eq? (*member-file-check-syntax*) 'error)
(exit 1)
(list member-file-error-symbol