add exfiltrated alias

JuliaDebug · Jun 7, 2021 · d7bbc59 · d7bbc59
1 parent 97a71ff
commit d7bbc59
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "Infiltrator"
 uuid = "5903a43b-9cc3-4c30-8d17-598619ec4e9b"
-version = "1.0.0"
+version = "1.0.1"
 
 [deps]
 REPL = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"

diff --git a/src/Infiltrator.jl b/src/Infiltrator.jl
@@ -4,7 +4,7 @@ using REPL.LineEdit: getproperty
 using REPL
 using REPL.LineEdit
 
-export @infiltrate, @exfiltrate, @withstore, safehouse
+export @infiltrate, @exfiltrate, @withstore, safehouse, exfiltrated
 
 REPL_HOOKED = Ref{Bool}(false)
 function __init__()
@@ -105,11 +105,13 @@ Base.propertynames(s::Session) = keys(get_store_names(s))
 """
     store
     safehouse
+    exfiltrated
 
 Global storage for storing values while `@infiltrate`ing or `@exfiltrate`ing.
 """
 const store = Session(Module(), false, Set())
 const safehouse = store
+const exfiltrated = store
 
 """
     @withstore ex