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
(a dictionary implementation.) Please let me know if you have any questions or would like to see more details.