diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-05 09:11:48 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-05 09:11:48 +0900 |
| commit | dcc45d23f70928760043d13f4f932694796f6000 (patch) | |
| tree | a5eb55e46c33965f755a91c7804d90baecdbe9e4 | |
| parent | 2935ac95403858c8a8b4af696ea6ba5e7aef5e92 (diff) | |
wip67
| -rw-r--r-- | vikalpa.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/vikalpa.scm b/vikalpa.scm index 1061a6e..8713e25 100644 --- a/vikalpa.scm +++ b/vikalpa.scm @@ -886,31 +886,31 @@ (result/expr (builder (result->expr (rewrite/eval extracted-expr sys)))))) - (('rewrite path command-name command-ops ...) + (('rewrite path cmd-name cmd-ops ...) (receive (extracted-expr preconds builder) (extract path expr fail) (result/expr (builder (result->expr (cond - ((lookup command-name sys) + ((lookup cmd-name sys) => (lambda (x) (cond ((is-a? x <core-function>) (rewrite/core-function sys x extracted-expr)) ((is-a? x <theorem*>) - (rewrite/theorem command-name command-ops sys x preconds extracted-expr)) + (rewrite/theorem cmd-name cmd-ops sys x preconds extracted-expr)) ((is-a? x <expandable-function>) (cond ((any (cut apply-rule '() <> extracted-expr '()) (function->rules x)) => result/expr) (else - (result/error 'apply-function command-name extracted-expr)))) + (result/error 'apply-function cmd-name extracted-expr)))) (else - (result/error 'invalid-command command-name extracted-expr))))) - (else (result/error 'command-not-found command-name extracted-expr)))))))))))) + (result/error 'invalid-command cmd-name extracted-expr))))) + (else (result/error 'command-not-found cmd-name extracted-expr)))))))))))) (define (rewrite sys expr seq) (let loop ((result (result/expr expr)) |