-
Notifications
You must be signed in to change notification settings - Fork 1.9k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
New time
builtin cannot be detected as a builtin
#6598
Comments
Ugh this is a bit tricky since Also |
I'm pretty sure we do something similar to what is required here for |
Right, these keywords have a dual life as both a keyword and a builtin. The builtin form is used for |
Hi 👋
I've just upgraded to 3.1.0 and have just learned about the new
time
builtin. I'm running into a small issue, though, where thebuiltin
command doesn't seem to be aware thattime
is now a builtin.As far as I can tell, this is because it was removed fromsrc/builtin.cpp
in 664d6fb. I'm not very familiar with this project, but would you accept a PR adding it back as abuiltin_generic
?Edit: It's a little bit more work than I thought, see #6599.
The text was updated successfully, but these errors were encountered: