On Tue, Aug 23, 2016 at 12:00 AM, Hongwei Xi <[email protected]> wrote: > 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).
Umm? Not make sense. http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/HTMLTOC/c260.html This document say: ``` abstype point = ptr // boxed extern fun point_make (x: double, y: double): point extern fun point_set_x (p: point, x: double): void overload .x with point_set_x val () = p0.x := y0 // point_set_x (p0, y0) ``` I think the `x` should be overloaded symbol. But above code can use `p0.x := y0` style... 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/CAEvX6dkf73NVf7yDmeTTi_oOaQ4tCu9WwHva4%2B0M-U1Gquy7ZA%40mail.gmail.com.
