From b23f2eaad964c9cb92567e276fa6e59c4542a00f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 15 Dec 2016 00:28:29 +0100 Subject: [PATCH] Also provide make-named-scope directly from (require debug-scopes) --- main.rkt | 3 ++- named-scopes/exptime.rkt | 3 +-- scribblings/debug-scopes.scrbl | 2 -- 3 files changed, 3 insertions(+), 5 deletions(-) diff --git a/main.rkt b/main.rkt index 0ad4839..eb22142 100644 --- a/main.rkt +++ b/main.rkt @@ -1,2 +1,3 @@ #lang reprovide -debug-scopes/superscripts \ No newline at end of file +debug-scopes/superscripts +debug-scopes/named-scopes/exptime \ No newline at end of file diff --git a/named-scopes/exptime.rkt b/named-scopes/exptime.rkt index f2e310b..e66ba0a 100644 --- a/named-scopes/exptime.rkt +++ b/named-scopes/exptime.rkt @@ -1,10 +1,9 @@ #lang racket (require (for-template '#%kernel) - debug-scopes racket/syntax racket/struct - debug-scopes + debug-scopes/superscripts debug-scopes/named-scopes-sli-parameter) (provide make-named-scope diff --git a/scribblings/debug-scopes.scrbl b/scribblings/debug-scopes.scrbl index 55f91bd..80de2eb 100644 --- a/scribblings/debug-scopes.scrbl +++ b/scribblings/debug-scopes.scrbl @@ -74,8 +74,6 @@ @section{Hack for named scopes} -@defmodule[debug-scopes/named-scopes] - Module scopes bear are annotated by Racket with the name of the module. As of December 2016, other scopes like macro scopes@note{Both the ones implicitly created when a macro is called, and the ones explicitly created via