Fixed improper error messages.
tswd
6 years ago
| 67 | 67 |
(when (variable-occurs-in t1 sub)
|
| 68 | 68 |
(return-from variable-occurs-in t))))))
|
| 69 | 69 |
|
| 70 | |
(defparameter non-exec-labels '(|:nonexec| |:non-exec| |:no-ex| |:noex| |:noexec|))
|
| 71 | 70 |
(defparameter bad-rule-types '(:bad-rule :bad-beh))
|
| 72 | 71 |
|
| 73 | 72 |
(defun axiom-is-non-exec? (ax)
|
| 72 | 72 |
(if (null preterm)
|
| 73 | 73 |
(progn
|
| 74 | 74 |
(with-output-simple-msg ()
|
| 75 | |
(princ "[Error] empty input, no parse."))
|
|
75 |
(princ "[Error]: empty input, no parse."))
|
| 76 | 76 |
(make-bconst-term *syntax-err-sort* '(the input is empty)))
|
| 77 | 77 |
(let ((res nil))
|
| 78 | 78 |
(setq res (catch :parse-error
|
|
| 126 | 126 |
(setq *parse-raw-parse* result)
|
| 127 | 127 |
(when (term-ill-defined result)
|
| 128 | 128 |
(with-output-simple-msg ()
|
| 129 | |
(format t "~&[Error] no successful parse")))
|
|
129 |
(format t "~&[Error]: no successful parse")))
|
| 130 | 130 |
(parse-convert result module))))))
|
| 131 | 131 |
|
| 132 | 132 |
(defun select-parse (module final &optional print-warning)
|
| 469 | 469 |
(unless (or fname bin-fname)
|
| 470 | 470 |
(if errorp
|
| 471 | 471 |
(with-output-chaos-error ('no-such-file)
|
| 472 | |
(format t "no such file: ~a" (namestring file)))
|
| 473 | |
(return-from chaos-input-file nil)
|
| 474 | |
))
|
|
472 |
(format t "No such file: ~a" (namestring file)))
|
|
473 |
(return-from chaos-input-file nil)))
|
| 475 | 474 |
(when (and bin-fname fname (>= (file-write-date bin-fname)
|
| 476 | 475 |
(file-write-date fname)))
|
| 477 | 476 |
(setq fname bin-fname))
|
|
| 490 | 489 |
(with-output-chaos-warning ()
|
| 491 | 490 |
(format t "input nesting is ~d~%" *chaos-input-level*)
|
| 492 | 491 |
(print-next)
|
| 493 | |
(princ "probable input loop (can increase *chaos-input-nesting-limit*)")
|
| 494 | |
))
|
|
492 |
(princ "probable input loop (can increase *chaos-input-nesting-limit*)")))
|
| 495 | 493 |
(apply proc args)
|
| 496 | |
fname
|
| 497 | |
)))))
|
|
494 |
fname)))))
|
| 498 | 495 |
;;;
|
| 499 | 496 |
(defun set-search-path (paths)
|
| 500 | 497 |
(when (consp paths)
|