7564d7862350
Typo
author | Steve Losh <steve@stevelosh.com> |
---|---|
date | Mon, 18 Apr 2016 15:21:41 +0000 |
parents | b157bf8168a2 |
children | f3aa63a7ee45 |
branches/tags | (none) |
files | src/wam/compiler.lisp |
Changes
--- a/src/wam/compiler.lisp Mon Apr 18 15:16:22 2016 +0000 +++ b/src/wam/compiler.lisp Mon Apr 18 15:21:41 2016 +0000 @@ -254,7 +254,7 @@ ;;; predicate any references to X will be point at the (unified) results instead ;;; of fresh ones (because they'll be compiled as `put_value` instead of ;;; `put_variable`). - +;;; ;;; But wait: don't we need to substitute into ALL the body terms, not just the ;;; first one? Yes we do, but the trick is that any variables in the REST of ;;; the body that would need to be substituted must, by definition, be permanent