;;; eval.ss -- evaluation

;; Copyright (C) 2009 Jose Antonio Ortega Ruiz

;; This program is free software; you can redistribute it and/or
;; modify it under the terms of the Modified BSD License. You should
;; have received a copy of the license along with this program. If
;; not, see <http://www.xfree86.org/3.3.6/COPYRIGHT2.html#5>.

;; Start date: Sun Apr 26, 2009 00:44

#lang scheme

(provide eval-in
         compile-in
         load-file
         compile-file
         macroexpand
         make-repl-reader)

(require scheme/enter geiser/modules geiser/autodoc)

(define last-result (void))

(define namespace->module-name
  (compose module-path-name->name namespace->module-path-name))

(define last-namespace (make-parameter (current-namespace)))

(define (exn-key e)
  (vector-ref (struct->vector e) 0))

(define (set-last-error e)
  (set! last-result `((error (key . ,(exn-key e)))))
  (display (exn-message e)))

(define (write-value v)
  (with-output-to-string
    (lambda () (write v))))

(define (set-last-result . vs)
  (set! last-result `((result  ,@(map write-value vs)))))

(define (eval-in form spec)
  (set-last-result (void))
  (let ((output
         (with-output-to-string
           (lambda ()
             (with-handlers ((exn? set-last-error))
               (update-module-cache spec form)
               (call-with-values
                   (lambda () (eval form (module-spec->namespace spec)))
                 set-last-result))))))
    (append last-result `((output . ,output)))))

(define compile-in eval-in)

(define (load-file file)
  (let ((current-path (namespace->module-path-name (last-namespace)))
        (result (eval-in `(load-module ,file (current-output-port))
                         'geiser/eval)))
    (update-module-cache file)
    (load-module (and (path? current-path) (path->string current-path)))
    result))

(define compile-file load-file)

(define (macroexpand form . all)
  (let ((all (and (not (null? all)) (car all))))
    (with-output-to-string
      (lambda ()
        (pretty-print (syntax->datum ((if all expand expand-once) form)))))))

(define (make-repl-reader builtin-reader)
  (lambda (ns)
    (last-namespace ns)
    (printf "mzscheme@~a" (namespace->module-name ns))
    (builtin-reader)))

;;; eval.ss ends here