The tag part needs to be set manually. For Bar, it is 0. For Baz, it is 1. You may have to do it in C or in unsafe ATS for this part.
On Wed, Mar 21, 2018 at 4:32 PM, Andrew Knapp <andy.j.kn...@gmail.com> wrote: > The code on glot also fails if you change Bar to Baz in all the > appropriate places. > > -- > 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/55f6d7ff-167d-4a96-be75-5761dbf88908% > 40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/55f6d7ff-167d-4a96-be75-5761dbf88908%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/CAPPSPLrkBVyauBwwTftLu7vNn%3DPXqQU%3DUak5Lf1%2BUTyJ%2BFqpYw%40mail.gmail.com.