(define (loop0)
  (display "Scheme0> ")
  ; Force the "Scheme0> " to be displayed immediately
  (flush)
  ;; Remember, evaluation is innermost to outermost
  ;; (print (eval (read) (interaction-environment))) for Ikarus
  (print (eval (read)))
  (loop0))

;; (loop0)
;; 3
;; (+ 1 2)
;; (list 1 2 3)
;; (define (square x)
;;   (* x x))
;; (square 9)
;; ;; Ctrl-D ARGH HOW TO QUIT
;; (exit)


(define (loop1)
  (display "Scheme0> ")
  (flush)
  (let ((exp (read)))
    ;; Stop if the user types in Ctrl-D (EOF)
    (if (not (eof-object? exp))
	(begin (print (eval exp))
	       (loop1)))))

;; (loop1)
;; (+ 2 3)
;; (list 1 2 3)
;; Ctrl-D
;; (trace eval)
;; (loop1)
;; (* 2 4)
;; (if (= 2 4) true false)
;; Ctrl-D
;; (define example-if '(if (= 2 4) true false))
;; (eval example-if)
;; (car example-if)
;; (list-ref example-if 2)
;; (caddr example-if)

(define (if-test exp)
  (list-ref exp 1))

(define (if-true-case exp)
  (list-ref exp 2))

(define (if-false-case exp)
  (list-ref exp 3))

(define (if? exp)
  (and (list? exp)
       (= (length exp) 4)
       (equal? (car exp) 'if)))

(define (bad-if? exp)
  (and (if? exp)
       (or (equal? (if-true-case exp) 'true)
	   (equal? (if-true-case exp) #t))
       (or (equal? (if-false-case exp) 'false)
	   (equal? (if-false-case exp) #f))))

(define (fix-pet-peeve exp)
  (cond ((bad-if? exp)
	 (display "BAD PROGRAMMER!\n")
	 (fix-pet-peeve (if-test exp)))
	((pair? exp)
	 (map fix-pet-peeve exp))
	(else exp)))

(define (loop2)
  (display "Scheme0> ")
  (flush)
  (let ((exp (read)))
    ;; Stop if the user types in Ctrl-D (EOF)
    (if (not (eof-object? exp))
	(begin (print (eval (fix-pet-peeve exp)))
	       (loop2)))))

;; (trace eval)  ; If not already traced
;; (loop2)
;; (if (= 2 4) true false)
;; (if (= 2 0) true 'nope)
;; (or (if (= 2 4) #t #f) false (if (= 2 2) #t #f))


; Add a new special form
; (infix 1 + 2)
; (infix (infix 48 / 2) * (infix 9 + 3))
; (* (infix 48 / 2) (infix 9 + 3))
(define (infix? exp)
  (and (list? exp)
       (equal? (car exp) 'infix)
       (= (length exp) 4)))

(define (infix-operator exp)
  (caddr exp)) ; Or (list-ref exp 2)

(define (infix-operands exp)
  (list (cadr exp) (cadddr exp)))

(define (fix-infix exp)
  (cond ((infix? exp)
	 (cons (fix-infix (infix-operator exp))
               (map fix-infix (infix-operands exp))))
	((pair? exp)
	 (map fix-infix exp))
	(else exp)))


(define (loop3)
  (display "Scheme0> ")
  (flush)
  (let ((exp (read)))
    (let ((no-peeve (fix-pet-peeve exp)))
      (let ((no-infix (fix-infix exp)))
        (if (not (eof-object? exp))
            (begin (print (eval no-infix))
                   (loop3)))))))