On Sat, Sep 3, 2016 at 10:16 PM, gmhwxi <[email protected]> wrote: > For the field 'f', you can provide a getref function (instead of a get > function), > which returns the pointer to the field (instead of the content of the > field).
Yes. However, I think it's not direct method. On aptr-style: 1. Get pointer to field 2. Access member On at-view style: 1. Access member directly > A record in ATS CAN keep the proof of an at-view inside a record. However, > doing so would complicate programming quite a lot; it may not be suitable > for translating C code into ATS. Sorry for my mis-understanding. But how to use it on pure ATS language? Could you point some code about it? 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/CAEvX6dmg9KCqNXe6yuo44GCbkbHKz1CV-0vDzXs12How4m7HDQ%40mail.gmail.com.
