It seems no one did 'exec+ <term>'.
tswd
5 years ago
875 | 875 | (with-variable-as-constant (term) |
876 | 876 | (case mode |
877 | 877 | (:exec+ |
878 | #|| I should re-think this towise! | |
878 | 879 | (let ((*rwl-search-no-state-report* t)) |
879 | 880 | (rwl-search* term |
880 | 881 | nil ; pattern |
891 | 892 | (rwl-state-term |
892 | 893 | (car (rwl-sch-context-answers .rwl-sch-context.)))) |
893 | 894 | (with-output-chaos-error () |
894 | (format t "PANIC!"))))) | |
895 | (format t "PANIC!")))) | |
896 | ||# | |
897 | ) | |
895 | 898 | (otherwise |
896 | 899 | (setq $$trials 1) |
897 | 900 | (let ((*trace-level* 0)) |
924 | 927 | (with-variable-as-constant (term) |
925 | 928 | (case mode |
926 | 929 | (:exec+ |
930 | #|| do we really need this? | |
927 | 931 | (let ((*rwl-search-no-state-report* t)) |
928 | 932 | (rwl-search* term |
929 | 933 | nil ; pattern |
940 | 944 | (rwl-state-term |
941 | 945 | (car (rwl-sch-context-answers .rwl-sch-context.)))) |
942 | 946 | (with-output-chaos-error () |
943 | (format t "PANIC!"))))) | |
947 | (format t "PANIC!")))) | |
948 | ||# | |
949 | ) | |
944 | 950 | (otherwise |
945 | 951 | (setq $$trials 1) |
946 | 952 | (let ((*trace-level* 0)) |