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 <[email protected]> wrote:
> On Tue, Apr 6, 2021 at 3:50 PM Hongwei Xi <[email protected]> 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 [email protected].
> 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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqukzL6EzxgN2Zje7PR4hRAMTv9ANUrY_V08LAj7m21MA%40mail.gmail.com.
