From dcc45d23f70928760043d13f4f932694796f6000 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Tue, 5 Jan 2021 09:11:48 +0900 Subject: wip67 --- vikalpa.scm | 12 ++++++------ 1 file 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 ) (rewrite/core-function sys x extracted-expr)) ((is-a? x ) - (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 ) (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)) -- cgit v1.2.3