And I tried to shape mutual record as following:
https://github.com/jats-ug/practice-ats/blob/8bfb41366de6517d4dfe84bc8fe2d9866664311e/mutual_record/main.dats
However, I can't write it like following...
vtypedef foo = @{ x= int, p= [l:addr] (bar@l | ptr(l)) }
and bar = @{ x= int, p= [l:addr] (foo@l | ptr(l)) }
Is it impossible to be supported by ATS compiler?
Best regards,
--
Kiwamu Okabe
--
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/CAEvX6d%3D_c%3DtyHEKRF2u4wr6zKQ7fpEnuByqSW-bQ%2BZqGYtCEHw%40mail.gmail.com.
