Merge branch 'read-fix'
[bpt/guile.git] / module / system / repl / common.scm
dissimilarity index 69%
index a37ffb4..9570d1d 100644 (file)
-;;; Repl common routines
-
-;; Copyright (C) 2001 Free Software Foundation, Inc.
-
-;; This program is free software; you can redistribute it and/or modify
-;; it under the terms of the GNU General Public License as published by
-;; the Free Software Foundation; either version 2, or (at your option)
-;; any later version.
-;; 
-;; This program is distributed in the hope that it will be useful,
-;; but WITHOUT ANY WARRANTY; without even the implied warranty of
-;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-;; GNU General Public License for more details.
-;; 
-;; You should have received a copy of the GNU General Public License
-;; along with this program; see the file COPYING.  If not, write to
-;; the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
-;; Boston, MA 02111-1307, USA.
-
-;;; Code:
-
-(define-module (system repl common)
-  :use-syntax (system base syntax)
-  :use-module (system base compile)
-  :use-module (system base language)
-  :use-module (system vm core)
-  :export (<repl> make-repl repl-env repl-options repl-tm-stats
-                  repl-gc-stats repl-vm-stats
-           repl-welcome repl-prompt repl-read repl-compile repl-eval
-           repl-print repl-option-ref repl-option-set!
-           puts ->string user-error))
-
-\f
-;;;
-;;; Repl type
-;;;
-
-(define-record (<repl> env options tm-stats gc-stats vm-stats))
-
-(define repl-default-options
-  '((trace . #f)))
-
-(define %make-repl make-repl)
-(define (make-repl lang)
-  (let ((cenv (make-cenv :vm (the-vm)
-                        :language (lookup-language lang)
-                        :module (current-module))))
-    (%make-repl :env cenv
-                :options repl-default-options
-                :tm-stats (times)
-                :gc-stats (gc-stats)
-                :vm-stats (vm-stats (cenv-vm cenv)))))
-
-(define (repl-welcome repl)
-  (let ((language (cenv-language (repl-env repl))))
-    (format #t "~A interpreter ~A on Guile ~A\n"
-            (language-title language) (language-version language) (version)))
-  (display "Copyright (C) 2001 Free Software Foundation, Inc.\n\n")
-  (display "Enter `,help' for help.\n"))
-
-(define (repl-prompt repl)
-  (format #t "~A@~A> " (language-name (cenv-language (repl-env repl)))
-          (module-name (cenv-module (repl-env repl))))
-  (force-output))
-
-(define (repl-read repl)
-  ((language-reader (cenv-language (repl-env repl)))))
-
-(define (repl-compile repl form . opts)
-  (apply compile-in form (cenv-module (repl-env repl))
-         (cenv-language (repl-env repl)) opts))
-
-(define (repl-eval repl form)
-  (let ((eval (language-evaluator (cenv-language (repl-env repl)))))
-    (if eval
-       (eval form (cenv-module (repl-env repl)))
-       (vm-load (cenv-vm (repl-env repl)) (repl-compile repl form)))))
-
-(define (repl-print repl val)
-  (if (not (eq? val *unspecified*))
-      (begin
-       ((language-printer (cenv-language (repl-env repl))) val)
-       (newline))))
-
-(define (repl-option-ref repl key)
-  (assq-ref (repl-options repl) key))
-
-(define (repl-option-set! repl key val)
-  (set! (repl-options repl) (assq-set! (repl-options repl) key val)))
-
-\f
-;;;
-;;; Utilities
-;;;
-
-(define (puts x) (display x) (newline))
-
-(define (->string x)
-  (object->string x display))
-
-(define (user-error msg . args)
-  (throw 'user-error #f msg args #f))
+;;; Repl common routines
+
+;; Copyright (C) 2001, 2008, 2009 Free Software Foundation, Inc.
+
+;;; This library is free software; you can redistribute it and/or
+;;; modify it under the terms of the GNU Lesser General Public
+;;; License as published by the Free Software Foundation; either
+;;; version 3 of the License, or (at your option) any later version.
+;;;
+;;; This library is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+;;; Lesser General Public License for more details.
+;;;
+;;; You should have received a copy of the GNU Lesser General Public
+;;; License along with this library; if not, write to the Free Software
+;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+
+;;; Code:
+
+(define-module (system repl common)
+  #:use-module (system base syntax)
+  #:use-module (system base compile)
+  #:use-module (system base language)
+  #:use-module (system vm vm)
+  #:export (<repl> make-repl repl-vm repl-language repl-options
+            repl-tm-stats repl-gc-stats
+            repl-welcome repl-prompt repl-read repl-compile repl-eval
+            repl-parse repl-print repl-option-ref repl-option-set!
+            puts ->string user-error))
+
+\f
+;;;
+;;; Repl type
+;;;
+
+(define-record/keywords <repl> vm language options tm-stats gc-stats)
+
+(define repl-default-options
+  '((trace . #f)
+    (interp . #f)))
+
+(define %make-repl make-repl)
+(define (make-repl lang)
+  (%make-repl #:vm (the-vm)
+              #:language (lookup-language lang)
+              #:options repl-default-options
+              #:tm-stats (times)
+              #:gc-stats (gc-stats)))
+
+(define (repl-welcome repl)
+  (let ((language (repl-language repl)))
+    (format #t "~A interpreter ~A on Guile ~A\n"
+            (language-title language) (language-version language) (version)))
+  (display "Copyright (C) 2001-2008 Free Software Foundation, Inc.\n\n")
+  (display "Enter `,help' for help.\n"))
+
+(define (repl-prompt repl)
+  (format #f "~A@~A> " (language-name (repl-language repl))
+          (module-name (current-module))))
+
+(define (repl-read repl)
+  ((language-reader (repl-language repl)) (current-input-port)
+                                          (current-module)))
+
+(define (repl-compile repl form . opts)
+  (let ((to (lookup-language (cond ((memq #:e opts) 'scheme)
+                                   ((memq #:t opts) 'ghil)
+                                   ((memq #:c opts) 'glil)
+                                   (else 'objcode))))
+        (from (repl-language repl)))
+    (compile form #:from from #:to to #:opts opts #:env (current-module))))
+
+(define (repl-parse repl form)
+  (let ((parser (language-parser (repl-language repl))))
+    (if parser (parser form) form)))
+
+(define (repl-eval repl form)
+  (let ((eval (language-evaluator (repl-language repl))))
+    (if (and eval
+             (or (null? (language-compilers (repl-language repl)))
+                 (assq-ref (repl-options repl) 'interp)))
+        (eval form (current-module))
+        (vm-load (repl-vm repl) (repl-compile repl form '())))))
+
+(define (repl-print repl val)
+  (if (not (eq? val *unspecified*))
+      (begin
+        ;; The result of an evaluation is representable in scheme, and
+        ;; should be printed with the generic printer, `write'. The
+        ;; language-printer is something else: it prints expressions of
+        ;; a given language, not the result of evaluation.
+       (write val)
+       (newline))))
+
+(define (repl-option-ref repl key)
+  (assq-ref (repl-options repl) key))
+
+(define (repl-option-set! repl key val)
+  (set! (repl-options repl) (assq-set! (repl-options repl) key val)))
+
+\f
+;;;
+;;; Utilities
+;;;
+
+(define (puts x) (display x) (newline))
+
+(define (->string x)
+  (object->string x display))
+
+(define (user-error msg . args)
+  (throw 'user-error #f msg args #f))