Stream: helpdesk (published)

Topic: ✔ Pushing to a `quote`-block


view this post on Zulip Sukera (Apr 24 2023 at 17:04):

the begin comes from the quote you're pushing being a begin

view this post on Zulip Sukera (Apr 24 2023 at 17:05):

I think you want append!(code.args, (quote a + b; c + d end).args)

view this post on Zulip Mosè Giordano (Apr 24 2023 at 17:07):

aaaah, append!! I did try that, but with push!, and got garbage, because push! iterates over the elements to push. thanks!

view this post on Zulip Notification Bot (Apr 24 2023 at 17:08):

Mosè Giordano has marked this topic as resolved.


Last updated: Oct 02 2023 at 04:34 UTC