I see. It may help if the existential quantifier [l:addr] is moved out of the record:
vtypedef rib_cmd_info = [l:addr] @{ rc_rt = (rtentry @ l | ptr l) } But programming using such a type is still quite burdensome. I do have some designs for low-level programming in ATS3 but right now my hands are tied with the very task of implementing ATS3. On Wed, Apr 7, 2021 at 12:50 AM Kiwamu Okabe <kiw...@debian.or.jp> wrote: > On Tue, Apr 6, 2021 at 3:50 PM Hongwei Xi <gmh...@gmail.com> wrote: > > vtypedef rib_cmd_info = @{ > > rc_rt = [l:addr] (rtentry @ l | ptr l) > > } > > > > It seems that you are trying to do C-style programming in ATS directly. > This would > > be difficult; it may not even be practical for large scale programming. > > But... Another person tried to use the style: > > https://github.com/xlq/aos/blob/master/vga-text.dats#L37 > > 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 ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3D6TJddME53Y%2BzjdAinb0DhZiyAmhDd4j7gZ8jeL%2BGGfw%40mail.gmail.com > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqukzL6EzxgN2Zje7PR4hRAMTv9ANUrY_V08LAj7m21MA%40mail.gmail.com.