;;;DRSCHEME-LOADSM.SCM                           Oct 11, 2000

;    DRSCHEME INITIALIZATION OF SCHEME SUBSTITUTION MODEL INTERPRETER

; Evaluate this file in a directory containing files "SM.SCM" and
; "MATCH.SCM"

(define (call-underlying-scheme expr) (eval expr))
(define pretty-print display)

(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 "sm.scm")                       ;load substitution model code
  (newline)
  (display "To start the submodel interpreter, evaluate")
  (newline)
  (display "(NEW-SUBMODEL)")
  (newline)
  (display "See the file 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

;MIT Scheme has a load file MITSCHEME-LOADSM.SCM

;for other Scheme dialects see OTHER-LOADSM.SCM
