Named fields in viewtypes?

Google Group
1

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

2

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}On Thursday, September 11, 2014 10:44:01 PM UTC-4, Shea Levy wrote:

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

3

Ah ha, thanks!

~SheaOn Thu, Sep 11, 2014 at 08:28:43PM -0700, gmhwxi wrote:

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}

On Thursday, September 11, 2014 10:44:01 PM UTC-4, Shea Levy wrote:

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

–
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.