If 'x' is a true field name in p0, then you can use p0.x. If 'x' is an overloaded symbol, then you need to use p0.x() (to access) and p0.x(v) (to update).
On Mon, Aug 22, 2016 at 10:57 AM, Kiwamu Okabe <[email protected]> wrote: > On Mon, Aug 22, 2016 at 10:53 PM, gmhwxi <[email protected]> wrote: > > Please try: > > > > val () = foo_ptr.b(9) > > Thanks. Fixed. > > > The following article is on dot-symbol overloading: > > > > http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/ > HTML/HTMLTOC/c260.html > > For ptr, we can use "val () = p0.x := y0" style. > For absvtype, we can use "val () = p0.x(y0)" tyle. > Correct? > > Best regards, > -- > Kiwamu Okabe at METASEPI DESIGN > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/ats-lang-users. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/ats-lang-users/CAEvX6dkHZK4bdQeN0XYhVvdPmVbD7 > Dy0D2j3g-Sxi_eOrNwBkQ%40mail.gmail.com. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqFheShAy0eshJqmf2ye7D79jds5PZ8NVPpE0GM-ck6-A%40mail.gmail.com.
