Template Debugging Tips?

Skip to first unread message


Nov 27, 2021, 9:05:24 AM11/27/21
to ats-lang-users
  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 & dict.dats (a dictionary implementation.)  Please let me know if you have any questions or would like to see more details.

Vanessa McHale

Nov 27, 2021, 9:07:01 AM11/27/21
to ats-lan...@googlegroups.com
I recall getting errors in the generated C code when I forgot to implement some function!

(I was able to use them :)

Vanessa McHale

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.


Nov 27, 2021, 9:21:10 AM11/27/21
to ats-lang-users
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.)
Reply all
Reply to author
0 new messages