From 4fe702ee736731e6ffc308bbfc8fec3ec895c279 Mon Sep 17 00:00:00 2001 From: Stefan Karpinski Date: Mon, 8 Jan 2018 15:24:33 -0500 Subject: [PATCH] use ##uuid as the secret UUID binding --- base/loading.jl | 2 +- src/toplevel.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/base/loading.jl b/base/loading.jl index b02128b084392..e58633126dab7 100644 --- a/base/loading.jl +++ b/base/loading.jl @@ -138,7 +138,7 @@ version_slug(uuid::UUID, sha1::SHA1) = joinpath(slug(uuid), slug(sha1)) ## finding packages ## -const uuid_sym = Symbol("#uuid") +const uuid_sym = Symbol("##uuid") const project_names = ["JuliaProject.toml", "Project.toml"] const manifest_names = ["JuliaManifest.toml", "Manifest.toml"] diff --git a/src/toplevel.c b/src/toplevel.c index c461f6585ae34..722badab391c5 100644 --- a/src/toplevel.c +++ b/src/toplevel.c @@ -166,7 +166,7 @@ jl_value_t *jl_eval_module_expr(jl_module_t *parent_module, jl_expr_t *ex) jl_value_t *defaultdefs = NULL, *form = NULL; JL_GC_PUSH4(&last_module, &defaultdefs, &form, &newm); // copy parent environment info into submodule - jl_sym_t *uuid_sym = jl_symbol("#uuid"); + jl_sym_t *uuid_sym = jl_symbol("##uuid"); jl_value_t *uuid = jl_get_global(parent_module, uuid_sym); if (uuid && uuid != jl_nothing) jl_set_const(newm, uuid_sym, uuid);