Oops. I am NOT so clear ... On Tue, May 15, 2018 at 9:27 PM, Hongwei Xi <gmh...@gmail.com> wrote:
> I am so clear as to what you need precisely. > > Could you show me how to do it using pattern matching repeatly? > Then I may be able to do it using a nested pattern. > > Here is an example that may be useful: > > | ~Some_vt(~Some_vt(xs as list_vt_cons _)) => // using xs here > > The two Some_vt constructors are freed but list_vt_cons is not. > > On Tue, May 15, 2018 at 9:04 PM, aditya siram <aditya.si...@gmail.com> > wrote: > >> Hi all, >> I'm sure there's an easy answer to this but I'm not having much luck. How >> do I destructure into a view type that nested in another viewtype? For >> example, I'd to pattern match on something of type >> 'Option_vt(Option_vt(list_vt int))'. I'm not having much luck doing it in >> one fell swoop like: ' | Some_vt(Some_vt(list_vt_cons(x, xs))) => ...' >> especially when the linear proof of some inner value (like 'x') needs to be >> preserved. >> >> Thanks! >> >> -- >> 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 ats-lang-users+unsubscr...@googlegroups.com. >> To post to this group, send email to ats-lang-users@googlegroups.com. >> 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/ms >> gid/ats-lang-users/e196b40c-7b12-45f1-abe6-4edb9d4bf3fd%40go >> oglegroups.com >> <https://groups.google.com/d/msgid/ats-lang-users/e196b40c-7b12-45f1-abe6-4edb9d4bf3fd%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > > -- 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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/CAPPSPLodAKmfW9hEoWMBosSuYzOBdd6hg%2B%3D3vYNW2toCEEyDYQ%40mail.gmail.com.
