From 9e8d89f55ba39577f29d078b3dc176ab91bf8af5 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Date: Thu, 11 Mar 2010 00:01:57 +0100
Subject: [PATCH] *SOURCE-LOCATION* is set to *LOAD-PATHNAME* not to
 *LOAD-TRUENAME*

---
 src/CHANGELOG | 8 ++++++++
 src/c/load.d  | 3 ++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/CHANGELOG b/src/CHANGELOG
index 42fda485b..8a6acd822 100755
--- a/src/CHANGELOG
+++ b/src/CHANGELOG
@@ -1,3 +1,11 @@
+ECL 10.3.2:
+===========
+
+* Visible changes:
+
+ - The source location annotator records the original pathnames, not the
+   truenames. This allows in particular moving ECL's core files.
+
 ECL 10.3.1:
 ===========
 
diff --git a/src/c/load.d b/src/c/load.d
index 7972009c2..dacda0846 100755
--- a/src/c/load.d
+++ b/src/c/load.d
@@ -471,7 +471,8 @@ si_load_source(cl_object source, cl_object verbose, cl_object print)
 	}
 	CL_UNWIND_PROTECT_BEGIN(the_env) {
 		cl_object form_index = MAKE_FIXNUM(0);
-		cl_object location = CONS(source, form_index);
+                cl_object pathname = ECL_SYM_VAL(the_env, @'*load-pathname*');
+		cl_object location = CONS(pathname, form_index);
 		ecl_bds_bind(the_env, @'ext::*source-location*', location);
 		for (;;) {
                         form_index = ecl_file_position(strm);