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/ > msgid/ats-lang-users/e196b40c-7b12-45f1-abe6-4edb9d4bf3fd% > 40googlegroups.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/CAPPSPLoi0-y0%3D_t9V7AUksUFcnsgWkGj%2BR6%2BNvNBscdaPZ%2B_5A%40mail.gmail.com.
