Just a thought: maybe OMIT
Then you'd have EMIT and OMIT.
(and perhaps a more plain-speech keyword could be: DROP)
Just a thought: maybe OMIT
Then you'd have EMIT and OMIT.
(and perhaps a more plain-speech keyword could be: DROP)
I pulled this comment out to a thread (about historical parse SKIP) because OMIT is an interesting possible alternative term for ELIDE.
It's one letter shorter. And a word more people know. But it is close to EMIT.
I personally find the word ELIDE more pleasing for some reason, but maybe I'm just weird. Is OMIT better?
I use DROP in a rather specific way--to mean "remove an element" (e.g. from a stack) but don't do anything with the result. So DROP is like ELIDE POP in my world.