Stream: beginners

Topic: Print tag value


view this post on Zulip Matan Cohen (Feb 09 2024 at 17:44):

I am going over the roc tutorial and I came across tags.
I was trying to understand how to use it correctly.

for example writing this line:
dbg T "the value of count is:" counts.iguanas
will print:
T "the value of count is:" counts.iguanas = (T "the value of count is:" 1)

And I just want to see "the value of count is:1" and maybe the parameter name.

Can someone explain better the concept of tags?

thank you!

view this post on Zulip Brendan Hansknecht (Feb 09 2024 at 17:58):

So Debug prints both the source location and the value contained.

view this post on Zulip Brendan Hansknecht (Feb 09 2024 at 17:58):

T "the value of count is:" counts.iguanas

This first part is the source code

view this post on Zulip Brendan Hansknecht (Feb 09 2024 at 17:58):

(T "the value of count is:" 1)

This second part is the actual data contained

view this post on Zulip Brendan Hansknecht (Feb 09 2024 at 17:59):

In this case, you have a tag T that contains a string and a number.

view this post on Zulip Matan Cohen (Feb 09 2024 at 18:09):

Great now I got it basically everything after the tag will be resolved and shown in the second part.
thank you!


Last updated: Jul 06 2025 at 12:14 UTC