From 4f950720df980352964c87abf8333a5b562ee231 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 15 Sep 2021 15:15:25 +0900
Subject: Rename syntax from `set` to `=`.

---
 vikalpa.scm | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'vikalpa.scm')

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)
-- 
cgit v1.2.3