From d829a184fe00cc02083533ee251be0cc1d027d03 Mon Sep 17 00:00:00 2001 From: Valentin Churavy Date: Wed, 20 Sep 2023 18:43:52 -0400 Subject: [PATCH] add some precompile statements for REPL --- contrib/generate_precompile.jl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/contrib/generate_precompile.jl b/contrib/generate_precompile.jl index 27e9813f61fbc..d7d82df454ca9 100644 --- a/contrib/generate_precompile.jl +++ b/contrib/generate_precompile.jl @@ -37,6 +37,12 @@ hardcoded_precompile_statements = """ precompile(Base.__require_prelocked, (Base.PkgId, Nothing)) precompile(Base._require, (Base.PkgId, Nothing)) +# REPL +precompile(isequal, (String, String)) +precompile(Base.check_open, (Base.TTY,)) +precompile(Base.getproperty, (Base.TTY, Symbol)) +precompile(write, (Base.TTY, String)) + # used by Revise.jl precompile(Tuple{typeof(Base.parse_cache_header), String}) precompile(Base.read_dependency_src, (String, String))