Greetings! So, I have been poking more at guile-vm. The focus of this patchset is on repl usability. Download guile-vm, ./autogen.sh && ./configure && make, then run:
$ ./env guile guile> (use-modules (system repl repl)) guile> (start-repl 'scheme) Guile Scheme interpreter 0.5 on Guile 1.8.4 Copyright (C) 2001-2008 Free Software Foundation, Inc. Enter `,help' for help. scheme@(guile-user)> 3 $1 = 3 scheme@(guile-user)> ,compile (lambda (x) (* x x)) Disassembly of #<objcode b708d720>: nlocs = 0 nexts = 0 0 (make-int8 64) ;; 64 2 (link "*") 5 (vector 0 1) ;; 1 element 8 (make-int8 0) ;; 0 10 (load-symbol "x") ;; x 13 (make-false) ;; #f 14 (make-int8 0) ;; 0 16 (list 0 3) ;; 3 elements 19 (list 0 2) ;; 2 elements 22 (list 0 1) ;; 1 element 25 (make-int8 9) ;; 9 27 (make-int8 0) ;; 0 29 (make-int8 21) ;; 21 31 (cons) 32 (cons) 33 (list 0 2) ;; 2 elements 36 (load-program ##{89}#) 47 (return) Bytecode ##{89}#: 0 (object-ref 0) 2 (variable-ref) 3 (local-ref 0) 5 (local-ref 0) 7 (tail-call 2) It's rather neat! There's a bit of preamble in the first bit, but basically it compiles a "program" that has a prelude that loads up constants and external linkages, and the actual lambda is in ##{89}##. Of course, guile-vm can deal with much more complex code as well. It can't deal with all guile code, but it's getting there. Anyway, other than that, in this patchset there is something to make `define' compile differently than `set'. I ended up making a new instruction for `define', that's not `link'. Ludovic, or anyone else, if you have any insights as to the wisdom or folly of this addition, they are appreciated. The following changes since commit f540e3271b55bd9e61165557c72d6ff8f9619e54: Andy Wingo (1): Replace ice-9 match's structures with guile's records are available in the git repository at: http://wingolog.org/git/guile-vm.git master Andy Wingo (14): multiple-values help for the repl; exports cleanups more exports cleanups readline integration for guile-vm ice-9 history integration fix to meta-reader's optional port argument pmatchify a cond for prettiness <foo>? -> foo?; some exports cleanups explicitly list exports instead of using define-public remove define-private only allow `define' at toplevel fixes so that typing asdfadfasff in the repl doesn't error replace cenv with things in <repl> and fluids; remove the `use' meta-command catch errors in the repl, with poor backtraces add env script env | 4 + module/language/scheme/translate.scm | 25 ++++---- module/system/base/compile.scm | 22 ++++---- module/system/base/syntax.scm | 38 ++----------- module/system/il/compile.scm | 2 +- module/system/il/ghil.scm | 102 ++++++++++++++++++---------------- module/system/il/glil.scm | 42 ++++++++------ module/system/repl/command.scm | 69 +++++++---------------- module/system/repl/common.scm | 69 +++++++++++------------ module/system/repl/describe.scm | 8 +- module/system/repl/repl.scm | 95 ++++++++++++++++++++++++++----- module/system/vm/assemble.scm | 18 +++++- module/system/vm/core.scm | 59 +++++++++++-------- module/system/vm/frame.scm | 17 +++-- module/system/vm/trace.scm | 9 ++- src/vm_loader.c | 31 +++++----- 16 files changed, 331 insertions(+), 279 deletions(-) create mode 100755 env Andy -- http://wingolog.org/