Thanks for the help everyone, I wrote a post on using GADTs based on my explorations: https://bluishcoder.co.nz/2018/10/16/generalized-algebraic-data-types-in-ats.html
I'll have a play around with some of the other ideas. Trying some of the other common GADT examples tends to hit the similar issue of the generated C code not compiling due to not ascertaining the type to pass to a template function. I imagine there are more "ATS"-ish ways of solving the related problems that don't involve GADTs, or rework things so that polymorphic functions are used instead. I'll do more experimenting in those areas. -- http://bluishcoder.co.nz -- 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/CALn1vHGkJj8P9o-wySGC8BHQpCq31r6qmms5oA3AfRLJpc2saA%40mail.gmail.com.
