Hi Hongwei,
On Sat, Aug 27, 2016 at 1:47 AM, gmhwxi <[email protected]> wrote:
> There were several mistakes. For instance, the following line:
>
> x := addback_struct_foo(...)
>
> caused the error of dereferencing a void pointer.
>
> I suggest that you use the following style:
I see the style at your prelude.
```
castfn ptr0_vtake
{a:vt0p} (ptr):<> [l:addr] (a@l, a@l -<lin,prf> void | ptr l)
```
Then I fixed it as following code:
https://github.com/jats-ug/practice-ats/commit/bb6850e062bd0258c5499b7664d380b3c7fd2b32
```
castfn takeout_struct_foo: {l:agz} (!struct_foo_ptr(l)) ->
(struct_foo@l, struct_foo@l -<lin,prf> void | ptr(l))
```
Thanks a lot,
--
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/CAEvX6d%3DbFBE0KBAAokTtEqUc4hAEzdtM_MBJpiTFt4g8556-hg%40mail.gmail.com.
