On Fri, Aug 26, 2016 at 7:17 PM, Kiwamu Okabe <[email protected]> wrote:
> And I tried to shape mutual record as following:

And also I can define mutual struct as following:

https://github.com/jats-ug/practice-ats/blob/cb17e34bbb03f45f4ce556196f86c1babd1d2b86/mutual_struct/main.dats

But I would like to write like this...

```
vtypedef bar = $extype_struct"struct bar" of {
  x = int,
  p = [l:addr] (foo@l | ptr(l))
}
and foo = $extype_struct"struct foo" of {
  x = int,
  p = [l:addr] (bar@l | ptr(l))
}
```

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/CAEvX6dkJZSBkCEBDWD2RbDsuJBPGWM_UM0ojmMPAs1q1Y%2Bu73w%40mail.gmail.com.

Reply via email to