From 0d642cf9763712bd557f89b767eb4a0aa75dd66b Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Fri, 21 Oct 2011 11:13:02 -0400
Subject: [PATCH] Indicate repl phase level when it's not 0.

---
 collects/xrepl/xrepl.rkt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/xrepl/xrepl.rkt b/collects/xrepl/xrepl.rkt
index aef2c2cb9d..47aae02321 100644
--- a/collects/xrepl/xrepl.rkt
+++ b/collects/xrepl/xrepl.rkt
@@ -1300,7 +1300,9 @@
     (define (get-prefix)
       (let* ([x (here-source)]
              [x (and x (if (symbol? x) (format "'~s" x) (get-prefix* x)))]
-             [x (or x (toplevel-prefix))])
+             [x (or x (toplevel-prefix))]
+             [x (let ([ph (namespace-base-phase)])
+                  (if (eq? 0 ph) x (format "~a[~a]" x ph)))])
         (if (eq? (current-namespace-name) default-namespace-name)
           x (format "~a::~a" (current-namespace-name) x))))
     (define last-directory #f)