Dear Hongwei,
On Mon, Apr 5, 2021 at 7:06 PM Hongwei Xi <[email protected]> wrote:
> >>val () = !e.e_remote := so
>
> The original linear content in !e.e_remote is discarded, resulting in a leak.
> Also, 'so' is
> a pointer (instead of a sockaddr).
It's fixed with `!so` and following patch:
```patch
--- a/tagged_union/main.dats
+++ b/tagged_union/main.dats
@@ -14,7 +14,7 @@ typedef sockaddr_in6 = @{
sin6_scope_id = int
}
-datavtype sockaddr =
+datatype sockaddr =
| Af_inet of sockaddr_in
| Af_inet6 of sockaddr_in6
```
Thanks,
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3DsxuRSuCduJA5DtZaRVchJHkTOsoeZkG%2BtZGXi%2B2mnGg%40mail.gmail.com.
