# HG changeset patch # User Steve Losh # Date 1460992901 0 # Node ID 7564d78623506f2991611cc8e0ec2f29cd2fb229 # Parent b157bf8168a279f38ece6b937773107aa7e9cabb Typo diff -r b157bf8168a2 -r 7564d7862350 src/wam/compiler.lisp --- 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