diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 15:15:25 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 15:15:25 +0900 |
| commit | 4f950720df980352964c87abf8333a5b562ee231 (patch) | |
| tree | f324475a3b4a1f67904c1963f606f4916d2b420b /vikalpa.scm | |
| parent | f5879492135a41edd1f227607dcbc8d0c25c5c3c (diff) | |
Rename syntax from `set` to `=`.
Diffstat (limited to 'vikalpa.scm')
| -rw-r--r-- | vikalpa.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/vikalpa.scm b/vikalpa.scm index eadd2a0..290b90d 100644 --- a/vikalpa.scm +++ b/vikalpa.scm @@ -741,10 +741,10 @@ (define (command-option? x) (and (pair? x) (case (car x) - ((set) (and (list? x) - (= 3 (length x)) - (variable? (list-ref x 1)) - (expression? (list-ref x 2)))) + ((=) (and (list? x) + (= 3 (length x)) + (variable? (list-ref x 1)) + (expression? (list-ref x 2)))) (else #f)))) (define (command-name x) @@ -815,7 +815,7 @@ (receive (env) (parse-options/theorem (cdr ops) fail) (case (caar ops) - ((set) + ((=) (let ((op (car ops))) (cons (cons (list-ref op 1) (list-ref op 2)) @@ -1371,7 +1371,7 @@ (('rewrite _ _ . command-ops) (for-each (lambda (x) (match x - (('set var expr) + (('= var expr) (validate-expression sys `(define-proof ,(get-name d)) (get-variables d) |