;; mzscheme-init.scm - compatibility file for mzscheme
;; by Ryan Culpepper and Dave Herman
;; 2004-12-16

;; usage: mzscheme -d mzscheme-init.scm
;; runs mzscheme in the eopl language level

(printf "Language: Essentials of Programming Languages (2nd ed.)~n")

(define old (current-namespace))
(define new (make-namespace 'empty))

(parameterize ((current-namespace new))
  (namespace-attach-module old 'mzscheme)
  (namespace-require '(lib "eopl.ss" "eopl"))
  (namespace-require "drscheme-init.scm")
  (namespace-set-variable-value! 'exit exit))

(current-namespace new)