Template Debugging Tips?

[d4v3y_5c0n3s]

  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]

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

--
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.

[d4v3y_5c0n3s]

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.)