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. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/0f2d7e48-ddf1-4db0-8bd9-cfee6f37bbb3n%40googlegroups.com.
