From d4ae0e01241394afc3c5e3dcdf702ee886ef4ade Mon Sep 17 00:00:00 2001 From: Tim Vaughan Date: Mon, 1 May 2017 18:22:50 +1200 Subject: [PATCH] Removed debug code from MCE. --- examples/metacirc.scm | 38 ++++---------------------------------- 1 file changed, 4 insertions(+), 34 deletions(-) diff --git a/examples/metacirc.scm b/examples/metacirc.scm index 170adaa..a1ad1dd 100644 --- a/examples/metacirc.scm +++ b/examples/metacirc.scm @@ -8,8 +8,6 @@ ;; Verbatim code from SICP -(display "eval and apply\n") - (define (eval exp env) (cond ((self-evaluating? exp) exp) @@ -137,8 +135,6 @@ (cddr exp)))) ; body -(display "lambda... \n") - (define (lambda? exp) (tagged-list? exp 'lambda)) (define (lambda-parameters exp) (cadr exp)) @@ -185,8 +181,6 @@ (define (rest-operands ops) (cdr ops)) -(display "cond... \n") - (define (cond? exp) (tagged-list? exp 'cond)) (define (cond-clauses exp) (cdr exp)) @@ -223,9 +217,6 @@ (eq? x false)) -(display "make-procedure...\n") - - (define (make-procedure parameters body env) (list 'procedure parameters body env)) (define (compound-procedure? p) @@ -239,19 +230,14 @@ (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) @@ -263,8 +249,6 @@ vars vals)))) -(display "lookup-variable\n") - (define (lookup-variable-value var env) (define (env-loop env) (define (scan vars vals) @@ -282,8 +266,6 @@ (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) @@ -301,37 +283,26 @@ (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)) @@ -368,8 +339,6 @@ (define output-prompt ";;; M-Eval value:") -(display "driver-loop...\n") - (define (driver-loop) (prompt-for-input input-prompt) (let ((input (read))) @@ -399,3 +368,4 @@ (define the-global-environment (setup-environment)) +(driver-loop) -- 2.20.1