From a69ce2e3ddf66eb87010ecdd3617a286caa8e69a Mon Sep 17 00:00:00 2001
From: Christophe Rhodes <csr21@cantab.net>
Date: Wed, 21 May 2008 12:25:44 +0000
Subject: [PATCH] 1.0.16.42: Fix LOCALLY in fopcompiled context 	Patch by Juho
 Snellman; gentle prodding by Attila Lendvai.

---
 NEWS                         |  2 ++
 src/compiler/fopcompile.lisp |  2 +-
 tests/compiler.test.sh       |  5 +++++
 tests/expect.sh              | 13 +++++++++++++
 version.lisp-expr            |  2 +-
 5 files changed, 22 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index d49686999..d6e201179 100644
--- a/NEWS
+++ b/NEWS
@@ -41,6 +41,8 @@ changes in sbcl-1.0.17 relative to 1.0.16:
     2.18.50.0.4 support.  (thanks to Marijn Schouten)
   * bug fix: fix ECASE warnings from CMUCL-as-xc-host.  (reported by
     Andreas Franke)
+  * bug fix: the fopcompiler can handle LOCALLY forms (with no
+    declarations) successfully.  (reported by Attila Lendvai)
 
 changes in sbcl-1.0.16 relative to 1.0.15:
   * minor incompatible change: revert the changes to sb-posix's error
diff --git a/src/compiler/fopcompile.lisp b/src/compiler/fopcompile.lisp
index 3ddc35ca2..1a3338593 100644
--- a/src/compiler/fopcompile.lisp
+++ b/src/compiler/fopcompile.lisp
@@ -321,7 +321,7 @@
                                     for-value-p)))
                    ((if)
                     (fopcompile-if args path for-value-p))
-                   ((progn)
+                   ((progn locally)
                     (loop for (arg . next) on args
                           do (fopcompile arg
                                          path (if next
diff --git a/tests/compiler.test.sh b/tests/compiler.test.sh
index 48aa64ede..548f9eea6 100644
--- a/tests/compiler.test.sh
+++ b/tests/compiler.test.sh
@@ -379,5 +379,10 @@ cat > $tmpfilename <<EOF
 EOF
 expect_aborted_compile $tmpfilename
 
+cat > $tmpfilename <<EOF
+(if t (locally))
+EOF
+expect_clean_cload $tmpfilename
+
 # success
 exit $EXIT_TEST_WIN
diff --git a/tests/expect.sh b/tests/expect.sh
index 5919750e9..60cbdc8cb 100644
--- a/tests/expect.sh
+++ b/tests/expect.sh
@@ -30,6 +30,19 @@ EOF
     check_status_maybe_lose load-into-interpreter $?
 }
 
+expect_clean_cload ()
+{
+    expect_clean_compile $1
+    run_sbcl <<EOF
+        (multiple-value-bind (value0 value1) 
+            (ignore-errors (load (compile-file-pathname "$1")))
+          (assert value0)
+          (assert (null value1)))
+        (sb-ext:quit :unix-status $EXIT_LISP_WIN)
+EOF
+    check_status_maybe_lose load-compiled $?
+}
+
 # Test that a file compiles cleanly, with no ERRORs, WARNINGs or
 # STYLE-WARNINGs.
 expect_clean_compile ()
diff --git a/version.lisp-expr b/version.lisp-expr
index 7268658e3..88d46d349 100644
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.16.41"
+"1.0.16.42"
-- 
2.11.4.GIT