Yea, I just wish ATS was better about telling me what I'm doing wrong with templates. An "X is unimplemented for type Y" message would save me hours of work (but I suspect that would greatly increase the compiling overhead of templates.)
On Saturday, November 27, 2021 at 9:07:01 AM UTC-5 vamc...@gmail.com wrote: > 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 > > Cheers, > Vanessa McHale > > On Nov 27, 2021, at 9:05 AM, d4v3y_5c0n3s <tmj...@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-user...@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/ded23afd-5c07-40a4-937a-03643e1bb4e8n%40googlegroups.com.
