Record and display more REPL history details #59953
Draft
+387
−129
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Record information on: - Session ID - The current directory - The result time - Evaluation time - Output type - Error state This allows for much richer use of history information going forwards, both for display and interaction (e.g. showing what history entries errored, searching for history in the current directory, etc.).
tecosaur
added
REPL
This was referenced Oct 27, 2025
topolarity
reviewed
Oct 31, 2025
| setglobal!(Base.MainInclude, :ans, value) | ||
| put!(backend.response_channel, Pair{Any, Bool}(value, false)) | ||
| push!(backend.hist.histfile, | ||
| HistUpdate(backend.hist.session, nameof(typeof(value)), |
There was a problem hiding this comment.
Pleased to see this only saves the nameof the type. Types can often be large and expensive to print (and also break the history format), so this is a nice compromise.
Really uncommon corner case, but it is possible for a typename to include a newline:
julia> struct var"Foo
Bar"; end
julia> println(nameof(getproperty(Main, Symbol("Foo\nBar"))))
Foo
BarThere was a problem hiding this comment.
Well, this is cursed knowledge 😂. I'll strip/mangle them. Thanks for pointing this edge-case out 🙂
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
#59819 gave us a fancy new history UX, but there's more we can do make the REPL history as useful as possible! We can show what commands errored, what type they produced, and how long they took. Recording the working directory allows for filtering for code you've previously run a certain directory.
NB: I'm experimenting with putting error-indicator dots where the mode squares currently are, and with a new mode-indication column on the left. Neither of these styles are set, I'm just trying them out. The same with the particular style of the type/time box in the preview.
Sample of the expanded history file format;
Closes: #44681
Succeeds: #45076