@@ -337,14 +337,12 @@ We can confirm the interpreter computes the right result for the
337337examples given earlier:
338338
339339@ex[
340- (eval:error (interp (parse 'x )))
341340(interp (parse '(let ((x 7 )) x)))
342341(interp (parse '(let ((x 7 )) 2 )))
343342(interp (parse '(let ((x 7 )) (add1 x))))
344343(interp (parse '(let ((x (add1 7 ))) x)))
345344(interp (parse '(let ((x 7 )) (let ((y 2 )) x))))
346345(interp (parse '(let ((x 7 )) (let ((x 2 )) x))))
347- (eval:error (interp (parse '(let ((x (add1 x))) x))))
348346(interp (parse '(let ((x 7 )) (let ((x (add1 x))) x))))
349347]
350348
@@ -600,14 +598,12 @@ Let's take a look at some examples.
600598@ex[
601599(define (show e)
602600 (displayln (asm-string (compile (parse e)))))
603- (eval:error (show 'x ))
604601(show '(let ((x 7 )) x))
605602(show '(let ((x 7 )) 2 ))
606603(show '(let ((x 7 )) (add1 x)))
607604(show '(let ((x (add1 7 ))) x))
608605(show '(let ((x 7 )) (let ((y 2 )) x)))
609606(show '(let ((x 7 )) (let ((x 2 )) x)))
610- (eval:error (show '(let ((x (add1 x))) x)))
611607(show '(let ((x 7 )) (let ((x (add1 x))) x)))
612608]
613609
@@ -618,14 +614,12 @@ And running the examples:
618614 (match (asm-interp (compile (parse e)))
619615 ['err 'err ]
620616 [b (bits->value b)]))
621- (eval:error (tell 'x ))
622617(tell '(let ((x 7 )) x))
623618(tell '(let ((x 7 )) 2 ))
624619(tell '(let ((x 7 )) (add1 x)))
625620(tell '(let ((x (add1 7 ))) x))
626621(tell '(let ((x 7 )) (let ((y 2 )) x)))
627622(tell '(let ((x 7 )) (let ((x 2 )) x)))
628- (eval:error (tell '(let ((x (add1 x))) x)))
629623(tell '(let ((x 7 )) (let ((x (add1 x))) x)))
630624]
631625
0 commit comments