I recall getting errors in the generated C code when I forgot to implement some function!
(I was able to use them :) http://blog.vmchale.com/article/ats-templates <http://blog.vmchale.com/article/ats-templates> Cheers, Vanessa McHale > On Nov 27, 2021, at 9:05 AM, d4v3y_5c0n3s <tmj9...@gmail.com> wrote: > > Recently, I've been working on testing the code for an ATS project I've > been working on for a while now. Everything (that I've implemented) passes > type-checking so far. However, I've encountered some kind of issue with the > templates that I've written (which all typecheck) where when I try to use > them some kind of error shows up in the resulting C code. > I suspect that I've made a mistake somewhere, but I am struggling to debug > the resulting code. Is there some resource where I can gain a greater > understanding of either how the C code ATS produces is constructed or how to > debug my templates? This has been driving me up the wall trying to figure > out recently, so I wanted to ask the community if they knew anything that > could help me. > The two files I am trying to use are dict.sats > <https://github.com/d4v3y5c0n3s/Goldelish-Engine/blob/master/source/data/dict.sats> > & dict.dats > <https://github.com/d4v3y5c0n3s/Goldelish-Engine/blob/master/source/data/dict.dats> > (a dictionary implementation.) Please let me know if you have any questions > or would like to see more details. > > -- > 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 > <mailto:ats-lang-users+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/0f2d7e48-ddf1-4db0-8bd9-cfee6f37bbb3n%40googlegroups.com > > <https://groups.google.com/d/msgid/ats-lang-users/0f2d7e48-ddf1-4db0-8bd9-cfee6f37bbb3n%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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/8D22D916-1A0F-4670-A71A-61F329255A18%40gmail.com.