;;; Erik Sanders
;;; Ross Hansen

;;; Supported Forms
;<program>     ::= <form>* 
;<form>                ::=  <definition> | <expression>
;<definition>          ::=  <variable definition> | (begin <definition>*)
;<variable definition> ::= (define <variable> <expression>)
;<expression>  ::= <constant>  
;              ::= <variable>  
;              ::= (quote <datum>)  
;              ::= (lambda <formals> <expression> <expression>*)  
;              ::= (if <expression> <expression> <expression>)
;              ::= (if <expression> <expression>)
;              ::= <application>  
;              ::= (begin <expression>*)
;              ::= (let ({<variable> <expression>}*) {<expression>}+)
;              ::= (let <symbol> ({variable> <expression>}*) {<expression>}+)
;              ::= (let* ({<variable> <expression>}*) {<expression>}+)
;	       ::= (letrec ({<variable> <expression>}*) {<expression>+})
;              ::= (set! <variable> <expression>)
;              ::= (cond {(<expression> <expression>)}+)
;              ::= (case <expression> {[<constant> {<expression>}+]}+) |
;                  (case <expression> {[({<constant>}+) {<expression>}+]}+)
;              ::= (and {<expression>}*)
;              ::= (or {<expression>}*)  
;              ::= (while <expression> {<expression>}+)
;<constant>    ::= <boolean> | <number> | <character> | <string> | <vector> 
;<formals>     ::= <variable>  
;              ::= (<variable>*)  
;              ::= (<variable> <variable>* . <variable>)  
;<application> ::= (<expression> <expression>*) 

(load "env.ss")
(load "interpreter.ss")
(load "parser.ss")


(define rep
  (lambda ()
    (begin
      (display "--> ")
      (let ([in (read)])
	(if (not (equal? in '(exit)))
	    (begin (write  (eval-one-exp in))
		   (newline)
		   (rep)))))))
     
(define convertstuff
  (lambda (stuff)
    (if (pair? stuff)
	(if (eq? (car stuff) 'closure-record)
	    '<interpreter-procedure>
	    (cons (convertstuff (car stuff))
		  (convertstuff (cdr stuff))))
	stuff)))