;;;CNVG-LOADSM.SCM                             May 27, 2003
;   MIT SCHEME INITIALIZATION OF SCHEME SUBSTITUTION MODEL INTERPRETER

; Run this file in a directory containing files "CNVG-SM.SCM" and "MATCH.SCM"

(define gensym generate-uninterned-symbol)
(define (call-underlying-scheme expr)
  (eval expr user-initial-environment))

(define abort 'dummy)
;Evaluation of (ABORT MSG) will cause an immediate return to the
;user REPL which will return the value of MSG.
;;;ATTENTION!!!     EVAL THE FOLLOWING EXPRESSION IN THE USER READ-EVAL-PRINT-LOOP
;                   -- NOT WITH A "LOAD" COMMAND:
;(call-with-current-continuation (lambda (k) (set! abort k)))

(begin
  (load "cnvg-sm.scm")                       ;load substitution model code
  (newline)
  (display "To start the submodel interpreter, evaluate")
  (newline)
  (display "(NEW-SUBMODEL)")
  (newline)
  (display "See the file CNVG-SM.SCM for more instructions.")
  (newline) (newline)
  (display "Remember to evaluate in user REPL:")
  (newline)
  (display  '(call/cc (lambda (k) (set! abort k))))
  'sm-loaded)



;                            FOR OTHER SCHEMES

;DrScheme has a load file DRSCHEME-LOADSM.SCM

;for other Scheme dialects see OTHER-LOADSM.SCM