-
Notifications
You must be signed in to change notification settings - Fork 32
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
rename drop to drop/zero slice from #2058
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the PR! Just a tiny change (you can use the "Commit suggestion" button to apply it)
shared/src/vyxal/Elements.scala
Outdated
"Zero Slice From | Collect While Unique | Complex Number", | ||
List("zero-slice-from", "slice-from", "from", "drop-from", "collect-while-unique", "complex"), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"Zero Slice From | Collect While Unique | Complex Number", | |
List("zero-slice-from", "slice-from", "from", "drop-from", "collect-while-unique", "complex"), | |
"Drop | Collect While Unique | Complex Number", | |
List("zero-slice-from", "slice-from", "drop", "collect-while-unique", "complex"), |
The zero-slice-from
and slice-from
keywords are a good idea, but drop
is also a common name for this operation (also, I've never seen anyone call it drop-from
)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Personally, I've never heard of drop
. I like the keywords, but maybe we could call it "Zero Slice From/Drop"?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@RubenVerg Alright, I've changed it to Drop/Zero Slice From.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Calling it just Drop would've been too but I guess adding /Zero Slice From
doesn't hurt. Nice job!
Wait, there's still a problem. Some of the keywords aren't implemented in literate mode (e. g. |
What error are you getting? I tried locally and it's lexed correctly |
@ysthakur Oh woah it suddenly worked I must have tested it wrong. |
Awesome, good to hear |
No description provided.