Removed debug code from MCE.
authorTim Vaughan <tgvaughan@gmail.com>
Mon, 1 May 2017 06:22:50 +0000 (18:22 +1200)
committerTim Vaughan <tgvaughan@gmail.com>
Mon, 1 May 2017 06:22:50 +0000 (18:22 +1200)
examples/metacirc.scm

index 170adaa..a1ad1dd 100644 (file)
@@ -8,8 +8,6 @@
 
 ;; Verbatim code from SICP
 
-(display "eval and apply\n")
-
 (define (eval exp env)
   (cond ((self-evaluating? exp) 
          exp)
       (cddr exp)))) ; body
 
 
-(display "lambda... \n")
-
 (define (lambda? exp) 
   (tagged-list? exp 'lambda))
 (define (lambda-parameters exp) (cadr exp))
 (define (rest-operands ops) (cdr ops))
 
 
-(display "cond... \n")
-
 (define (cond? exp) 
   (tagged-list? exp 'cond))
 (define (cond-clauses exp) (cdr exp))
   (eq? x false))
 
 
-(display "make-procedure...\n")
-
-
 (define (make-procedure parameters body env)
   (list 'procedure parameters body env))
 (define (compound-procedure? p)
 (define the-empty-environment '())
 
 
-(display "make-frame\n")
-
 (define (make-frame variables values)
   (cons variables values))
 (define (frame-variables frame) (car frame))
 (define (frame-values frame) (cdr frame))
 (define (add-binding-to-frame! var val frame)
-  (display "Adding binding to frame... ")
   (set-car! frame (cons var (car frame)))
   (set-cdr! frame (cons val (cdr frame))))
 
-(display "extend-environment\n")
-
 (define (extend-environment vars vals base-env)
   (if (= (length vars) (length vals))
     (cons (make-frame vars vals) base-env)
              vars 
              vals))))
 
-(display "lookup-variable\n")
-
 (define (lookup-variable-value var env)
   (define (env-loop env)
     (define (scan vars vals)
               (frame-values frame)))))
   (env-loop env))
 
-(display "set-variable\n")
-
 (define (set-variable-value! var val env)
   (define (env-loop env)
     (define (scan vars vals)
               (frame-values frame)))))
   (env-loop env))
 
-(display "define-variable\n")
-
 (define (define-variable! var val env)
-  (display "Defining a variable...\n")
   (let ((frame (first-frame env)))
     (define (scan vars vals)
-      (display "Scanning for ") (display var) (display " in ") (display vars) (display "...\n")
       (cond ((null? vars)
-             (begin (display "adding binding\n")
              (add-binding-to-frame! 
-               var val frame)))
+               var val frame))
             ((eq? var (car vars))
-             (begin (display "replacing binding\n")
-             (set-car! vals val)))
+             (set-car! vals val))
             (else
-              (begin
-                (display "iterating\n")
                 (scan (cdr vars) 
-                        (cdr vals))))))
+                        (cdr vals)))))
     (scan (frame-variables frame)
           (frame-values frame))))
 
-(display "setup-environment...\n")
-
 (define (setup-environment)
   (let ((initial-env
           (extend-environment 
             (primitive-procedure-names)
             (primitive-procedure-objects)
             the-empty-environment)))
-    (display "Setting up the environment..\n")
     (define-variable! 'true true initial-env)
     (define-variable! 'false false initial-env)
     initial-env))
 (define output-prompt ";;; M-Eval value:")
 
 
-(display "driver-loop...\n") 
-
 (define (driver-loop)
   (prompt-for-input input-prompt)
   (let ((input (read)))
 
 (define the-global-environment (setup-environment))
 
+(driver-loop)