;;; Repl commands
-;; 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,
+;; Copyright (C) 2001, 2009, 2010 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 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.
+;; 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 command)
- #:use-syntax (system base syntax)
+ #:use-module (system base syntax)
#:use-module (system base pmatch)
#:use-module (system base compile)
#:use-module (system repl common)
+ #:use-module (system repl debug)
#:use-module (system vm objcode)
#:use-module (system vm program)
+ #:use-module (system vm trap-state)
#:use-module (system vm vm)
- #:autoload (system base language) (lookup-language)
- #:autoload (system vm debug) (vm-debugger vm-backtrace)
- #:autoload (system vm trace) (vm-trace vm-trace-on vm-trace-off)
- #:autoload (system vm profile) (vm-profile)
+ #:use-module ((system vm frame) #:select (frame-return-values))
+ #:autoload (system base language) (lookup-language language-reader)
+ #:autoload (system vm trace) (call-with-trace)
#:use-module (ice-9 format)
#:use-module (ice-9 session)
#:use-module (ice-9 documentation)
#:use-module (ice-9 and-let-star)
+ #:use-module (ice-9 rdelim)
+ #:use-module (ice-9 control)
+ #:use-module ((ice-9 pretty-print) #:select ((pretty-print . pp)))
+ #:use-module ((system vm inspect) #:select ((inspect . %inspect)))
+ #:use-module (statprof)
#:export (meta-command))
\f
;;;
(define *command-table*
- '((help (help h) (apropos a) (describe d) (option o) (quit q))
- (module (module m) (import i) (load l) (binding b))
+ '((help (help h) (show) (apropos a) (describe d))
+ (module (module m) (import use) (load l) (binding b))
(language (language L))
(compile (compile c) (compile-file cc)
(disassemble x) (disassemble-file xx))
- (profile (time t) (profile pr))
- (debug (backtrace bt) (debugger db) (trace tr) (step st))
- (system (gc) (statistics stat))))
+ (profile (time t) (profile pr) (trace tr))
+ (debug (backtrace bt) (up) (down) (frame fr)
+ (procedure proc) (locals) (error-message error)
+ (break br bp) (break-at-source break-at bs)
+ (step s) (step-instruction si)
+ (next n) (next-instruction ni)
+ (finish)
+ (tracepoint tp)
+ (traps) (delete del) (disable) (enable)
+ (registers regs))
+ (inspect (inspect i) (pretty-print pp))
+ (system (gc) (statistics stat) (option o)
+ (quit q continue cont))))
+
+(define *show-table*
+ '((show (warranty w) (copying c) (version v))))
(define (group-name g) (car g))
(define (group-commands g) (cdr g))
-;; Hack, until core can be extended.
-(define procedure-documentation
- (let ((old-definition procedure-documentation))
- (lambda (p)
- (if (program? p)
- (program-documentation p)
- (old-definition p)))))
-
(define *command-module* (current-module))
(define (command-name c) (car c))
-(define (command-abbrev c) (if (null? (cdr c)) #f (cadr c)))
+(define (command-abbrevs c) (cdr c))
(define (command-procedure c) (module-ref *command-module* (command-name c)))
(define (command-doc c) (procedure-documentation (command-procedure c)))
(define (lookup-group name)
(assq name *command-table*))
-(define (lookup-command key)
- (let loop ((groups *command-table*) (commands '()))
+(define* (lookup-command key #:optional (table *command-table*))
+ (let loop ((groups table) (commands '()))
(cond ((and (null? groups) (null? commands)) #f)
((null? commands)
(loop (cdr groups) (cdar groups)))
((memq key (car commands)) (car commands))
(else (loop groups (cdr commands))))))
-(define (display-group group . opts)
- (format #t "~:(~A~) Commands [abbrev]:~2%" (group-name group))
+(define* (display-group group #:optional (abbrev? #t))
+ (format #t "~:(~A~) Commands~:[~; [abbrev]~]:~2%" (group-name group) abbrev?)
(for-each (lambda (c)
(display-summary (command-usage c)
- (command-abbrev c)
+ (if abbrev? (command-abbrevs c) '())
(command-summary c)))
(group-commands group))
(newline))
(display (command-doc command))
(newline))
-(define (display-summary usage abbrev summary)
- (let ((abbrev (if abbrev (format #f "[,~A]" abbrev) "")))
- (format #t " ,~24A ~8@A - ~A\n" usage abbrev summary)))
-
-(define (meta-command repl line)
- (let ((input (call-with-input-string (string-append "(" line ")") read)))
- (if (not (null? input))
- (do ((key (car input))
- (args (cdr input) (cdr args))
- (opts '() (cons (make-keyword-from-dash-symbol (car args)) opts)))
- ((or (null? args)
- (not (symbol? (car args)))
- (not (eq? (string-ref (symbol->string (car args)) 0) #\-)))
- (let ((c (lookup-command key)))
- (if c
- (cond ((memq #:h opts) (display-command c))
- (else (apply (command-procedure c)
- repl (append! args (reverse! opts)))))
- (user-error "Unknown meta command: ~A" key))))))))
+(define (display-summary usage abbrevs summary)
+ (let* ((usage-len (string-length usage))
+ (abbrevs (if (pair? abbrevs)
+ (format #f "[,~A~{ ,~A~}]" (car abbrevs) (cdr abbrevs))
+ ""))
+ (abbrevs-len (string-length abbrevs)))
+ (format #t " ,~A~A~A - ~A\n"
+ usage
+ (cond
+ ((> abbrevs-len 32)
+ (error "abbrevs too long" abbrevs))
+ ((> (+ usage-len abbrevs-len) 32)
+ (format #f "~%~v_" (+ 2 (- 32 abbrevs-len))))
+ (else
+ (format #f "~v_" (- 32 abbrevs-len usage-len))))
+ abbrevs
+ summary)))
+
+(define (read-command repl)
+ (catch #t
+ (lambda () (read (repl-inport repl)))
+ (lambda (key . args)
+ (pmatch args
+ ((,subr ,msg ,args . ,rest)
+ (format #t "Throw to key `~a' while reading command:\n" key)
+ (display-error #f (current-output-port) subr msg args rest))
+ (else
+ (format #t "Throw to key `~a' with args `~s' while reading command.\n"
+ key args)))
+ (force-output)
+ *unspecified*)))
+
+(define read-line
+ (let ((orig-read-line read-line))
+ (lambda (repl)
+ (orig-read-line (repl-inport repl)))))
+
+(define (meta-command repl)
+ (let ((command (read-command repl)))
+ (cond
+ ((eq? command *unspecified*)) ; read error, already signalled; pass.
+ ((not (symbol? command))
+ (format #t "Meta-command not a symbol: ~s~%" command))
+ ((lookup-command command)
+ => (lambda (c) ((command-procedure c) repl)))
+ (else
+ (format #t "Unknown meta command: ~A~%" command)))))
+
+(define-syntax define-meta-command
+ (syntax-rules ()
+ ((_ (name repl (expression0 ...) . datums) docstring b0 b1 ...)
+ (define (name repl)
+ docstring
+ (define (handle-read-error form-name key args)
+ (pmatch args
+ ((,subr ,msg ,args . ,rest)
+ (format #t "Throw to key `~a' while reading ~@[argument `~A' of ~]command `~A':\n"
+ key form-name 'name)
+ (display-error #f (current-output-port) subr msg args rest))
+ (else
+ (format #t "Throw to key `~a' with args `~s' while reading ~@[ argument `~A' of ~]command `~A'.\n"
+ key args form-name 'name)))
+ (abort))
+
+ (% (let* ((expression0
+ (catch #t
+ (lambda ()
+ (repl-reader ""
+ (lambda* (#:optional (port (repl-inport repl)))
+ ((language-reader (repl-language repl))
+ port (current-module)))))
+ (lambda (k . args)
+ (handle-read-error 'expression0 k args))))
+ ...)
+ (apply (lambda* datums
+ (with-output-to-port (repl-outport repl)
+ (lambda () b0 b1 ...)))
+ (catch #t
+ (lambda ()
+ (let ((port (open-input-string (read-line repl))))
+ (let lp ((out '()))
+ (let ((x (read port)))
+ (if (eof-object? x)
+ (reverse out)
+ (lp (cons x out)))))))
+ (lambda (k . args)
+ (handle-read-error #f k args)))))
+ (lambda (k) #f)))) ; the abort handler
+
+ ((_ (name repl . datums) docstring b0 b1 ...)
+ (define-meta-command (name repl () . datums)
+ docstring b0 b1 ...))))
+
\f
;;;
;;; Help commands
;;;
-(define (help repl . args)
- "help [GROUP]
-List available meta commands.
-A command group name can be given as an optional argument.
+(define-meta-command (help repl . args)
+ "help [all | GROUP | [-c] COMMAND]
+Show help.
+
+With one argument, tries to look up the argument as a group name, giving
+help on that group if successful. Otherwise tries to look up the
+argument as a command, giving help on the command.
+
+If there is a command whose name is also a group name, use the ,help
+-c COMMAND form to give help on the command instead of the group.
+
Without any argument, a list of help commands and command groups
-are displayed, as you have already seen ;)"
+are displayed."
(pmatch args
(()
(display-group (lookup-group 'help))
(display-summary usage #f header)))
(cdr *command-table*))
(newline)
- (display "Type `,COMMAND -h' to show documentation of each command.")
+ (display
+ "Type `,help -c COMMAND' to show documentation of a particular command.")
(newline))
((all)
(for-each display-group *command-table*))
((,group) (guard (lookup-group group))
(display-group (lookup-group group)))
+ ((,command) (guard (lookup-command command))
+ (display-command (lookup-command command)))
+ ((-c ,command) (guard (lookup-command command))
+ (display-command (lookup-command command)))
+ ((,command)
+ (format #t "Unknown command or group: ~A~%" command))
+ ((-c ,command)
+ (format #t "Unknown command: ~A~%" command))
+ (else
+ (format #t "Bad arguments: ~A~%" args))))
+
+(define-meta-command (show repl . args)
+ "show [TOPIC]
+Gives information about Guile.
+
+With one argument, tries to show a particular piece of information;
+
+currently supported topics are `warranty' (or `w'), `copying' (or `c'),
+and `version' (or `v').
+
+Without any argument, a list of topics is displayed."
+ (pmatch args
+ (()
+ (display-group (car *show-table*) #f)
+ (newline))
+ ((,topic) (guard (lookup-command topic *show-table*))
+ ((command-procedure (lookup-command topic *show-table*)) repl))
+ ((,command)
+ (format #t "Unknown topic: ~A~%" command))
(else
- (user-error "Unknown command group: ~A" (car args)))))
+ (format #t "Bad arguments: ~A~%" args))))
+
+(define (warranty repl)
+ "show warranty
+Details on the lack of warranty."
+ (display *warranty*)
+ (newline))
+
+(define (copying repl)
+ "show copying
+Show the LGPLv3."
+ (display *copying*)
+ (newline))
+
+(define (version repl)
+ "show version
+Version information."
+ (display *version*)
+ (newline))
(define guile:apropos apropos)
-(define (apropos repl regexp)
+(define-meta-command (apropos repl regexp)
"apropos REGEXP
Find bindings/modules/packages."
(guile:apropos (->string regexp)))
-(define (describe repl obj)
+(define-meta-command (describe repl (form))
"describe OBJ
Show description/documentation."
- (display (object-documentation
- (repl-eval repl (repl-parse repl obj))))
+ (display (object-documentation (repl-eval repl (repl-parse repl form))))
(newline))
-(define (option repl . args)
+(define-meta-command (option repl . args)
"option [KEY VALUE]
List/show/set options."
(pmatch args
(()
- (for-each (lambda (key+val)
- (format #t "~A\t~A\n" (car key+val) (cdr key+val)))
+ (for-each (lambda (spec)
+ (format #t " ~A~24t~A\n" (car spec) (cadr spec)))
(repl-options repl)))
((,key)
(display (repl-option-ref repl key))
(newline))
((,key ,val)
- (repl-option-set! repl key val)
- (case key
- ((trace)
- (let ((vm (repl-vm repl)))
- (if val
- (apply vm-trace-on vm val)
- (vm-trace-off vm))))))))
-
-(define (quit repl)
+ (repl-option-set! repl key val))))
+
+(define-meta-command (quit repl)
"quit
Quit this session."
(throw 'quit))
;;; Module commands
;;;
-(define (module repl . args)
+(define-meta-command (module repl . args)
"module [MODULE]
Change modules / Show current module."
(pmatch args
(set-current-module (resolve-module mod-name)))
(,mod-name (set-current-module (resolve-module mod-name)))))
-(define (import repl . args)
+(define-meta-command (import repl . args)
"import [MODULE ...]
Import modules / List those imported."
(let ()
(let ((mod (resolve-interface name)))
(if mod
(module-use! (current-module) mod)
- (user-error "No such module: ~A" name))))
+ (format #t "No such module: ~A~%" name))))
(if (null? args)
(for-each puts (map module-name (module-uses (current-module))))
(for-each use args))))
-(define (load repl file . opts)
+(define guile:load load)
+(define-meta-command (load repl file)
"load FILE
-Load a file in the current module.
+Load a file in the current module."
+ (guile:load (->string file)))
- -f Load source file (see `compile')"
- (let* ((file (->string file))
- (objcode (if (memq #:f opts)
- (apply load-source-file file opts)
- (apply load-file file opts))))
- (vm-load (repl-vm repl) objcode)))
-
-(define (binding repl . opts)
+(define-meta-command (binding repl)
"binding
List current bindings."
(module-for-each (lambda (k v) (format #t "~23A ~A\n" k v))
;;; Language commands
;;;
-(define (language repl name)
+(define-meta-command (language repl name)
"language LANGUAGE
Change languages."
- (set! (repl-language repl) (lookup-language name))
- (repl-welcome repl))
+ (let ((lang (lookup-language name))
+ (cur (repl-language repl)))
+ (format #t "Happy hacking with ~a! To switch back, type `,L ~a'.\n"
+ (language-title lang) (language-name cur))
+ (set! (repl-language repl) lang)))
\f
;;;
;;; Compile commands
;;;
-(define (compile repl form . opts)
- "compile FORM
-Generate compiled code.
-
- -e Stop after expanding syntax/macro
- -t Stop after translating into GHIL
- -c Stop after generating GLIL
-
- -O Enable optimization
- -D Add debug information"
- (let ((x (apply repl-compile repl (repl-parse repl form) opts)))
- (cond ((objcode? x) (disassemble-objcode x))
+(define-meta-command (compile repl (form))
+ "compile EXP
+Generate compiled code."
+ (let ((x (repl-compile repl (repl-parse repl form))))
+ (cond ((objcode? x) (guile:disassemble x))
(else (repl-print repl x)))))
(define guile:compile-file compile-file)
-(define (compile-file repl file . opts)
+(define-meta-command (compile-file repl file . opts)
"compile-file FILE
Compile a file."
(guile:compile-file (->string file) #:opts opts))
(define (guile:disassemble x)
((@ (language assembly disassemble) disassemble) x))
-(define (disassemble repl prog)
- "disassemble PROGRAM
-Disassemble a program."
- (guile:disassemble (repl-eval repl (repl-parse repl prog))))
+(define-meta-command (disassemble repl (form))
+ "disassemble EXP
+Disassemble a compiled procedure."
+ (guile:disassemble (repl-eval repl (repl-parse repl form))))
-(define (disassemble-file repl file)
+(define-meta-command (disassemble-file repl file)
"disassemble-file FILE
Disassemble a file."
(guile:disassemble (load-objcode (->string file))))
;;; Profile commands
;;;
-(define (time repl form)
- "time FORM
+(define-meta-command (time repl (form))
+ "time EXP
Time execution."
- (let* ((vms-start (vm-stats (repl-vm repl)))
- (gc-start (gc-run-time))
+ (let* ((gc-start (gc-run-time))
(tms-start (times))
(result (repl-eval repl (repl-parse repl form)))
(tms-end (times))
- (gc-end (gc-run-time))
- (vms-end (vm-stats (repl-vm repl))))
+ (gc-end (gc-run-time)))
(define (get proc start end)
(exact->inexact (/ (- (proc end) (proc start)) internal-time-units-per-second)))
(repl-print repl result)
(get identity gc-start gc-end))
result))
-(define (profile repl form . opts)
- "profile FORM
+(define-meta-command (profile repl (form) . opts)
+ "profile EXP
Profile execution."
- (apply vm-profile
- (repl-vm repl)
- (repl-compile repl (repl-parse repl form))
+ ;; FIXME opts
+ (apply statprof
+ (repl-prepare-eval-thunk repl (repl-parse repl form))
+ opts))
+
+(define-meta-command (trace repl (form) . opts)
+ "trace EXP
+Trace execution."
+ ;; FIXME: doc options, or somehow deal with them better
+ (apply call-with-trace
+ (repl-prepare-eval-thunk repl (repl-parse repl form))
opts))
\f
;;; Debug commands
;;;
-(define (backtrace repl)
- "backtrace
-Display backtrace."
- (vm-backtrace (repl-vm repl)))
-
-(define (debugger repl)
- "debugger
-Start debugger."
- (vm-debugger (repl-vm repl)))
-
-(define (trace repl form . opts)
- "trace FORM
-Trace execution.
-
- -s Display stack
- -l Display local variables
- -e Display external variables
- -b Bytecode level trace"
- (apply vm-trace (repl-vm repl)
- (repl-compile repl (repl-parse repl form))
- opts))
+(define-syntax define-stack-command
+ (lambda (x)
+ (syntax-case x ()
+ ((_ (name repl . args) docstring body body* ...)
+ #`(define-meta-command (name repl . args)
+ docstring
+ (let ((debug (repl-debug repl)))
+ (if debug
+ (letrec-syntax
+ ((#,(datum->syntax #'repl 'frames)
+ (identifier-syntax (debug-frames debug)))
+ (#,(datum->syntax #'repl 'message)
+ (identifier-syntax (debug-error-message debug)))
+ (#,(datum->syntax #'repl 'index)
+ (identifier-syntax
+ (id (debug-index debug))
+ ((set! id exp) (set! (debug-index debug) exp))))
+ (#,(datum->syntax #'repl 'cur)
+ (identifier-syntax
+ (vector-ref #,(datum->syntax #'repl 'frames)
+ #,(datum->syntax #'repl 'index)))))
+ body body* ...)
+ (format #t "Nothing to debug.~%"))))))))
+
+(define-stack-command (backtrace repl #:optional count
+ #:key (width 72) full?)
+ "backtrace [COUNT] [#:width W] [#:full? F]
+Print a backtrace.
+
+Print a backtrace of all stack frames, or innermost COUNT frames.
+If COUNT is negative, the last COUNT frames will be shown."
+ (print-frames frames
+ #:count count
+ #:width width
+ #:full? full?))
+
+(define-stack-command (up repl #:optional (count 1))
+ "up [COUNT]
+Select a calling stack frame.
+
+Select and print stack frames that called this one.
+An argument says how many frames up to go."
+ (cond
+ ((or (not (integer? count)) (<= count 0))
+ (format #t "Invalid argument to `up': expected a positive integer for COUNT.~%"))
+ ((>= (+ count index) (vector-length frames))
+ (cond
+ ((= index (1- (vector-length frames)))
+ (format #t "Already at outermost frame.\n"))
+ (else
+ (set! index (1- (vector-length frames)))
+ (print-frame cur #:index index))))
+ (else
+ (set! index (+ count index))
+ (print-frame cur #:index index))))
+
+(define-stack-command (down repl #:optional (count 1))
+ "down [COUNT]
+Select a called stack frame.
+
+Select and print stack frames called by this one.
+An argument says how many frames down to go."
+ (cond
+ ((or (not (integer? count)) (<= count 0))
+ (format #t "Invalid argument to `down': expected a positive integer for COUNT.~%"))
+ ((< (- index count) 0)
+ (cond
+ ((zero? index)
+ (format #t "Already at innermost frame.\n"))
+ (else
+ (set! index 0)
+ (print-frame cur #:index index))))
+ (else
+ (set! index (- index count))
+ (print-frame cur #:index index))))
+
+(define-stack-command (frame repl #:optional idx)
+ "frame [IDX]
+Show a frame.
+
+Show the selected frame.
+With an argument, select a frame by index, then show it."
+ (cond
+ (idx
+ (cond
+ ((or (not (integer? idx)) (< idx 0))
+ (format #t "Invalid argument to `frame': expected a non-negative integer for IDX.~%"))
+ ((< idx (vector-length frames))
+ (set! index idx)
+ (print-frame cur #:index index))
+ (else
+ (format #t "No such frame.~%"))))
+ (else (print-frame cur #:index index))))
+
+(define-stack-command (procedure repl)
+ "procedure
+Print the procedure for the selected frame."
+ (repl-print repl (frame-procedure cur)))
+
+(define-stack-command (locals repl)
+ "locals
+Show local variables.
+
+Show locally-bound variables in the selected frame."
+ (print-locals cur))
+
+(define-stack-command (error-message repl)
+ "error-message
+Show error message.
+
+Display the message associated with the error that started the current
+debugging REPL."
+ (format #t "~a~%" (if (string? message) message "No error message")))
+
+(define-meta-command (break repl (form))
+ "break PROCEDURE
+Break on calls to PROCEDURE.
+
+Starts a recursive prompt when PROCEDURE is called."
+ (let ((proc (repl-eval repl (repl-parse repl form))))
+ (if (not (procedure? proc))
+ (error "Not a procedure: ~a" proc)
+ (let ((idx (add-trap-at-procedure-call! proc)))
+ (format #t "Trap ~a: ~a.~%" idx (trap-name idx))))))
+
+(define-meta-command (break-at-source repl file line)
+ "break-at-source FILE LINE
+Break when control reaches the given source location.
+
+Starts a recursive prompt when control reaches line LINE of file FILE.
+Note that the given source location must be inside a procedure."
+ (let ((file (if (symbol? file) (symbol->string file) file)))
+ (let ((idx (add-trap-at-source-location! file line)))
+ (format #t "Trap ~a: ~a.~%" idx (trap-name idx)))))
+
+(define (repl-pop-continuation-resumer repl msg)
+ ;; Capture the dynamic environment with this prompt thing. The
+ ;; result is a procedure that takes a frame.
+ (% (call-with-values
+ (lambda ()
+ (abort
+ (lambda (k)
+ ;; Call frame->stack-vector before reinstating the
+ ;; continuation, so that we catch the %stacks fluid at
+ ;; the time of capture.
+ (lambda (frame)
+ (k frame
+ (frame->stack-vector
+ (frame-previous frame)))))))
+ (lambda (from stack)
+ (format #t "~a~%" msg)
+ (let ((vals (frame-return-values from)))
+ (if (null? vals)
+ (format #t "No return values.~%")
+ (begin
+ (format #t "Return values:~%")
+ (for-each (lambda (x) (repl-print repl x)) vals))))
+ ((module-ref (resolve-interface '(system repl repl)) 'start-repl)
+ #:debug (make-debug stack 0 msg #t))))))
+
+(define-stack-command (finish repl)
+ "finish
+Run until the current frame finishes.
+
+Resume execution, breaking when the current frame finishes."
+ (let ((handler (repl-pop-continuation-resumer
+ repl (format #f "Return from ~a" cur))))
+ (add-ephemeral-trap-at-frame-finish! cur handler)
+ (throw 'quit)))
+
+(define (repl-next-resumer msg)
+ ;; Capture the dynamic environment with this prompt thing. The
+ ;; result is a procedure that takes a frame.
+ (% (let ((stack (abort
+ (lambda (k)
+ ;; Call frame->stack-vector before reinstating the
+ ;; continuation, so that we catch the %stacks fluid
+ ;; at the time of capture.
+ (lambda (frame)
+ (k (frame->stack-vector frame)))))))
+ (format #t "~a~%" msg)
+ ((module-ref (resolve-interface '(system repl repl)) 'start-repl)
+ #:debug (make-debug stack 0 msg #t)))))
+
+(define-stack-command (step repl)
+ "step
+Step until control reaches a different source location.
+
+Step until control reaches a different source location."
+ (let ((msg (format #f "Step into ~a" cur)))
+ (add-ephemeral-stepping-trap! cur (repl-next-resumer msg)
+ #:into? #t #:instruction? #f)
+ (throw 'quit)))
+
+(define-stack-command (step-instruction repl)
+ "step-instruction
+Step until control reaches a different instruction.
+
+Step until control reaches a different VM instruction."
+ (let ((msg (format #f "Step into ~a" cur)))
+ (add-ephemeral-stepping-trap! cur (repl-next-resumer msg)
+ #:into? #t #:instruction? #t)
+ (throw 'quit)))
+
+(define-stack-command (next repl)
+ "next
+Step until control reaches a different source location in the current frame.
+
+Step until control reaches a different source location in the current frame."
+ (let ((msg (format #f "Step into ~a" cur)))
+ (add-ephemeral-stepping-trap! cur (repl-next-resumer msg)
+ #:into? #f #:instruction? #f)
+ (throw 'quit)))
+
+(define-stack-command (next-instruction repl)
+ "next-instruction
+Step until control reaches a different instruction in the current frame.
+
+Step until control reaches a different VM instruction in the current frame."
+ (let ((msg (format #f "Step into ~a" cur)))
+ (add-ephemeral-stepping-trap! cur (repl-next-resumer msg)
+ #:into? #f #:instruction? #t)
+ (throw 'quit)))
+
+(define-meta-command (tracepoint repl (form))
+ "tracepoint PROCEDURE
+Add a tracepoint to PROCEDURE.
+
+A tracepoint will print out the procedure and its arguments, when it is
+called, and its return value(s) when it returns."
+ (let ((proc (repl-eval repl (repl-parse repl form))))
+ (if (not (procedure? proc))
+ (error "Not a procedure: ~a" proc)
+ (let ((idx (add-trace-at-procedure-call! proc)))
+ (format #t "Trap ~a: ~a.~%" idx (trap-name idx))))))
+
+(define-meta-command (traps repl)
+ "traps
+Show the set of currently attached traps.
+
+Show the set of currently attached traps (breakpoints and tracepoints)."
+ (let ((traps (list-traps)))
+ (if (null? traps)
+ (format #t "No traps set.~%")
+ (for-each (lambda (idx)
+ (format #t " ~a: ~a~a~%"
+ idx (trap-name idx)
+ (if (trap-enabled? idx) "" " (disabled)")))
+ traps))))
+
+(define-meta-command (delete repl idx)
+ "delete IDX
+Delete a trap.
+
+Delete a trap."
+ (if (not (integer? idx))
+ (error "expected a trap index (a non-negative integer)" idx)
+ (delete-trap! idx)))
+
+(define-meta-command (disable repl idx)
+ "disable IDX
+Disable a trap.
+
+Disable a trap."
+ (if (not (integer? idx))
+ (error "expected a trap index (a non-negative integer)" idx)
+ (disable-trap! idx)))
+
+(define-meta-command (enable repl idx)
+ "enable IDX
+Enable a trap.
+
+Enable a trap."
+ (if (not (integer? idx))
+ (error "expected a trap index (a non-negative integer)" idx)
+ (enable-trap! idx)))
+
+(define-stack-command (registers repl)
+ "registers
+Print registers.
+
+Print the registers of the current frame."
+ (print-registers cur))
+
+
+\f
+;;;
+;;; Inspection commands
+;;;
-(define (step repl)
- "step FORM
-Step execution."
- (display "Not implemented yet\n"))
+(define-meta-command (inspect repl (form))
+ "inspect EXP
+Inspect the result(s) of evaluating EXP."
+ (call-with-values (repl-prepare-eval-thunk repl (repl-parse repl form))
+ (lambda args
+ (for-each %inspect args))))
+
+(define-meta-command (pretty-print repl (form))
+ "pretty-print EXP
+Pretty-print the result(s) of evaluating EXP."
+ (call-with-values (repl-prepare-eval-thunk repl (repl-parse repl form))
+ (lambda args
+ (for-each
+ (lambda (x)
+ (run-hook before-print-hook x)
+ (pp x))
+ args))))
\f
;;;
-;;; System commands
+;;; System commands
;;;
(define guile:gc gc)
-(define (gc repl)
+(define-meta-command (gc repl)
"gc
Garbage collection."
(guile:gc))
-(define (statistics repl)
+(define-meta-command (statistics repl)
"statistics
Display statistics."
(let ((this-tms (times))
- (this-vms (vm-stats (repl-vm repl)))
(this-gcs (gc-stats))
(last-tms (repl-tm-stats repl))
- (last-vms (repl-vm-stats repl))
(last-gcs (repl-gc-stats repl)))
;; GC times
(let ((this-times (assq-ref this-gcs 'gc-times))
(display-time-stat "child user" this-cutime last-cutime)
(display-time-stat "child system" this-cstime last-cstime)
(newline))
- ;; VM statistics
- (let ((this-time (vms:time this-vms))
- (last-time (vms:time last-vms))
- (this-clock (vms:clock this-vms))
- (last-clock (vms:clock last-vms)))
- (display-stat-title "VM statistics:" "diff" "total")
- (display-time-stat "time spent" this-time last-time)
- (display-diff-stat "bogoclock" #f this-clock last-clock "clock")
- (display-mips-stat "bogomips" this-time this-clock last-time last-clock)
- (newline))
;; Save statistics
;; Save statistics
(set! (repl-tm-stats repl) this-tms)
- (set! (repl-vm-stats repl) this-vms)
(set! (repl-gc-stats repl) this-gcs)))
(define (display-stat title flag field1 field2 unit)