* When applying rule, warning msg will be printed if match method is not yet computed.
tswd
8 years ago
319 | 319 | ;; first we find matching rewrite rule |
320 | 320 | (funcall (or (rule-first-match-method rule) |
321 | 321 | (progn |
322 | (with-output-chaos-warning () | |
323 | (format t "Internal, no 'matching-mehod' is assigned for:") | |
324 | (print-next) | |
325 | (print-axiom-brief rule)) | |
322 | (when *chaos-verbose* | |
323 | (with-output-chaos-warning () | |
324 | (format t "Internal, no 'matching-mehod' is assigned for:") | |
325 | (print-next) | |
326 | (print-axiom-brief rule))) | |
326 | 327 | (compute-rule-method rule) |
327 | 328 | (rule-first-match-method rule))) |
328 | 329 | (rule-lhs rule) |