# HG changeset patch # User Steve Losh # Date 1459292991 0 # Node ID 6b2403fb07d84fabe593986a49f63c373ea212de # Parent 3ac6e0d897afae9c6cf9d51301b37aff61ee784c Add break to run diff -r 3ac6e0d897af -r 6b2403fb07d8 examples/ggp.lisp --- a/examples/ggp.lisp Mon Mar 28 20:32:33 2016 +0000 +++ b/examples/ggp.lisp Tue Mar 29 23:09:51 2016 +0000 @@ -235,5 +235,5 @@ (fresh-depth-charge!) (time - (dotimes (i 10) + (dotimes (i 100000) (fresh-depth-charge!))) diff -r 3ac6e0d897af -r 6b2403fb07d8 src/paip-compiled.lisp --- a/src/paip-compiled.lisp Mon Mar 28 20:32:33 2016 +0000 +++ b/src/paip-compiled.lisp Tue Mar 29 23:09:51 2016 +0000 @@ -471,3 +471,5 @@ (defmacro ?- (&rest goals) `(top-level-prove ',(replace-wildcard-variables goals))) + + diff -r 3ac6e0d897af -r 6b2403fb07d8 src/wam/compile.lisp --- a/src/wam/compile.lisp Mon Mar 28 20:32:33 2016 +0000 +++ b/src/wam/compile.lisp Tue Mar 29 23:09:51 2016 +0000 @@ -222,11 +222,12 @@ generate-program-actions)) -(defun run (wam instructions) +(defun run (wam instructions &optional step) "Execute the machine instructions on the given WAM." (mapc (lambda (action) (when (not (wam-fail wam)) - (apply (car action) wam (cdr action)))) + (apply (car action) wam (cdr action)) + (when step (break)))) instructions) (values))