Named fields in viewtypes?

[Shea Levy]

Hi all,

From [1], I see that the view and type of a viewtype can be access with
.0 and .1, respectively. Is there a way to name these like a record?

Thanks,
Shea

[1]: http://www.ats-lang.org/DOCUMENT/INT2PROGINATS/HTML/x3321.html

[gmhwxi]

vtypedef tptr (a:t@ype, l:addr) = (a @ l | ptr l)

can also be defined as follows:

vypedef tptr (a:t@ype, l:addr) = @{ tptr_pf= a @ l | tptr_ptr= ptr l}

[Shea Levy]

Ah ha, thanks!

~Shea

> --
> You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
> To post to this group, send email to ats-lan...@googlegroups.com.
> Visit this group at http://groups.google.com/group/ats-lang-users.
> To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/a7f3d264-4aa2-4810-8a39-a0bedac1f5cf%40googlegroups.com.