From 835e565e0e384a0308c40383952f41e7b11bc86a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 20 Jan 2017 13:45:30 +0100
Subject: [PATCH] Closes FB case 173 Fix arrows in hyper-literate. I Used a
 module-like scope when nesting the whole module body to allow overriding
 build-ins, as DrRacket doesn't draw the arrows properly when a
 (make-syntax-introducer) is used.

---
 info.rkt           |  3 ++-
 private/common.rkt | 24 +++++++++++++++---------
 2 files changed, 17 insertions(+), 10 deletions(-)

diff --git a/info.rkt b/info.rkt
index 2e5199bb..e697bc56 100644
--- a/info.rkt
+++ b/info.rkt
@@ -11,7 +11,8 @@
                "scribble-enhanced"
                "sexp-diff"
                "tr-immutable"
-               "typed-map-lib"))
+               "typed-map-lib"
+               "debug-scopes"))
 (define build-deps '("scribble-lib"
                      "racket-doc"
                      "rackunit-doc"
diff --git a/private/common.rkt b/private/common.rkt
index bcfd39c8..e0243078 100644
--- a/private/common.rkt
+++ b/private/common.rkt
@@ -9,7 +9,8 @@
                      syntax/strip-context
                      syntax/srcloc
                      racket/struct
-                     syntax/srcloc))
+                     syntax/srcloc
+                     debug-scopes/named-scopes/exptime))
 
 (begin-for-syntax
   (define first-id #f)
@@ -151,18 +152,23 @@
 (define-syntax (continue stx)
   (syntax-case stx ()
     [(_self lang-module-begin . body)
-     (let ([expanded (local-expand 
-                      (datum->syntax stx
-                                     `(,#'lang-module-begin . ,#'body)
-                                     stx
-                                     stx)
-                      'module-begin 
-                      (list))])
+     (let ()
+       (define expanded (local-expand 
+                         (datum->syntax stx
+                                        `(,#'lang-module-begin . ,#'body)
+                                        stx
+                                        stx)
+                         'module-begin 
+                         (list)))
+       (define meta-language-nesting
+         ;; Use a module-like scope here, instead of (make-syntax-introducer),
+         ;; otherwise DrRacket stops drawing some arrows (why?).
+         (make-module-like-named-scope 'meta-language-nesting))
        (syntax-case expanded (#%plain-module-begin)
          [(#%plain-module-begin . expanded-body)
           #`(begin 
               . 
-              #,((make-syntax-introducer) #'expanded-body))]))]))
+              #,(meta-language-nesting #'expanded-body))]))]))
 
 (define-for-syntax ((make-module-begin submod?) stx)
   (syntax-parse stx